Commit dabf2285 authored by lewie's avatar lewie
Browse files

[project @ 2001-04-11 18:10:16 by lewie]

Add implicit param test.
parent 18815680
{-# OPTIONS -fglasgow-exts #-}
-- Implicit Parameters
-- If the implicit param isn't recognized as a PredType, x and y
-- will be inferred to have two params instead of one.
module ShouldCompile where
x () = ?wibble
y () = x ()
same :: a -> a -> b
same x y = undefined
a () = same x id
b () = same y id
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