diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/tc145.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/tc145.hs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc145.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc145.hs deleted file mode 100644 index a11c5b93e5..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc145.hs +++ /dev/null @@ -1,18 +0,0 @@ -{-# LANGUAGE ImplicitParams, UnboxedTuples #-} - --- Test two slightly exotic things about type signatures - -module ShouldCompile where - - -- The for-all hoisting should hoist the - -- implicit parameter to give - -- r :: (?param::a) => a - r :: Int -> ((?param :: a) => a) - r = error "urk" - - -- The unboxed tuple is OK because it is - -- used on the right hand end of an arrow - type T = (# Int, Int #) - - f :: Int -> T - f = error "urk" |