projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
[project @ 2001-08-22 11:45:06 by sewardj]
[ghc-hetmet.git]
/
ghc
/
tests
/
typecheck
/
should_compile
/
tc121.hs
1
{-# OPTIONS -fglasgow-exts #-}
2
3
-- !!! Implicit Parameters
4
5
-- If the implicit param isn't recognized as a PredType, x and y
6
-- will be inferred to have two params instead of one.
7
8
module ShouldCompile where
9
10
x () = ?wibble
11
12
y () = x ()
13
14
same :: a -> a -> b
15
same x y = undefined
16
17
a () = same x id
18
b () = same y id