Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/idlbasis-devel/src/MLRISC/Tools/FakeSMLAst/ast-rewrite.sml
ViewVC logotype

Diff of /sml/branches/idlbasis-devel/src/MLRISC/Tools/FakeSMLAst/ast-rewrite.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1002, Fri Nov 30 17:11:33 2001 UTC revision 1232, Tue Jun 4 21:11:15 2002 UTC
# Line 35  Line 35 
35                       CONSexp(id,SOME e) => CONSexp(id,SOME(exp e))                       CONSexp(id,SOME e) => CONSexp(id,SOME(exp e))
36                     | LISTexp(es,e) => LISTexp(map exp es,opt exp e)                     | LISTexp(es,e) => LISTexp(map exp es,opt exp e)
37                     | TUPLEexp es => TUPLEexp(map exp es)                     | TUPLEexp es => TUPLEexp(map exp es)
38                       | VECTORexp es => VECTORexp(map exp es)
39                     | RECORDexp es => RECORDexp(map (fn (l,e) => (l,exp e)) es)                     | RECORDexp es => RECORDexp(map (fn (l,e) => (l,exp e)) es)
40                     | SEQexp es => SEQexp(map exp es)                     | SEQexp es => SEQexp(map exp es)
41                     | APPexp(f,x) => APPexp(exp f, exp x)                     | APPexp(f,x) => APPexp(exp f, exp x)
# Line 128  Line 129 
129                  | LITpat l => p                  | LITpat l => p
130                  | LISTpat(ps,p) => LISTpat(map pat ps,opt pat p)                  | LISTpat(ps,p) => LISTpat(map pat ps,opt pat p)
131                  | TUPLEpat ps => TUPLEpat(map pat ps)                  | TUPLEpat ps => TUPLEpat(map pat ps)
132                    | VECTORpat ps => VECTORpat(map pat ps)
133                  | RECORDpat(lps,flex) =>                  | RECORDpat(lps,flex) =>
134                       RECORDpat(map (fn (l,p) => (l,pat p)) lps, flex)                       RECORDpat(map (fn (l,p) => (l,pat p)) lps, flex)
135                  | TYPEDpat(p,t) => TYPEDpat(pat p,ty t)                  | TYPEDpat(p,t) => TYPEDpat(pat p,ty t)
# Line 151  Line 153 
153    
154          and dbind db = db          and dbind db = db
155    
156          and tbind tb = tb          and tbind(TYPEbind(x,tvs,t)) = TYPEbind(x,tvs,ty t)
157      in  { pat=pat,      in  { pat=pat,
158            exp=exp,            exp=exp,
159            decl=decl,            decl=decl,

Legend:
Removed from v.1002  
changed lines
  Added in v.1232

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0