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