Return to cps.sml CVS log

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

Annotation of researchv10no/cmd/sml/src/cps/cps.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: signature CPS = sig
        !             3: 
        !             4: type lvar
        !             5: exception Ctable
        !             6: 
        !             7: datatype const = INTconst of int | REALconst of string | STRINGconst of string
        !             8: 
        !             9: datatype accesspath = OFFp of int | SELp of int * accesspath
        !            10: 
        !            11: datatype cexp = RECORD of (lvar * accesspath) list * lvar * cexp
        !            12:              | SELECT of int * lvar * lvar * cexp
        !            13:              | OFFSET of int * lvar * lvar * cexp
        !            14:              | APP of lvar * lvar list
        !            15:              | FIX of (lvar * lvar list * cexp) list * cexp
        !            16:              | SWITCH of lvar * cexp list
        !            17:              | PRIMOP of Access.primop * lvar list * lvar list * cexp list
        !            18: type function
        !            19: val recordpath : lvar list -> (lvar * accesspath) list
        !            20: val combinepaths : accesspath * accesspath -> accesspath
        !            21: val lenp : accesspath -> int
        !            22: 
        !            23: end
        !            24: 
        !            25: structure CPS : CPS = struct
        !            26: 
        !            27: type lvar = int
        !            28: exception Ctable
        !            29: 
        !            30: datatype const = INTconst of int | REALconst of string | STRINGconst of string
        !            31: 
        !            32: datatype accesspath = OFFp of int | SELp of int * accesspath
        !            33: 
        !            34: datatype cexp
        !            35:   = RECORD of (lvar * accesspath) list * lvar * cexp
        !            36:   | SELECT of int * lvar * lvar * cexp
        !            37:   | OFFSET of int * lvar * lvar * cexp
        !            38:   | APP of lvar * lvar list
        !            39:   | FIX of function list * cexp
        !            40:   | SWITCH of lvar * cexp list
        !            41:   | PRIMOP of Access.primop * lvar list * lvar list * cexp list
        !            42: withtype function = lvar * lvar list * cexp
        !            43: 
        !            44: val recordpath = map (fn v => (v,OFFp 0))
        !            45: 
        !            46: fun combinepaths(p,OFFp 0) = p
        !            47:   | combinepaths(p,q) = 
        !            48:     let val rec comb =
        !            49:        fn (OFFp 0) => q
        !            50:         | (OFFp i) => (case q of
        !            51:                          (OFFp j) => OFFp(i+j)
        !            52:                        | (SELp(j,p)) => SELp(i+j,p))
        !            53:         | (SELp(i,p)) => SELp(i,comb p)
        !            54:     in comb p
        !            55:     end
        !            56: 
        !            57: fun lenp(OFFp _) = 0
        !            58:   | lenp(SELp(_,p)) = 1 + lenp p
        !            59: 
        !            60: end

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