31e45cd9e9aa7a0eb359255dfb43b25d389372e0
[ghc.git] / testsuite / tests / typecheck / should_compile / tc145.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE RankNTypes, ImplicitParams, UnboxedTuples #-}
3
4 -- Test two slightly exotic things about type signatures
5
6 module ShouldCompile where
7
8 -- The for-all hoisting should hoist the
9 -- implicit parameter to give
10 -- r :: (?param::a) => a
11 r :: Int -> ((?param :: a) => a)
12 r = error "urk"
13
14 -- The unboxed tuple is OK because it is
15 -- used on the right hand end of an arrow
16 type T = (# Int, Int #)
17
18 f :: Int -> T
19 f = error "urk"