#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 Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs