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

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

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

revision 1373, Mon Sep 15 22:16:26 2003 UTC revision 1377, Tue Sep 16 15:22:47 2003 UTC
# Line 407  Line 407 
407            let val (ty, insts) = instantiatePoly(!typ)            let val (ty, insts) = instantiatePoly(!typ)
408             in (VARexp(r, insts), ty)             in (VARexp(r, insts), ty)
409            end            end
410  (* PRIMOP:  
          (case ii2ty info of  
               SOME st =>  
               let val (sty, insts) = instantiatePoly(st)  
                   val (nty, _) = instantiatePoly(!typ)  
               in  
                   unifyTy(sty, nty) handle _ => ();  (* ??? *)  
                   (VARexp(r, insts), sty)  
               end  
             | NONE =>  
               let val (ty, insts) = instantiatePoly(!typ)  
               in (VARexp(r, insts), ty)  
               end)  
 *)  
411         | VARexp(refvar as ref(OVLDvar _),_) =>         | VARexp(refvar as ref(OVLDvar _),_) =>
412              (exp,pushOverloaded(refvar, err region))              (exp,pushOverloaded(refvar, err region))
413         | VARexp(r as ref ERRORvar, _) => (exp, WILDCARDty)         | VARexp(r as ref ERRORvar, _) => (exp, WILDCARDty)

Legend:
Removed from v.1373  
changed lines
  Added in v.1377

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