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

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

diff --git a/ghc/tests/typecheck/should_run/tcrun006.hs b/ghc/tests/typecheck/should_run/tcrun006.hs
deleted file mode 100644 (file)
index c55ef88..0000000
--- a/ghc/tests/typecheck/should_run/tcrun006.hs
+++ /dev/null
@@ -1,15 +0,0 @@
--- !!! Selectors for data and newtypes with contexts
-
--- This program, reported in Aug'00 by Jose Emilio Labra Gayo
--- gave rise to a Lint error because the selector 'newout' below
--- was given the type
---     Eq f => NewT f -> f
--- but lacked a dictionary argument in its body.
-
-module Main where
-
-newtype (Eq f) => NewT  f = NewIn  { newout  :: f } 
-data    (Eq f) => DataT f = DataIn { dataout :: f } 
-
-main = print (newout (NewIn "ok new") ++ dataout (DataIn " ok data"))
-