Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail130.hs
1 {-# LANGUAGE ImplicitParams #-}
2
3 -- The defn of foo should be rejected; it's monomorphic, but
4 -- the implicit parameter escapes
5
6 module Foo where
7
8 baz = let ?x = 5 in print foo
9
10 foo = woggle 3
11
12 woggle :: (?x :: Int) => Int -> Int
13 woggle y = ?x + y
14
15
16