Return to bareabsyn.sml CVS log

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

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

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

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