Return to bareabsyn.sig CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / absyn

Annotation of researchv10no/cmd/sml/src/absyn/bareabsyn.sig, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* bareabsyn.sig *)
        !             3: 
        !             4: signature BAREABSYN = sig
        !             5: 
        !             6: structure Basics : BASICS
        !             7: structure Access : ACCESS
        !             8: type linenum
        !             9: 
        !            10: datatype numberedLabel = LABEL of {name : Basics.Symbol.symbol, number: int};
        !            11: 
        !            12: datatype exp   = VARexp of Basics.var ref
        !            13:                | CONexp of Basics.datacon
        !            14:                | INTexp of int
        !            15:                | REALexp of string
        !            16:                | STRINGexp of string
        !            17:                | RECORDexp of (numberedLabel * exp) list
        !            18:                | SEQexp of exp list            
        !            19:                | APPexp of exp * exp           
        !            20:                | CONSTRAINTexp of exp * Basics.ty
        !            21:                | HANDLEexp of exp * handler
        !            22:                | RAISEexp of exp
        !            23:                | LETexp of dec * exp
        !            24:                | CASEexp of exp * rule list
        !            25:                | FNexp of rule list
        !            26:                | MARKexp of exp * linenum * linenum
        !            27: 
        !            28: and rule       = RULE of pat * exp
        !            29: 
        !            30: and handler    = HANDLER of exp
        !            31: 
        !            32: and pat                = WILDpat
        !            33:                | VARpat of Basics.var
        !            34:                | INTpat of int
        !            35:                | REALpat of string
        !            36:                | STRINGpat of string
        !            37:                | CONpat of Basics.datacon
        !            38:                | RECORDpat of
        !            39:                    {fields : (Basics.label * pat) list,
        !            40:                     flex : bool,
        !            41:                     typ : Basics.ty ref,
        !            42:                     pats : pat list ref}
        !            43:                | APPpat of Basics.datacon * pat
        !            44:                | CONSTRAINTpat of pat * Basics.ty
        !            45:                | LAYEREDpat of pat * pat
        !            46: 
        !            47: and strexp     = VARstr of Basics.structureVar
        !            48:                | STRUCTstr of
        !            49:                    {body: dec list,
        !            50:                     locations: Basics.trans list}  (* component paths *)
        !            51:                | APPstr of
        !            52:                    {oper: Basics.functorVar,
        !            53:                     argexp: strexp,
        !            54:                     argthin: Basics.thinning}
        !            55:                | LETstr of dec * strexp
        !            56: 
        !            57: and dec                = VALdec of vb list
        !            58:                | VALRECdec of rvb list
        !            59:                | TYPEdec of tb list
        !            60:                | DATATYPEdec of
        !            61:                    {datatycs: Basics.tycon ref list,
        !            62:                     withtycs: tb list}
        !            63:                | ABSTYPEdec of
        !            64:                    {abstycs: Basics.tycon ref list,
        !            65:                     withtycs: tb list,
        !            66:                     body: dec}
        !            67:                | EXCEPTIONdec of eb list
        !            68:                | STRdec of strb list
        !            69:                | ABSdec of strb list
        !            70:                | FCTdec of fctb list
        !            71:                | SIGdec of Basics.signatureVar list
        !            72:                | OPENdec of Basics.structureVar list
        !            73:                | LOCALdec of dec * dec
        !            74:                | SEQdec of dec list
        !            75:                 | IMPORTdec of string list
        !            76:                | MARKdec of dec * linenum * linenum
        !            77: 
        !            78: and vb         = VB of
        !            79:                    {pat:pat,
        !            80:                     exp:exp,
        !            81:                     tyvars: Basics.tyvar list}
        !            82: and rvb                = RVB of
        !            83:                    {var:Basics.var,
        !            84:                     exp:exp,
        !            85:                     resultty: Basics.ty option,
        !            86:                     tyvars: Basics.tyvar list}
        !            87: and fb         = FB of
        !            88:                    {var:Basics.var,
        !            89:                     clauses: clause list,
        !            90:                     tyvars: Basics.tyvar list}
        !            91: and clause     = CLAUSE of
        !            92:                    {pats: pat list,
        !            93:                     resultty: Basics.ty option,
        !            94:                     exp:exp}
        !            95: and tb         = TB of
        !            96:                    {tyc : Basics.tycon ref,
        !            97:                     def : Basics.ty}
        !            98: and eb         = EBgen of
        !            99:                    {exn: Basics.datacon,
        !           100:                     etype: Basics.ty option}
        !           101:                | EBdef of
        !           102:                    {exn: Basics.datacon,
        !           103:                     edef: Basics.datacon}
        !           104: and strb       = STRB of 
        !           105:                    {strvar: Basics.structureVar,
        !           106:                     def: strexp,
        !           107:                     thin: Basics.thinning,
        !           108:                     constraint: Basics.Structure option}  (* info only *)
        !           109: and fctb       = FCTB of
        !           110:                    {fctvar: Basics.functorVar,
        !           111:                     param: Basics.structureVar,
        !           112:                     def: strexp,
        !           113:                     thin: Basics.thinning,
        !           114:                     constraint: Basics.Structure option}  (* info only *)
        !           115: 
        !           116: end (* signature BAREABSYN *)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.