summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T12033.hs
blob: 519505fb210858f8adcff69d07098149cf0c362f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
{-# LANGUAGE TypeFamilies, PartialTypeSignatures #-}

-- In #12033 this was called HaskellBug.hs

module T12033 where
tripleStoreToRuleSet :: v -> v
tripleStoreToRuleSet getAtom
 = makeTuple getAtom
 where
   makeRule v = makeExpression v
   makeTuple v = makeExpression v
   makeExpression :: _
   makeExpression v = makeTuple getAtom