home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / MacHaskell 2.2 / top / core-definitions.scm next >
Encoding:
Text File  |  1994-09-27  |  4.3 KB  |  167 lines  |  [TEXT/CCL2]
  1. ;;; This file defines core symbols - those in PreludeCore and
  2. ;;; other Prelude symbols used in compilation.
  3.  
  4. ;;; This part is constructed from the export table of PreludeCore
  5. ;;; by 'top/prelude-core-syms' and has been pasted in here.
  6.  
  7.  
  8. (DEFINE *haskell-prelude-vars*
  9.   '((CLASSES "Num"
  10.              "Integral"
  11.              "Eq"
  12.              "Text"
  13.              "Fractional"
  14.              "RealFloat"
  15.              "RealFrac"
  16.              "Enum"
  17.              "Ix"
  18.              "Floating"
  19.              "Ord"
  20.              "Real"
  21.              "Binary")
  22.     (METHODS "fromInteger"
  23.              "signum"
  24.              "abs"
  25.              "negate"
  26.              "*"
  27.              "-"
  28.              "+"
  29.              "toInteger"
  30.              "odd"
  31.              "even"
  32.              "divMod"
  33.              "quotRem"
  34.              "mod"
  35.              "div"
  36.              "rem"
  37.              "quot"
  38.              "/="
  39.              "=="
  40.              "showList"
  41.              "readList"
  42.              "showsPrec"
  43.              "readsPrec"
  44.              "fromRational"
  45.              "recip"
  46.              "/"
  47.              "scaleFloat"
  48.              "significand"
  49.              "exponent"
  50.              "encodeFloat"
  51.              "decodeFloat"
  52.              "floatRange"
  53.              "floatDigits"
  54.              "floatRadix"
  55.              "floor"
  56.              "ceiling"
  57.              "round"
  58.              "truncate"
  59.              "properFraction"
  60.              "enumFromThenTo"
  61.              "enumFromTo"
  62.              "enumFromThen"
  63.              "enumFrom"
  64.              "inRange"
  65.              "index"
  66.              "range"
  67.              "atanh"
  68.              "acosh"
  69.              "asinh"
  70.              "tanh"
  71.              "cosh"
  72.              "sinh"
  73.              "atan"
  74.              "acos"
  75.              "asin"
  76.              "tan"
  77.              "cos"
  78.              "sin"
  79.              "logBase"
  80.              "**"
  81.              "sqrt"
  82.              "log"
  83.              "exp"
  84.              "pi"
  85.              "min"
  86.              "max"
  87.              ">"
  88.              ">="
  89.              "<="
  90.              "<"
  91.              "toRational"
  92.              "showBin"
  93.              "readBin")
  94.     (TYPES "Char"
  95.            "Complex"
  96.            "Integer"
  97.            "Double"
  98.            "Bin"
  99.            "Array"
  100.            "Float"
  101.            "Bool"
  102.            "Int"
  103.            "Ratio"
  104.            "SystemState_"
  105.            "IOResult_")
  106.     (CONSTRUCTORS ":+" "True" "False" ":")
  107.     (SYNONYMS "ShowS" "ReadS" "String" "Rational" "IO"
  108.               "C_char" "C_short" "C_int" "C_long" "C_unsigned_char" 
  109.               "C_unsigned_short" "C_unsigned_int" "C_unsigned_long" 
  110.               "C_float" "C_double" "C_bool" "C_void" "C_string" "C_array")
  111.     (VALUES)
  112.     (derivings "Text" "Binary" "Eq" "Ord" "Ix" "Enum")))
  113.  
  114. ;;; Non PreludeCore stuff
  115.  
  116. ;;; This table defines all symbols in the core used internally by the
  117. ;;; compiler.
  118.  
  119. (define *haskell-noncore-vars* '(
  120.   (types 
  121.      "List"
  122.      "Arrow"
  123.      "Request"
  124.      "Response"
  125.      "UnitType"
  126.      "TupleDicts"
  127.      "Dynamic" "Magic"
  128.      "Signature" "Class" "DataType")
  129.   (constructors 
  130.      "MkFloat"
  131.      "MkDouble"
  132.      "MkChar"
  133.      "MkInteger"
  134.      "MkInt"
  135.      "Nil"
  136.      "UnitConstructor"
  137.      "MkSignature" "Tycon" "Tyvar" "MkDynamic"
  138.      "DSucc" "DFailure"
  139.      "InfixL" "InfixR" "InfixN" "NoFixity"
  140.      "MkDataType" "MkConstructor" "MkClass" "MkInstance"
  141.      "UError" "Bindings
  142.      ")
  143.   (values
  144.     "&&"  "||"  "primPlusInt"
  145.     "++" "take" "drop" "." "showChar" "shows" "showString"
  146.     "showParen" "lex" "readParen" "reads"
  147.     "primShowBinInt" "primReadBinSmallInt"
  148.     "error"
  149.     "primIntegerToInt" "primIntToInteger"
  150.     "primRationalToFloat" "primRationalToDouble"
  151.     "primNegInt" "primNegInteger" "primNegFloat" "primNegDouble" 
  152.     "foldr" "build" "inlineFoldr" "inlineBuild"
  153.     "strict2"
  154.     ">>=" ">>" "getIOResult" "applyIO"
  155.     "primAppend" "primStringEq"
  156.     "dictSel" "tupleEqDict" "tupleOrdDict" "tupleIxDict"
  157.     "tupleTextDict" "tupleBinaryDict"
  158.     "typeOf" "toDynamic" "buildSkolem" "fromDynamic"
  159.     "stringToSymbol" "genTupleType"
  160.     "coerceB" "coerce" "fetchDict" "fetchInstances" "allInstances"
  161.     "patternMatchError" "dDataTypeConstrs" "lookupConstr" "indexError"
  162.     "createLispEnumConstructors" "createEnumConstructors" "createConstructors"
  163.     "makeLispConstrFn" "makeEnumConstrFn" "makeGTupleConstrFn" "makeConstrFn") 
  164.   (classes
  165.     "EnumType" "EnumOrTupleType" "DynamicType")
  166.   (derivings)))
  167.