projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c7f3c9) | patch
[project @ 2002-11-18 14:22:01 by simonpj]
authorsimonpj <unknown>
Mon, 18 Nov 2002 14:22:01 +0000 (14:22 +0000)
committersimonpj <unknown>
Mon, 18 Nov 2002 14:22:01 +0000 (14:22 +0000)
commit7ff78c251654969f9973c087bec3ae98d5e5b606
tree7592bd2bc92fc0a0bfa007ef573f24eb959a34ddtree | snapshot
parent9c7f3c9fbe8bd63c8802a87ef8ac0285434dc807commit | diff
[project @ 2002-11-18 14:22:01 by simonpj]
----------------------------------
Ambiguity for implicit parameters
---------------------------------

MERGE TO STABLE

Implicit parameters do not cause amiguity. For example, this is OK:

foo :: (?x :: [a]) => Int -> Int
foo _ = length ?x

Test is tcrun023.hs
ghc/compiler/typecheck/TcMType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)