[project @ 2001-08-22 12:24:41 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc113.hs

diff --git a/ghc/tests/typecheck/should_compile/tc113.hs b/ghc/tests/typecheck/should_compile/tc113.hs
deleted file mode 100644 (file)
index 38e7974..0000000
--- a/ghc/tests/typecheck/should_compile/tc113.hs
+++ /dev/null
@@ -1,13 +0,0 @@
--- !!! Monomorphism restriction
-
-module ShouldCompile where
-
-foo :: Eq a => a -> b -> b
-foo x y = y
-
--- Expect test2 :: forall b. b->b
--- despite the monomorphism restriction
-poly = foo (3::Int)
-
--- Check that test2 is polymorphic
-test = (poly True, poly 'c')