[project @ 2001-05-03 08:51:16 by simonpj]
authorsimonpj <unknown>
Thu, 3 May 2001 08:51:16 +0000 (08:51 +0000)
committersimonpj <unknown>
Thu, 3 May 2001 08:51:16 +0000 (08:51 +0000)
Remove bogus test

ghc/tests/typecheck/should_compile/tc110.hs [deleted file]

diff --git a/ghc/tests/typecheck/should_compile/tc110.hs b/ghc/tests/typecheck/should_compile/tc110.hs
deleted file mode 100644 (file)
index e0c9ba8..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
-module ShouldCompile where
-
--- A stripped down functional-dependency 
--- example that causes GHC 4.08.1 to crash with:
--- "basicTypes/Var.lhs:194: Non-exhaustive patterns in function readMutTyVar"
--- Reported by Thomas Hallgren Nov 00
-
-
-primDup :: Int -> IO Int
-primDup = undefined
-
-dup () = call primDup
-
---     call :: Call c h => c -> h
---
---     call primDup :: h  with  {Call (Int -> IO Int) h}
---     Hence h must be fixed by the environment
---     Reduce at top level to {Call (IO Int) h'}
-
-class Call    c h | c -> h where
-    call  :: c -> h
-
-instance Call c h => Call (Int->c) (Int->h) where 
-    call f = call . f
-
-