CVS: sml-dist/src/system/smlnj/init built-in.sml, 1.12, 1.12.4.1

Update of /cvsroot/smlnj/sml-dist/src/system/smlnj/init
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv26107/src/system/smlnj/init

Modified Files:
      Tag: primop-branch-2
	built-in.sml 
Log Message:
added to notes

Index: built-in.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/system/smlnj/init/built-in.sml,v
retrieving revision 1.12
retrieving revision 1.12.4.1
diff -C2 -d -r1.12 -r1.12.4.1
*** built-in.sml	24 Nov 2004 20:27:30 -0000	1.12
--- built-in.sml	21 Jun 2006 21:14:42 -0000	1.12.4.1
***************
*** 7,17 ****
   *)
  
  structure PrimTypes = struct open PrimTypes end
     (* this silliness is to prevent elabstr.sml from sticking a NO_ACCESS
!        in the wrong place *)
  
  local
      open PrimTypes
  in
  
    structure Assembly = Core.Assembly
--- 7,25 ----
   *)
  
+ (* [dbm, 6/21/06] This module is compiled in the environment PrimEnv.primEnv.
+    See init.cmi *)
+ 
  structure PrimTypes = struct open PrimTypes end
     (* this silliness is to prevent elabstr.sml from sticking a NO_ACCESS
!       in the wrong place [dbm: presumably this NO_ACCESS is derived from
!       the dummy access value (NO_ACCESS) in the hand-built PrimTypes module.]
!       How and why does this access value get propagated into the code. *)
  
  local
      open PrimTypes
  in
+ (* [dbm, 6/21/06] If this is elaborated in the primEnv environment, there is
+ already an opened PrimType, so is the above code redundnat? By experimentation,
+ it appears that the "local open PrimTypes in ..." is not necessary. *)
  
    structure Assembly = Core.Assembly


All the advantages of Linux Managed Hosting--Without the Cost and Risk!
Fully trained technicians. The highest number of Red Hat certifications in
the hosting industry. Fanatical Support. Click to learn more
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=107521&bid=248729&dat=121642