CVS: sml-dist/src/compiler/Elaborator/modules sigmatch.sml, 1.6.8.1, 1.6.8.2
George Kuan <[email protected]> Mon, 19 Jun 2006 18:28:07 -0700
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/modules
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv24205/src/compiler/Elaborator/modules
Modified Files:
Tag: primop-branch-2
sigmatch.sml
Log Message:
Propagating VARexp, CONpat, CONexp type change to ?? * ty option change
Index: sigmatch.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/modules/sigmatch.sml,v
retrieving revision 1.6.8.1
retrieving revision 1.6.8.2
diff -C2 -d -r1.6.8.1 -r1.6.8.2
*** sigmatch.sml 19 Jun 2006 22:29:00 -0000 1.6.8.1
--- sigmatch.sml 20 Jun 2006 01:28:00 -0000 1.6.8.2
***************
*** 858,861 ****
--- 858,865 ----
VALvar{path=spath, typ=ref spectyp,
access=acc, info=dinfo}
+ (** This seems a bit sensitive. Here, a VB
+ is constructed with a VARexp field that
+ gets its instys from a matchTypes call
+ -GK *)
val vb =
A.VB {pat=A.VARpat specvar,