From cd883e2f4dc0c37488441d18ef7b3a9ae9719b55 Mon Sep 17 00:00:00 2001 From: Isaac Dupree Date: Mon, 30 Apr 2007 19:59:44 +0000 Subject: [PATCH] FastTypes - delete ugly _signatures, comment on Bool not FastBool where the typechecker will not catch it --- compiler/utils/FastTypes.lhs | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) 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!) -- 1.7.10.4