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

[ghc-hetmet.git] / ghc / tests / typecheck / should_run / tcrun012.hs

diff --git a/ghc/tests/typecheck/should_run/tcrun012.hs b/ghc/tests/typecheck/should_run/tcrun012.hs
deleted file mode 100644 (file)
index aca84ad..0000000
--- a/ghc/tests/typecheck/should_run/tcrun012.hs
+++ /dev/null
@@ -1,15 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
--- !!! Implicit parameter test
-
-module Main where
-
-main = do { putStrLn $ show $ foo with ?x = 13 
-         ; putStrLn $ show $ baz () with ?x = 14 }
-
-foo :: (?x :: Int) => Int
-foo = ?x
-
--- Check that defaulting works too
-baz () = ?x
-