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/compiler/Elaborator/types/typecheck.sml
ViewVC logotype

Diff of /sml/trunk/compiler/Elaborator/types/typecheck.sml

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

revision 3798, Mon Nov 12 14:45:38 2012 UTC revision 3799, Fri Nov 16 21:08:56 2012 UTC
# Line 530  Line 530 
530         | STRINGexp _ => (exp,MARKty(stringTy, region))         | STRINGexp _ => (exp,MARKty(stringTy, region))
531         | CHARexp _ => (exp,MARKty(charTy, region))         | CHARexp _ => (exp,MARKty(charTy, region))
532         | RECORDexp fields =>         | RECORDexp fields =>
533             let fun h(l as LABEL{name,...},exp') =             let fun h(l,exp') =
534                      let val (nexp,nty) = expType(exp',occ,tdepth,region)                      let val (nexp,nty) = expType(exp',occ,tdepth,region)
535                       in ((l,nexp),(l,nty))                       in ((l,nexp),(l,nty))
536                      end                      end

Legend:
Removed from v.3798  
changed lines
  Added in v.3799

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