summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIsaac Dupree <id@isaac.cedarswampstudios.org>2007-04-30 19:59:44 +0000
committerIsaac Dupree <id@isaac.cedarswampstudios.org>2007-04-30 19:59:44 +0000
commitcd883e2f4dc0c37488441d18ef7b3a9ae9719b55 (patch)
tree2be973d11fbc6c0609b8f6f9a58571e3540febeb
parentcc89fbedbf65d7bebbc790796290ed5a4590c868 (diff)
downloadhaskell-cd883e2f4dc0c37488441d18ef7b3a9ae9719b55.tar.gz
FastTypes - delete ugly _signatures, comment on Bool not FastBool where the typechecker will not catch it
-rw-r--r--compiler/utils/FastTypes.lhs14
1 files changed, 1 insertions, 13 deletions
diff --git a/compiler/utils/FastTypes.lhs b/compiler/utils/FastTypes.lhs
index 9d7c276c22..ded373fd4d 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!)