Commit d37c0740 authored by lewie's avatar lewie
Browse files

[project @ 2001-04-13 17:49:23 by lewie]

Add new test for IP.
parent 486c94ae
{-# OPTIONS -fglasgow-exts #-}
-- !!! 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 ()
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment