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/ElabData/syntax/absyn.sml
ViewVC logotype

Diff of /sml/branches/primop-branch/src/compiler/ElabData/syntax/absyn.sml

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

revision 1474, Sun Apr 4 21:29:18 2004 UTC revision 1475, Fri Apr 9 19:05:33 2004 UTC
# Line 111  Line 111 
111   * does not contain any variable patterns; boundtvs gives the list of   * does not contain any variable patterns; boundtvs gives the list of
112   * type variables that are being generalized at this binding.   * type variables that are being generalized at this binding.
113   *)   *)
114  and vb = VB of {pat: pat, exp: exp, boundtvs: tyvar list,  and vb = VB of {pat: pat, exp: exp,
115                    boundtvs: tyvar list,
116                  tyvars: tyvar list ref}                  tyvars: tyvar list ref}
117    
118  (*  (*

Legend:
Removed from v.1474  
changed lines
  Added in v.1475

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