module Language.Core.Prims(initialEnv, primEnv, primId, bv,
tIntzh, tInt64zh, tCharzh, tFloatzh, tAddrzh, tDoublezh, tcStatezh,
tWordzh, tWord64zh, tByteArrayzh,
- tcStablePtrzh, tcIO, mkInitialEnv, mkTypeEnv, tRWS, tBool,
+ tcStablePtrzh, tcIO, mkInitialEnv, mkTypeEnv, tRWS, tBool, tcBool,
ioBaseMname) where
import Control.Monad
{- Properly defined in PrelError, but needed in many modules before that. -}
errorVals :: [(Var, Ty)]
-errorVals = [
+errorVals = []
+{-
+ [
("error", Tforall ("a",Kopen) (tArrow tString (Tvar "a"))),
("irrefutPatError", str2A),
("patError", str2A),
("divZZeroError", forallAA),
("overflowError", forallAA)]
+-}
{- Non-primitive, but mentioned in the types of primitives. -}