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-3/compiler/Elaborator/modules/evalent.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/Elaborator/modules/evalent.sml

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

revision 3337, Wed May 13 13:17:00 2009 UTC revision 3338, Wed May 13 15:49:21 2009 UTC
# Line 158  Line 158 
158    
159                  (* because the abstraction creates a bunch of new stamps,                  (* because the abstraction creates a bunch of new stamps,
160                     we have to bind them to the epcontext.                     we have to bind them to the epcontext.
161                       But not all new stamps are represented in abstycs, only
162                       FORMALs (primaries)!
163                   *)                   *)
164                  val epc = enterOpen(epc, entsvOp)                  val epc = enterOpen(epc, entsvOp)
165                  fun bindEp (T.GENtyc gt, ep) =                  fun bindEp (T.GENtyc gt, ep) =

Legend:
Removed from v.3337  
changed lines
  Added in v.3338

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