diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/tc127.hs')
-rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/tc127.hs | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc127.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc127.hs deleted file mode 100644 index 58ccca7a5e..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc127.hs +++ /dev/null @@ -1,27 +0,0 @@ -{-# LANGUAGE ImplicitParams #-} - --- !!! Another implicit parameter test, from Alastair Reid - -module ShouldCompile where - -import Data.Maybe - -type Env = ([(String,Int)],Int) - -ident1 :: (?env :: Env) => String -> Int -ident1 x = y - where - env = ?env - y = fromJust (lookup x (fst env)) - -ident2 :: (?env :: Env) => String -> Int -ident2 x = y - where - y = fromJust (lookup x (fst ?env)) - - --- Two more tests from Jeff Lewis -x () = y where y = ?wibble - -f () = ?wibble :: Int -g () = f () |