Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_fail / T1899.hs
1 -- Test for #1899
2
3 module T1899 where
4
5 data Constraint a = Formula [[Proposition a]]
6 data Proposition a = Prop a
7 | Auxiliary [Proposition a]
8
9 transRHS :: [a] -> Int -> Constraint a
10 transRHS varSet b =
11 if b < 0
12 then Formula [[Prop (Auxiliary undefined)]]
13 else Formula $
14 [[Prop (Auxiliary varSet),
15 Prop (Auxiliary varSet)]
16 ]