X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Futils%2FFastTypes.lhs;h=ded373fd4d3c67d6fdaa2a46ca770f3da64e1824;hb=8a2809c29de9f23eba7ca682b48390033a9d40f6;hp=9d7c276c225ef9d25c5b45af8a4f335fcd1eb410;hpb=cc89fbedbf65d7bebbc790796290ed5a4590c868;p=ghc-hetmet.git diff --git a/compiler/utils/FastTypes.lhs b/compiler/utils/FastTypes.lhs index 9d7c276..ded373f 100644 --- a/compiler/utils/FastTypes.lhs +++ b/compiler/utils/FastTypes.lhs @@ -71,6 +71,7 @@ fastAnd _ _ = False --These are among the type-signatures necessary for !ghc to compile -- but break ghc (can't give a signature for an import...) +--Note that the comparisons actually do return Bools not FastBools. (+#) :: FastInt -> FastInt -> FastInt (-#) :: FastInt -> FastInt -> FastInt (*#) :: FastInt -> FastInt -> FastInt @@ -81,19 +82,6 @@ fastAnd _ _ = False (>#) :: FastInt -> FastInt -> Bool #endif /* ! __GLASGOW_HASKELL__ */ --- however it's still possible to check that these are --- valid signatures nonetheless (e.g., ==# returns Bool --- not FastBool/Int# !) -_signatures = - ( (+#) :: FastInt -> FastInt -> FastInt - , (-#) :: FastInt -> FastInt -> FastInt - , (*#) :: FastInt -> FastInt -> FastInt - , (==#) :: FastInt -> FastInt -> Bool - , (<#) :: FastInt -> FastInt -> Bool - , (<=#) :: FastInt -> FastInt -> Bool - , (>=#) :: FastInt -> FastInt -> Bool - , (>#) :: FastInt -> FastInt -> Bool - ) -- type-signatures will improve the non-ghc-specific versions -- and keep things accurate (and ABLE to compile!)