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