This module defines various auxiliary functions that are used by the type checker when it needs to refer to things defined in the Prelude, e.g., when dealing with the do notation, literals, and sections.
These are to considered deprecated now. Since they create hardwired references to particular original names, they prevent PFE from being used with alternate Prelude and standard libraries that are structured in differnt ways.
module TiPrelude where import HsConstants(tuple) import HasBaseStruct -- import TiTypes import TiNames import HsIdent(HsIdentI) import HsTypeStruct --pt :: String->Type pt :: (HasBaseStruct rec (TI i t), TypeCon i) => SrcName -> rec pt n = hsTyCon . prelType $ n --tBool :: HasBaseStruct t (T t') => t --tBool :: (HasBaseStruct rec (TI i t), TypeCon i) => rec --tBool = pt "Bool" prelOtherwise = pv "otherwise" prelFlip = pv "flip" {- prelOtherwise, prelNegate, prelFlip, prelEnumFrom, prelEnumFromTo, prelEnumFromThen, prelEnumFromThenTo, prelThen, prelBind, prelFail, prelFromInteger, prelFromRational, prelError :: ValueId i => HsIdentI i prelNegate = pv "negate" prelEnumFrom = pv "enumFrom" prelEnumFromTo = pv "enumFromTo" prelEnumFromThen = pv "enumFromThen" prelEnumFromThenTo = pv "enumFromThenTo" prelThen = pv ">>" prelBind = pv ">>=" prelFail = pv "fail" prelFromInteger = pv "fromInteger" prelFromRational = pv "fromRational" prelError = pv "error" prelEqual = pv "==" prelGE = pv ">=" prelPlus = pv "+" prelMinus = pv "-" prelNot = pv "not" prelAnd = pv "&&" prelOr = pv "||" prelFalse = pc "False" prelNil = pc "[]" -} prelTrue = pc "True" --tupleType ts = foldl1 hsTyApp (tuplecon (length ts):ts) :: Type tupleType ts = hsTyTuple ts -- :: Type --listType t = hsTyApp (pt "[]") t -- :: Type tuplecon n = pt (tuple (n-1)) -- :: Type funcon = pt "->"