diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_run/tcrun006.hs')
-rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_run/tcrun006.hs | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_run/tcrun006.hs b/testsuite/tests/ghc-regress/typecheck/should_run/tcrun006.hs deleted file mode 100644 index f3d0e13cef..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_run/tcrun006.hs +++ /dev/null @@ -1,16 +0,0 @@ -{-# LANGUAGE DatatypeContexts #-} --- !!! 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")) - |