#836: rebindable if-then-else syntax
----------------------------------+-----------------------------------------
Reporter: nibro | Owner: SamAnklesaria
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 SamAnklesaria):
I've come across a problem with making `if` syntax into a function. Many
uses from GHC's base library are for branches with kind # that don't match
the * kind expected by my polymorphic `ifThenElse` function. I could
switch all such occurrences to `case` statements, but that wouldn't
prevent other libraries from having the same problems. Is there any way to
make polymorphic (Bool -> a -> a -> a) functions handle things like Int#?
I'm kinda stuck. Thanks.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/836#comment:21>
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
