Return to nonrec.sml CVS log

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

Annotation of researchv10no/cmd/sml/src/translate/nonrec.sml, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: structure Nonrec =
                      3: struct
                      4: local open Access Basics Absyn
                      5: in
                      6:     exception Isrec
                      7: 
                      8:     fun nonrec (VALRECdec[RVB{var=var as VALvar{access=LVAR(lvar),...},
                      9:                              exp,resultty,tyvars}]) =
                     10:        let val rec findexp =
                     11:                fn VARexp(ref(VALvar{access=PATH[v],...})) =>
                     12:                                        if v=lvar then raise Isrec else ()
                     13:                 | VARexp(ref(VALvar{access=_,...})) => ()
                     14:                 | RECORDexp l => app (fn (lab,e)=>findexp e) l
                     15:                 | SEQexp l => app findexp l
                     16:                 | APPexp (a,b) => (findexp a; findexp b)
                     17:                 | CONSTRAINTexp (e,_) => findexp e
                     18:                 | HANDLEexp (e, HANDLER h) => (findexp e; findexp h)
                     19:                 | RAISEexp e => findexp e
                     20:                 | LETexp (d,e) => (finddec d; findexp e)
                     21:                 | CASEexp (e,l) => (findexp e; app (fn RULE (_,e) => findexp e) l)
                     22:                 | FNexp l =>  app (fn RULE (_,e) => findexp e) l
                     23:                 | MARKexp(e,a,b) => findexp e
                     24:                 | _ => ()
                     25:            and finddec =
                     26:                fn VALdec vbl => app (fn (VB{exp,...})=>findexp exp) vbl
                     27:                 | VALRECdec rvbl => app (fn(RVB{exp,...})=>findexp exp) rvbl
                     28:                 | LOCALdec (a,b) => (finddec a; finddec b)
                     29:                 | SEQdec l => app finddec l
                     30:                 | MARKdec (dec,a,b) => finddec dec
                     31:                 | _ => ()
                     32:         in findexp exp;
                     33:            VALdec[VB{pat=VARpat var, tyvars=tyvars,
                     34:                      exp = case resultty of 
                     35:                                SOME ty => CONSTRAINTexp(exp,ty)
                     36:                              | NONE => exp}]
                     37:        end
                     38: 
                     39:       | nonrec _ = raise Isrec
                     40: 
                     41: end (* local *)
                     42: end (* struct *)

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