X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=utils%2Fext-core%2FLanguage%2FCore%2FPrims.hs;h=69e0cb967805ae4ef7b1eb02ae06768a0d8ad13d;hb=5a4c6ef6e909fbd978ff81bb3453489e884d1885;hp=13254d350c29220b26db848ab23e0a0b82694198;hpb=561ca008ff2485af1446303217d6e7ab1148d50a;p=ghc-hetmet.git diff --git a/utils/ext-core/Language/Core/Prims.hs b/utils/ext-core/Language/Core/Prims.hs index 13254d3..69e0cb9 100644 --- a/utils/ext-core/Language/Core/Prims.hs +++ b/utils/ext-core/Language/Core/Prims.hs @@ -99,12 +99,15 @@ tStatezh t = Tapp (Tcon tcStatezh) t {- 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. -}