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/FLINT/trans/translate.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/trans/translate.sml

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

revision 1935, Mon Jun 5 18:21:55 2006 UTC revision 1948, Tue Jun 27 22:08:49 2006 UTC
# Line 939  Line 939 
939              | h (a::r, b::z) = (b := a; h(r, z))              | h (a::r, b::z) = (b := a; h(r, z))
940              | h _ = bug "unexpected cases in mkPE"              | h _ = bug "unexpected cases in mkPE"
941    
942              (* [dbm, 6/22/06] Why do we need to restore the original
943                 contents of the uninstantiated meta type variables? *)
944    
945            val _ = h(savedtvs, boundtvs)  (* recover *)            val _ = h(savedtvs, boundtvs)  (* recover *)
946            val len = length(boundtvs)            val len = length(boundtvs)
947    

Legend:
Removed from v.1935  
changed lines
  Added in v.1948

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