CVS: sml-dist/src/compiler/Semant/types typecheck.sml, 1.5, 1.5.18.1
David MacQueen <[email protected]>
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml-dist/src/compiler/Semant/types
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv24436/src/compiler/Semant/types
Modified Files:
Tag: primop-branch-2
typecheck.sml
Log Message:
update of InlInfo
Index: typecheck.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Semant/types/typecheck.sml,v
retrieving revision 1.5
retrieving revision 1.5.18.1
diff -C2 -d -r1.5 -r1.5.18.1
*** typecheck.sml 15 Aug 2001 21:17:03 -0000 1.5
--- typecheck.sml 19 Jun 2006 22:29:00 -0000 1.5.18.1
***************
*** 5,8 ****
--- 5,13 ----
* SML/NJ-specific instantiation of the Typecheck functor.
*)
+
+ (* [dbm, 6/16/06] Obsolete -- this file will be removed.
+ Typecheck now defined directly in Elaborator/types/typecheck.sml,
+ no longer functorized. *)
+
structure Typecheck =
TypecheckFn (val ii_ispure = InlInfo.pureInfo