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/primop-branch/src/compiler/Elaborator/elaborate/elabutil.sml
ViewVC logotype

Diff of /sml/branches/primop-branch/src/compiler/Elaborator/elaborate/elabutil.sml

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

revision 1475, Fri Apr 9 19:05:33 2004 UTC revision 1476, Fri Apr 16 20:51:46 2004 UTC
# Line 85  Line 85 
85    
86    
87  val TRUEpat = CONpat(trueDcon,[])  val TRUEpat = CONpat(trueDcon,[])
88  val TRUEexp = CONexp(trueDcon,[])  val TRUEexp = CONexp(trueDcon,UNDEFty)
89  val FALSEpat = CONpat(falseDcon,[])  val FALSEpat = CONpat(falseDcon,[])
90  val FALSEexp = CONexp(falseDcon,[])  val FALSEexp = CONexp(falseDcon,UNDEFty)
91    
92  val NILpat = CONpat(nilDcon,[])  val NILpat = CONpat(nilDcon,[])
93  val NILexp = CONexp(nilDcon,[])  val NILexp = CONexp(nilDcon,UNDEFty)
94  val CONSpat = fn pat => APPpat(consDcon,[],pat)  val CONSpat = fn pat => APPpat(consDcon,[],pat)
95  val CONSexp = CONexp(consDcon,[])  val CONSexp = CONexp(consDcon,UNDEFty)
96    
97  val unitExp = AbsynUtil.unitExp  val unitExp = AbsynUtil.unitExp
98  val unitPat = RECORDpat{fields = nil, flex = false, typ = ref UNDEFty}  val unitPat = RECORDpat{fields = nil, flex = false, typ = ref UNDEFty}
# Line 249  Line 249 
249      completeMatch''      completeMatch''
250        (fn marker =>        (fn marker =>
251            RULE(WILDpat,            RULE(WILDpat,
252                 marker(RAISEexp(CONexp(CoreAccess.getExn(env,name),[]),                 marker(RAISEexp(CONexp(CoreAccess.getExn(env,name),UNDEFty),
253                                 UNDEFty))))                                 UNDEFty))))
254    
255  val trivialCompleteMatch = completeMatch(SE.empty,"Match")  val trivialCompleteMatch = completeMatch(SE.empty,"Match")

Legend:
Removed from v.1475  
changed lines
  Added in v.1476

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