blob: 9f25183e7a131559b6c20f74de2f7d5804aeb2f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE ImplicitParams #-}
-- !!! 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
|