#836: rebindable if-then-else syntax
----------------------------------+-----------------------------------------
Reporter: nibro | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: _|_
Component: Compiler (Parser) | Version: 6.13
Keywords: | Testcase: N/A
Blockedby: | Difficulty: Unknown
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
----------------------------------+-----------------------------------------
Comment(by vivian):
Yes, I apologise, I have made a mistake.
Because I want my overloaded function `cond` to have types:
{{{
cond :: Bool -> a -> a -> a
cond :: et b -> (b -> et a) -> et a -> et a
}}}
depending on whether the return (final) type is `a` (default) or `et a ~
ErrorT e m a`.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/836#comment:11>
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
