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