From fec20b7d33297ee09c5b259255b9858fda56e438 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 3 May 2001 08:51:16 +0000 Subject: [PATCH] [project @ 2001-05-03 08:51:16 by simonpj] Remove bogus test --- ghc/tests/typecheck/should_compile/tc110.hs | 28 --------------------------- 1 file changed, 28 deletions(-) delete mode 100644 ghc/tests/typecheck/should_compile/tc110.hs diff --git a/ghc/tests/typecheck/should_compile/tc110.hs b/ghc/tests/typecheck/should_compile/tc110.hs deleted file mode 100644 index e0c9ba8..0000000 --- a/ghc/tests/typecheck/should_compile/tc110.hs +++ /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 - - -- 1.7.10.4