Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_compile / T1495.hs
1 -- Test #1495
2
3 module CompilerBug where
4
5 newtype Fix a = Fix (a (Fix a))
6 data ID a = ID a
7 newtype I a = I a
8
9 testOk :: Fix ID
10 testOk = undefined
11
12 -- this definition causes the compiler to fail to terminate
13 testInfiniteLoop :: Fix I
14 testInfiniteLoop = undefined
15
16
17 newtype T = MkT T
18 test :: T
19 test = undefined