Commit cd883e2f authored by Isaac Dupree's avatar Isaac Dupree
Browse files

FastTypes - delete ugly _signatures, comment on Bool not FastBool where the...

FastTypes - delete ugly _signatures, comment on Bool not FastBool where the typechecker will not catch it
parent cc89fbed
......@@ -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!)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment