projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 52dead8)
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)
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.


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)