#5380: Too general type with Arrows extension
-------------------------------+--------------------------------------------
Reporter: sebf | Owner: ross
Type: bug | Status: new
Priority: highest | Milestone: 7.4.1
Component: Compiler | Version: 7.0.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: GHC accepts invalid program
-------------------------------+--------------------------------------------
Comment(by ross@…):
commit 7437af6f36b8201fba7a9dea98685da4d35f167f
{{{
Author: Ross Paterson <[email protected]>
Date: Wed Oct 26 18:23:57 2011 +0100
fix#5380: arrows if command given too general a type
There were two bugs with the implementation of rebindable syntax, so I
adapted the code for if-expressions. Also noted that rebinding of if
is a bit more restricted in the arrows case.
compiler/typecheck/TcArrows.lhs | 29 ++++++++++++++++++++---------
1 files changed, 20 insertions(+), 9 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5380#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
