CVS: sml-dist/src/compiler/Elaborator elaborate.cm, 1.8.2.2, 1.8.2.3

Update of /cvsroot/smlnj/sml-dist/src/compiler/Elaborator
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv12787/src/compiler/Elaborator

Modified Files:
      Tag: primop-branch-2
	elaborate.cm 
Log Message:
sigmatch is still functorized because of PLambda Types, the compiler builds now but does not bootstrap

Index: elaborate.cm
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/elaborate.cm,v
retrieving revision 1.8.2.2
retrieving revision 1.8.2.3
diff -C2 -d -r1.8.2.2 -r1.8.2.3
*** elaborate.cm	20 Jun 2006 04:18:10 -0000	1.8.2.2
--- elaborate.cm	12 Jul 2006 15:43:13 -0000	1.8.2.3
***************
*** 21,25 ****
  	functor InstantiateFn
  	functor EvalEntityFn
! 	(** functor SigMatchFn *)
  	functor ElabModFn
  	functor ElabTopFn
--- 21,25 ----
  	functor InstantiateFn
  	functor EvalEntityFn
! 	functor SigMatchFn
  	functor ElabModFn
  	functor ElabTopFn
***************
*** 32,35 ****
--- 32,36 ----
  	structure ElabDebug
  	structure Unify
+ 	structure Typecheck
  
  	signature PPUTIL
***************
*** 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
--- 61,68 ----
  	types/overload.sml
  	types/overloadlit.sml
! 	types/typecheck.sml
  
  	modules/expandtycon.sml
! 	modules/sigmatch.sml 
  	modules/instantiate.sml
  	modules/evalent.sml



-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642