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/trunk/src/MLRISC/Tools/FakeSMLAst/ast-rewrite.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/Tools/FakeSMLAst/ast-rewrite.sml

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

revision 998, Sat Nov 24 23:40:39 2001 UTC revision 999, Tue Nov 27 06:28:37 2001 UTC
# Line 65  Line 65 
65              | LOCALdecl(d1,d2) => LOCALdecl(map decl d1,map decl d2)              | LOCALdecl(d1,d2) => LOCALdecl(map decl d1,map decl d2)
66              | SEQdecl ds => SEQdecl(map decl ds)              | SEQdecl ds => SEQdecl(map decl ds)
67              | STRUCTUREdecl(id,ds,s,se) =>              | STRUCTUREdecl(id,ds,s,se) =>
68                   STRUCTUREdecl(id,map decl ds,s, sexp se)                   STRUCTUREdecl(id,map decl ds,sigconopt s,sexp se)
69              | FUNCTORdecl(id,ds,s,se) =>              | FUNCTORdecl(id,ds,s,se) =>
70                   FUNCTORdecl(id, map decl ds,s, sexp se)                   FUNCTORdecl(id, map decl ds,sigconopt s, sexp se)
71              | INCLUDESIGdecl s => INCLUDESIGdecl(sigexp s)              | INCLUDESIGdecl s => INCLUDESIGdecl(sigexp s)
72              | SIGNATUREdecl(id,s) => SIGNATUREdecl(id, sigexp s)              | SIGNATUREdecl(id,s) => SIGNATUREdecl(id, sigexp s)
73              | STRUCTURESIGdecl(id,s) => STRUCTURESIGdecl(id, sigexp s)              | STRUCTURESIGdecl(id,s) => STRUCTURESIGdecl(id, sigexp s)
74              | OPENdecl ids => OPENdecl ids              | OPENdecl ids => OPENdecl ids
75              | FUNCTORARGdecl(id,se) => FUNCTORARGdecl(id, sigexp se)              | FUNCTORARGdecl(id,se) => FUNCTORARGdecl(id,sigcon se)
76              | EXCEPTIONdecl ebs => EXCEPTIONdecl(map ebind ebs)              | EXCEPTIONdecl ebs => EXCEPTIONdecl(map ebind ebs)
77              | MARKdecl(l,d) => (Error.setLoc l; MARKdecl(l,decl d))              | MARKdecl(l,d) => (Error.setLoc l; MARKdecl(l,decl d))
78              | d => d              | d => d
79          in rwDecl decl d end          in rwDecl decl d end
80    
81            and sigcon{abstract,sigexp=se} = {abstract=abstract,sigexp=sigexp se}
82    
83            and sigconopt s = Option.map sigcon s
84    
85          and ebind(b as EXCEPTIONbind(id,NONE)) = b          and ebind(b as EXCEPTIONbind(id,NONE)) = b
86            | ebind(EXCEPTIONbind(id,SOME t)) = EXCEPTIONbind(id,SOME(ty t))            | ebind(EXCEPTIONbind(id,SOME t)) = EXCEPTIONbind(id,SOME(ty t))
87            | ebind(b as EXCEPTIONEQbind _) = b            | ebind(b as EXCEPTIONEQbind _) = b

Legend:
Removed from v.998  
changed lines
  Added in v.999

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