CVS: sml-dist/src/compiler/Elaborator elaborate.cm, 1.8.2.1, 1.8.2.2
George Kuan <[email protected]> Mon, 19 Jun 2006 21:18:14 -0700
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml-dist/src/compiler/Elaborator
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv18394/src/compiler/Elaborator
Modified Files:
Tag: primop-branch-2
elaborate.cm
Log Message:
Moved PrimOp dependent TypesUtil.isValue function to Semant/types/typecheck module and SigMatchFn.sml to Semant/modules/
Index: elaborate.cm
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/elaborate.cm,v
retrieving revision 1.8.2.1
retrieving revision 1.8.2.2
diff -C2 -d -r1.8.2.1 -r1.8.2.2
*** elaborate.cm 20 Jun 2006 01:28:00 -0000 1.8.2.1
--- elaborate.cm 20 Jun 2006 04:18:10 -0000 1.8.2.2
***************
*** 16,28 ****
signature ELABTOP
signature UNIFY
functor InstantiateFn
functor EvalEntityFn
! (** functor TypecheckFn *)
! functor SigMatchFn
functor ElabModFn
functor ElabTopFn
- structure Typecheck
structure PrimTycNum
structure DebIndex
--- 16,28 ----
signature ELABTOP
signature UNIFY
+ signature TYPECHECK
+ signature SIGMATCH
functor InstantiateFn
functor EvalEntityFn
! (** functor SigMatchFn *)
functor ElabModFn
functor ElabTopFn
structure PrimTycNum
structure DebIndex
***************
*** 60,67 ****
types/overload.sml
types/overloadlit.sml
! types/typecheck.sml
modules/expandtycon.sml
! modules/sigmatch.sml
modules/instantiate.sml
modules/evalent.sml
--- 60,69 ----
types/overload.sml
types/overloadlit.sml
! types/typecheck.sig
! (** types/typecheck.sml *)
modules/expandtycon.sml
! (**modules/sigmatch.sml *)
! modules/sigmatch.sig
modules/instantiate.sml
modules/evalent.sml