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

Diff of /sml/branches/primop-branch-2/src/compiler/Elaborator/types/typecheck.sml

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

revision 1954, Thu Jul 6 16:35:38 2006 UTC revision 1955, Thu Jul 6 20:10:33 2006 UTC
# Line 411  Line 411 
411       case exp       case exp
412        of VARexp(r as ref(VALvar{typ, ...}), _) =>        of VARexp(r as ref(VALvar{typ, ...}), _) =>
413            let val (ty, insts) = instantiatePoly(!typ)            let val (ty, insts) = instantiatePoly(!typ)
414             in (VARexp(r, SOME ty), ty)              in (VARexp(r, insts), ty)
415            end            end
416         | VARexp(refvar as ref(OVLDvar _),_) =>         | VARexp(refvar as ref(OVLDvar _),_) =>
417              (exp, ol_push (refvar, err region))              (exp, ol_push (refvar, err region))

Legend:
Removed from v.1954  
changed lines
  Added in v.1955

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