#6135: Unboxed Booleans ---------------------------------+------------------------------------------ Reporter: benl | Owner: jstolarek Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #605 | ---------------------------------+------------------------------------------ Comment(by jstolarek): I implemented a prototype version of new comparison primops. They compare two `Int#`s but as a result they return either `0#` (denoting False) or `1#` (denoting True) instead of returning a `Bool`. Now the results of comparing can be combined using bitwise `orI#`, `andI#`, `xorI#` and `notI#` primops, which addresses the original problem that was reported (at least partially). I'm attaching patches for GHC and the testsuite (includes some cleanup of my other code for testing primops). These patches are for review and discussion purposes - they are not yet ready for integration because they don't contain primops for comparing values of type `Word#`, `Float#` and `Double#`. I will implement comparisons for these types once I am certain that I got things right with `Int#`. Feedback will be much appreciated. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/6135#comment:21 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler