diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2009-01-05 19:24:34 +0000 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2009-01-05 19:24:34 +0000 |
| commit | 1718c708d577ddc87bd1a8774935189d4f0b418b (patch) | |
| tree | ca5de6f15cdf2249622cfa2db79ead995a20e234 /utils | |
| parent | e50364a5a8e5d736445cd8e5b10a813ec0a5a2e0 (diff) | |
| download | haskell-1718c708d577ddc87bd1a8774935189d4f0b418b.tar.gz | |
ext-core: twiddle primitive things
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/ext-core/Language/Core/Core.hs | 5 | ||||
| -rw-r--r-- | utils/ext-core/Language/Core/Prims.hs | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/utils/ext-core/Language/Core/Core.hs b/utils/ext-core/Language/Core/Core.hs index 2b98ab7d08..f538ff28ae 100644 --- a/utils/ext-core/Language/Core/Core.hs +++ b/utils/ext-core/Language/Core/Core.hs @@ -210,7 +210,7 @@ mainPkg = P "main" primPkg = P $ zEncodeString "ghc-prim" ghcPrefix = ["GHC"] mainPrefix = [] -baseMname = mkBaseMname "Base" +baseMname = error "Somebody called baseMname!" -- mkBaseMname "Base" boolMname = mkPrimMname "Bool" mainVar = qual mainMname "main" wrapperMainVar = qual wrapperMainMname "main" @@ -287,3 +287,6 @@ flattenBinds :: [Vdefg] -> [Vdef] -- Get all the lhs/rhs pairs flattenBinds (Nonrec vd : binds) = vd : flattenBinds binds flattenBinds (Rec prs1 : binds) = prs1 ++ flattenBinds binds flattenBinds [] = [] + +unitMname :: AnMname +unitMname = mkPrimMname "Unit" diff --git a/utils/ext-core/Language/Core/Prims.hs b/utils/ext-core/Language/Core/Prims.hs index 13254d350c..69e0cb9678 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. -} |