diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/T1495.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/T1495.hs | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/T1495.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/T1495.hs deleted file mode 100644 index 0de4e456de..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/T1495.hs +++ /dev/null @@ -1,19 +0,0 @@ --- 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 |