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/modules/sigmatch.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/Elaborator/modules/sigmatch.sml

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

revision 1939, Mon Jun 19 22:29:00 2006 UTC revision 1941, Tue Jun 20 01:28:00 2006 UTC
# Line 857  Line 857 
857                                    val specvar =                                    val specvar =
858                                      VALvar{path=spath, typ=ref spectyp,                                      VALvar{path=spath, typ=ref spectyp,
859                                             access=acc, info=dinfo}                                             access=acc, info=dinfo}
860                                      (** This seems a bit sensitive. Here, a VB
861                                          is constructed with a VARexp field that
862                                          gets its instys from a matchTypes call
863                                          -GK *)
864                                    val vb =                                    val vb =
865                                      A.VB {pat=A.VARpat specvar,                                      A.VB {pat=A.VARpat specvar,
866                                            exp=A.VARexp(ref actvar, instys),                                            exp=A.VARexp(ref actvar, instys),

Legend:
Removed from v.1939  
changed lines
  Added in v.1941

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