blob: fb49c91a4b1c423c1b2de1066d865e39fe2756a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE ImplicitParams #-}
-- !!! Monotypes w/ Implicit Parameters
-- GHC 5.00 doesn't handle this:
-- Couldn't match `{?wibble :: Int}' against `()'
-- Expected type: {?wibble :: Int}
-- Inferred type: ()
-- In the first argument of `x', namely `()'
-- in the definition of function `y': x ()
module ShouldCompile where
x () = (?wibble :: Int)
y () = x ()
|