#1777: Refactor the implementation of arrow notation
----------------------+-----------------------------------------------------
Reporter: simonpj | Owner: ross
Type: task | Status: new
Priority: normal | Milestone: 6.10 branch
Component: Compiler | Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------+-----------------------------------------------------
Comment (by clanehin):
I believe that this is an example of the problem:
{{{
arrowAddInt :: (Arrow a) => a Integer (forall n. (Num n) => n -> n)
arrowAddInt = proc n -> returnA -< (+ fromInteger n)
Cannot match a monotype with `forall n. (Num n) => n -> n'
Expected type: a b (forall n. (Num n) => n -> n)
Inferred type: a b b
In the expression: proc n -> returnA -< (+ (fromInteger n))
In the definition of `arrowAddInt':
arrowAddInt = proc n -> returnA -< (+ (fromInteger n))
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1777#comment:2>
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
