projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1723d79) | patch
Fix typechecking bug with implicit parameters (Trac #1445)
authorsimonmar@microsoft.com <unknown>
Thu, 28 Jun 2007 08:11:05 +0000 (08:11 +0000)
committersimonmar@microsoft.com <unknown>
Thu, 28 Jun 2007 08:11:05 +0000 (08:11 +0000)
commit52dead8037b16f86a60b4af234d1cf86dba9cee2
tree21a3ba888db710b520ff37a599a5a060f9ecf53ctree | snapshot
parent1723d79af0638a1e96e2ae9e41208f7b86872bbccommit | diff
Fix typechecking bug with implicit parameters (Trac #1445)

tcSplitFunTy_maybe wasn't dealing with types like
(?x::Bool) => Int
Here, tcSplitFunTy_maybe should fail (as it would if there
was a for-all), because the type is a quantified type.

See Trac #1445, and test tc230.
compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)