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

-- In #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