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

-- In Trac #12033 this was called HsakellBug.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