blob: 0de4e456de44017f693c7a6bd9ac81c29ae92cb5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
-- Test Trac #1495
module CompilerBug where
newtype Fix a = Fix (a (Fix a))
data ID a = ID a
newtype I a = I a
testOk :: Fix ID
testOk = undefined
-- this definition causes the compiler to fail to terminate
testInfiniteLoop :: Fix I
testInfiniteLoop = undefined
newtype T = MkT T
test :: T
test = undefined
|