diff options
| author | simonmar@microsoft.com <unknown> | 2007-06-28 08:11:05 +0000 |
|---|---|---|
| committer | simonmar@microsoft.com <unknown> | 2007-06-28 08:11:05 +0000 |
| commit | 52dead8037b16f86a60b4af234d1cf86dba9cee2 (patch) | |
| tree | 21a3ba888db710b520ff37a599a5a060f9ecf53c /compiler/codeGen | |
| parent | 1723d79af0638a1e96e2ae9e41208f7b86872bbc (diff) | |
| download | haskell-52dead8037b16f86a60b4af234d1cf86dba9cee2.tar.gz | |
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.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions