From: simonpj <unknown>
Date: Thu, 3 May 2001 08:51:16 +0000 (+0000)
Subject: [project @ 2001-05-03 08:51:16 by simonpj]
X-Git-Tag: Approximately_9120_patches~2022
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=fec20b7d33297ee09c5b259255b9858fda56e438;p=ghc-hetmet.git

[project @ 2001-05-03 08:51:16 by simonpj]
Remove bogus test
---

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
-
-