#6135: Unboxed Booleans ---------------------------------+------------------------------------------ Reporter: benl | Owner: jstolarek Type: feature request | Status: patch 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 simonpj): True. But if `dataToTag#` returns `Int#` then so should `grChar#`. That is either {{{ dataToTag# :: a -> Int# grChar# :: Char# -> Char# -> Int# }}} or {{{ dataToTag# :: a -> Word# grChar# :: Char# -> Char# -> Word# }}} I don't mind which, but they should clearly be the same! Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/6135#comment:38 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler