Return to lambda.sml CVS log

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

Annotation of researchv10no/cmd/sml/src/basics/lambda.sml, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: (* lambda.sml *)
                      3: 
                      4: signature LAMBDA = sig
                      5: 
                      6: structure Access: ACCESS
                      7: structure Basics: BASICS
                      8: 
                      9: type primop sharing type primop = Access.primop
                     10: 
                     11: datatype con
                     12:   = DATAcon of Basics.datacon
                     13:   | INTcon of int
                     14:   | REALcon of string
                     15:   | STRINGcon of string
                     16: 
                     17: datatype lexp
                     18:   = VAR of Access.lvar
                     19:   | FN of Access.lvar * lexp
                     20:   | FIX of Access.lvar list * lexp list * lexp
                     21:   | APP of lexp * lexp
                     22:   | INT of int
                     23:   | REAL of string
                     24:   | STRING of string
                     25:   | SWITCH of lexp * (con*lexp) list * lexp option
                     26:   | RECORD of lexp list
                     27:   | SELECT of int * lexp
                     28:   | RAISE of lexp
                     29:   | HANDLE of lexp * lexp
                     30:   | PRIM of primop
                     31: 
                     32:  val CON : Basics.datacon * lexp -> lexp
                     33:  val DECON : Basics.datacon * lexp -> lexp
                     34: 
                     35: end
                     36: 
                     37: structure Lambda : LAMBDA = struct 
                     38: 
                     39:   structure Access = Access
                     40:   structure Basics = Basics
                     41:   open Access Basics
                     42: 
                     43:  type primop = Access.primop
                     44: 
                     45:  datatype con
                     46:   = DATAcon of datacon
                     47:   | INTcon of int
                     48:   | REALcon of string
                     49:   | STRINGcon of string
                     50: 
                     51:   datatype lexp
                     52:     = VAR of lvar
                     53:     | FN of lvar * lexp
                     54:     | FIX of lvar list * lexp list * lexp
                     55:     | APP of lexp * lexp
                     56:     | INT of int
                     57:     | REAL of string
                     58:     | STRING of string
                     59:     | SWITCH of lexp * (con*lexp) list * lexp option
                     60:     | RECORD of lexp list
                     61:     | SELECT of int * lexp
                     62:     | RAISE of lexp
                     63:     | HANDLE of lexp * lexp
                     64:     | PRIM of primop
                     65: 
                     66: fun trpath [i] = VAR i
                     67:   | trpath (a::r) = SELECT(a, trpath r)
                     68: 
                     69: fun CON (DATACON{rep=(TAGGED i),...},e) = RECORD[e,INT i]
                     70:   | CON (DATACON{rep=TRANSPARENT,...},e) = e
                     71:   | CON (DATACON{rep=TRANSU,...},e) = e
                     72:   | CON (DATACON{rep=TRANSB,...},e) = e
                     73:   | CON (DATACON{rep=REF,...},e) = APP(PRIM Access.P.makeref,e)
                     74:   | CON (DATACON{rep=(VARIABLE(PATH p)),const=true,...},e) = trpath p
                     75:   | CON (DATACON{rep=(VARIABLE(PATH p)),...},e) = RECORD[e, trpath p]
                     76:   | CON (DATACON{rep=(CONSTANT i),...},e) = INT i
                     77: 
                     78: fun DECON (DATACON{rep=(TAGGED _),...},e) = SELECT(0,e)
                     79:   | DECON (DATACON{rep=TRANSPARENT,...},e) = e
                     80:   | DECON (DATACON{rep=TRANSU,...},e) = e
                     81:   | DECON (DATACON{rep=TRANSB,...},e) = e
                     82:   | DECON (DATACON{rep=REF,...},e) = APP(PRIM Access.P.!,e)
                     83:   | DECON (DATACON{rep=(VARIABLE _),...},e) = SELECT(0,e) 
                     84:   | DECON (DATACON{name,rep=r,...},e) =
                     85:      (print (Symbol.name name); print " "; PrintBasics.printRep r; print "\n";
                     86:      ErrorMsg.impossible "DECON with bad constructor")
                     87: 
                     88: end

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