CVS: sml-dist/src/compiler/Elaborator/elaborate elabmod.sml, 1.2.20.2, 1.2.20.3

George Kuan <[email protected]> Wed, 12 Jul 2006 08:43:17 -0700
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/elaborate
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv12787/src/compiler/Elaborator/elaborate

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

Index: elabmod.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/elaborate/elabmod.sml,v
retrieving revision 1.2.20.2
retrieving revision 1.2.20.3
diff -C2 -d -r1.2.20.2 -r1.2.20.3
*** elabmod.sml	11 Jul 2006 15:35:49 -0000	1.2.20.2
--- elabmod.sml	12 Jul 2006 15:43:13 -0000	1.2.20.3
***************
*** 24,29 ****
  
  (* functorized to factor out dependencies on FLINT... *)
! functor ElabModFn (structure SM : SIGMATCH
! 		   structure Typecheck : TYPECHECK) : ELABMOD =
  struct
  
--- 24,28 ----
  
  (* functorized to factor out dependencies on FLINT... *)
! functor ElabModFn (structure SM : SIGMATCH) : ELABMOD =
  struct
  



-------------------------------------------------------------------------
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