mlton-commit Mailing List for MLton (Page 132)

A whole-program optimizing compiler for Standard ML

Brought to you by: fluet, sweeks

mlton-commit — [MLton-commit] Code commits

You can subscribe to this list here.

2005	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug (56)	Sep (40)	Oct (30)	Nov (144)	Dec (23)
2006	Jan (41)	Feb (29)	Mar (31)	Apr (39)	May (193)	Jun (45)	Jul (19)	Aug (3)	Sep (23)	Oct (83)	Nov (92)	Dec (123)
2007	Jan (90)	Feb (267)	Mar (120)	Apr (51)	May (40)	Jun (121)	Jul (109)	Aug (173)	Sep (77)	Oct (52)	Nov (121)	Dec (62)
2008	Jan (76)	Feb (53)	Mar (98)	Apr (87)	May (26)	Jun (27)	Jul (23)	Aug (136)	Sep (79)	Oct (68)	Nov (29)	Dec (14)
2009	Jan (7)	Feb (2)	Mar (11)	Apr (75)	May (1)	Jun (95)	Jul (19)	Aug (4)	Sep (8)	Oct (93)	Nov (43)	Dec (21)
2010	Jan (20)	Feb (23)	Mar (18)	Apr (6)	May (20)	Jun (23)	Jul (1)	Aug	Sep	Oct	Nov	Dec
2011	Jan (2)	Feb (6)	Mar (15)	Apr (5)	May (9)	Jun (14)	Jul (9)	Aug	Sep	Oct	Nov	Dec
2012	Jan	Feb (3)	Mar	Apr	May (2)	Jun (17)	Jul (37)	Aug	Sep (1)	Oct (6)	Nov	Dec
2013	Jan	Feb	Mar (5)	Apr (2)	May (7)	Jun (11)	Jul (8)	Aug	Sep (1)	Oct (2)	Nov	Dec
2014	Jan	Feb (2)	Mar (1)	Apr	May (1)	Jun (1)	Jul (7)	Aug (2)	Sep	Oct (5)	Nov (2)	Dec (4)
2015	Jan	Feb (2)	Mar (2)	Apr	May	Jun (9)	Jul (1)	Aug	Sep	Oct (4)	Nov (1)	Dec
2016	Jan (2)	Feb (1)	Mar (1)	Apr (1)	May (1)	Jun (2)	Jul (1)	Aug	Sep (5)	Oct	Nov	Dec
2017	Jan (1)	Feb (3)	Mar (3)	Apr (7)	May (2)	Jun (2)	Jul (5)	Aug (1)	Sep (2)	Oct (17)	Nov (4)	Dec (7)
2018	Jan (5)	Feb (14)	Mar (2)	Apr (5)	May (2)	Jun (5)	Jul	Aug (2)	Sep	Oct (3)	Nov (5)	Dec
2019	Jan (4)	Feb (2)	Mar (3)	Apr (1)	May (8)	Jun (14)	Jul (2)	Aug	Sep (2)	Oct (2)	Nov (15)	Dec (2)
2020	Jan (10)	Feb (3)	Mar (1)	Apr	May (9)	Jun (4)	Jul (16)	Aug (10)	Sep (4)	Oct (3)	Nov	Dec
2021	Jan (11)	Feb (2)	Mar (2)	Apr	May	Jun (1)	Jul	Aug (5)	Sep	Oct (6)	Nov (4)	Dec (4)
2022	Jan (4)	Feb (2)	Mar (2)	Apr	May (6)	Jun (3)	Jul	Aug (1)	Sep	Oct	Nov (1)	Dec
2023	Jan	Feb	Mar	Apr (2)	May (5)	Jun (1)	Jul (4)	Aug (1)	Sep	Oct (1)	Nov (13)	Dec
2024	Jan (1)	Feb	Mar (5)	Apr	May (10)	Jun	Jul	Aug (3)	Sep	Oct	Nov (1)	Dec (14)
2025	Jan (3)	Feb	Mar (1)	Apr	May (2)	Jun (3)	Jul	Aug	Sep (2)	Oct (3)	Nov	Dec

Flat | Threaded

<< < 1 .. 130 131 132 133 134 .. 163 > >> (Page 132 of 163)

[MLton-commit] r4788

From: Vesa K. <ve...@ml...> - 2006-10-28 14:10:25

Moved common modules to a shared source file.

----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/ints.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-arrays.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-vectors.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/reals.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/texts.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/words.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/ints.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vectors.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/reals.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/texts.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/words.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/ints.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-arrays.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vectors.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/reals.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/texts.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/words.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/ints.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-arrays.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vectors.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/reals.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/texts.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/words.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb

----------------------------------------------------------------------

[MLton-commit] r4787

From: Vesa K. <ve...@ml...> - 2006-10-28 11:06:44

Ported to MLKit - well, almost.  Some extensions are not implemented
properly (due to missing basis functionality) and below is a patch against
the trunk revision 2126 of the MLKit repository at SourceForge

   http://sourceforge.net/projects/mlkit

that you need to apply to compile with MLKit.

Index: src/Tools/MlbMake/MlbProject.sml
===================================================================
--- src/Tools/MlbMake/MlbProject.sml	(revision 2126)
+++ src/Tools/MlbMake/MlbProject.sml	(working copy)
@@ -140,7 +140,7 @@
 	fun is_symbol #"=" = true
 	  | is_symbol _ = false
 
-	fun lex chs : string list =
+	fun lex file chs : string list =
 	    let 
 		fun lex_symbol (c::chs) =
 		    if is_symbol c then SOME (c,chs) else NONE
@@ -156,14 +156,31 @@
 			 else lex_string (rest, c::acc)
 		  | lex_string ([], acc) = (implode(rev acc), [])
 
+                val lex_string_lit =
+                    fn #"\"" :: rest =>
+                       let fun lp acc =
+                               fn #"\"" :: rest => SOME (implode (rev acc), rest)
+                                | c :: rest => lp (c::acc) rest
+                                | [] =>
+                                  error ("Unclosed string literal in project " ^
+                                         quot(file))
+                       in lp [] rest
+                       end
+                     | _ => NONE
+
 		fun lex0 (chs : char list, acc) : string list =
 		    case lex_whitesp chs of 
 			[] => rev acc
-		      | chs => lex0 (case lex_symbol chs of 
-					 SOME (c,chs) => (chs, Char.toString c :: acc)
-				       | NONE => let val (s, chs) = lex_string(chs,[])
-						 in (chs, s::acc) 
-						 end)
+		      | chs =>
+                        lex0 (case lex_symbol chs of 
+				 SOME (c,chs) => (chs, Char.toString c :: acc)
+			       | NONE =>
+                                 case lex_string_lit chs of
+                                    SOME (s, chs) => (chs, s :: acc)
+                                  | NONE =>
+                                    let val (s, chs) = lex_string(chs,[])
+				    in (chs, s::acc) 
+				    end)
 	    in lex0(chs,[])
 	    end
 
@@ -193,20 +210,20 @@
 				       orelse f = ""))
 	      | _ => false
 
-	local
-	    fun is_keyword s = 
-		case s of
-		    "open" => true
-		  | "let" => true
-		  | "local" => true
-		  | "in" => true
-		  | "end" => true
-		  | "bas" => true
-		  | "basis" => true
-		  | "scriptpath" => true
-		  | "ann" => true
-		  | _ => false
-			
+	fun is_keyword s = 
+	    case s of
+	       "open" => true
+	     | "let" => true
+	     | "local" => true
+	     | "in" => true
+	     | "end" => true
+	     | "bas" => true
+	     | "basis" => true
+	     | "scriptpath" => true
+	     | "ann" => true
+	     | _ => false
+
+	local		
 	    fun is_fileext s =
 		case s of
 		    "mlb" => true
@@ -233,27 +250,35 @@
             [] => error ("while parsing basis file " ^ quot mlbfile ^ " : " ^ msg ^ "(reached end of file)")
           | s::_ => error ("while parsing basis file " ^ quot mlbfile ^ " : " ^ msg ^ "(reached " ^ quot s ^ ")")
 
+        fun parse_warn1 mlbfile (msg, rest) =
+            warn (concat ["while parsing basis file ", quot mlbfile, " : ", msg,
+                          case rest of [] => "(reached end of file)"
+                                     | s::_ => "(reached " ^ quot s ^ ")"])
 
 	fun expand mlbfile s = 
 	    let 
-		fun readUntil c0 nil acc = parse_error mlbfile "malformed path-var"
-		  | readUntil c0 (c::cc) acc =
-		    if c = c0 then
-			let val pathVar = implode (rev acc)
-			    val cc = 
-				case cc of 
-				    #"/"::cc => cc
-				  | _ => cc
-			in case (Env.getEnvVal (pathVar)) of
-			    SOME path => OS.Path.concat(path, implode cc)
-			  | NONE => parse_error mlbfile ("path variable $(" ^ pathVar ^") not in env")
-			end
-		    else readUntil c0 cc (c::acc)
-	    in		
-		case explode s of
-		    #"$" :: #"(" :: cc => readUntil #")" cc nil
-		  | #"$" :: cc => readUntil #"/" cc nil
-		  | _ => s
+                val implodeRev = implode o rev
+
+                fun resolveVar pathVar =
+                    case Env.getEnvVal pathVar of
+		       SOME path => path
+		     | NONE => parse_error mlbfile ("path variable $(" ^ pathVar ^") not in env")
+
+                fun inVar strs cs =
+                    fn [] => parse_error mlbfile "malformed path-var"
+                     | #")" :: cc =>
+                       inLit (resolveVar (implodeRev cs)::strs) [] cc
+                     | cc as (#"/" :: _) =>
+                       inLit (resolveVar (implodeRev cs)::strs) [] cc
+                     | c::cc => inVar strs (c::cs) cc
+
+                and inLit strs cs =
+                    fn [] => concat (rev (implodeRev cs::strs))
+                     | #"$" :: #"(" :: cc => inVar (implodeRev cs::strs) [] cc
+                     | #"$" :: cc => inVar (implodeRev cs::strs) [] cc
+                     | c :: cc => inLit strs (c::cs) cc
+	    in
+               inLit [] [] (explode s)
 	    end
 
 	fun parse_bdec_more mlbfile (bdec,ss) =
@@ -297,12 +322,19 @@
 		       | NONE => parse_error1 mlbfile ("invalid basis expression", ss))
 
 	and parse_ann mlbfile ss =
-	    case ss of
-		s::ss => 
-		    if MS.supported_annotation s then (s,ss)
-		    else parse_error1 mlbfile ("non-supported annotation after 'ann'", ss)
-	      | _ => parse_error1 mlbfile ("missing annotation after 'ann'", ss)
-			
+            let
+               fun lp (anns, s::ss) =
+                   if is_keyword s then (anns, s::ss)
+                   else if MS.supported_annotation s then lp (s::anns,ss)
+		   else (parse_warn1 mlbfile ("non-supported annotation '"^s^
+                                              "' after", ss)
+                       ; lp (anns,ss))
+                 | lp (_, _) =
+                   parse_error1 mlbfile ("missing annotation after 'ann'", ss)
+	    in
+               lp ([], ss)
+            end
+
 	and parse_bdec_opt mlbfile ss =
 	    case ss of
 		"local" :: ss => 
@@ -358,19 +390,26 @@
 			 end
 	      | "ann" :: ss =>
 		    let 
-			fun parse_rest'(ann,bdec,ss) =
+			fun parse_rest'(anns,bdec,ss) =
 			    case ss of 
-				"end" :: ss => parse_bdec_more mlbfile (MS.ANNbdec(ann,bdec),ss)
+				"end" :: ss =>
+                                parse_bdec_more
+                                   mlbfile
+                                   (foldl (fn (ann, bdec) =>
+                                              MS.ANNbdec(ann,bdec))
+                                          bdec
+                                          anns,
+                                    ss)
 			      | _ => parse_error1 mlbfile ("I expect an 'end'", ss)
-			fun parse_rest(ann,ss) =
+			fun parse_rest(anns,ss) =
 			    case ss of 
 				"in" :: ss => 
 				    (case parse_bdec_opt mlbfile ss of 
-					 NONE => parse_rest'(ann,MS.EMPTYbdec,ss)
-				       | SOME(bdec,ss) => parse_rest'(ann,bdec,ss))
+					 NONE => parse_rest'(anns,MS.EMPTYbdec,ss)
+				       | SOME(bdec,ss) => parse_rest'(anns,bdec,ss))
 			      | _ => parse_error1 mlbfile ("I expect an 'in'", ss)
 		    in case parse_ann mlbfile ss of 
-		         (ann,ss) => parse_rest(ann,ss)
+		         (anns,ss) => parse_rest(anns,ss)
 		    end
  	      | s :: ss =>
 			 if is_smlfile s then parse_bdec_more mlbfile (MS.ATBDECbdec (expand mlbfile s),ss)
@@ -398,12 +437,13 @@
 		error ("The basis file " ^ quot mlbfile ^ " does not have extension 'mlb'")	    
 	    else
 		let (* val _ = print ("currently at " ^ OS.FileSys.getDir() ^ "\n") *)
-		    val ss = (lex o (drop_comments mlbfile) o explode o MlbFileSys.fromFile) mlbfile
+		    val ss = (lex mlbfile o drop_comments mlbfile o
+                              explode o MlbFileSys.fromFile) mlbfile
 		    (* val _ = print_ss ss *)
 		in  case parse_bdec_opt mlbfile ss of
 		    SOME (bdec,nil) => bdec
 		  | SOME (bdec,ss) => parse_error1 mlbfile ("misformed basis declaration", ss)
-		  | NONE => parse_error1 mlbfile ("missing basis declaration", ss)
+		  | NONE => MS.EMPTYbdec
 		end
 	    handle IO.Io {name=io_s,cause,...} => error ("The basis file " ^ quot mlbfile ^ " cannot be opened")
 
Index: basis/basis.mlb
===================================================================
--- basis/basis.mlb	(revision 2126)
+++ basis/basis.mlb	(working copy)
@@ -203,5 +203,5 @@
 *)
 in
   open General List ArrayVector String Bool Word Byte 
-       Int Real IntInf IntInfRep Io System Posix IO (* Sml90 *)
+       Int Real IntInf IntInfRep Io System Text Posix IO (* Sml90 *)
 end
Index: basis/Text.sml
===================================================================
--- basis/Text.sml	(revision 2126)
+++ basis/Text.sml	(working copy)
@@ -1,4 +1,4 @@
-structure Text :> TEXT =
+structure Text : TEXT =
   struct
     structure Char = Char
     structure String = String

----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/ints.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-arrays.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/mono-vectors.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/reals.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/texts.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/words.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/workarounds/
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/workarounds/ieee-real.sig
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/workarounds/ieee-real.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/workarounds/mk-real-sane.fun
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/workarounds/real.sig
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/workarounds/reals.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/workarounds.mlb
A   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml

----------------------------------------------------------------------

[MLton-commit] r4786

From: Vesa K. <ve...@ml...> - 2006-10-28 10:59:57

Documentation.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/readme.txt

----------------------------------------------------------------------

[MLton-commit] r4785

From: Vesa K. <ve...@ml...> - 2006-10-28 05:58:20

Reorganized the MLB file and used the SML_COMPILER variable to refer to
compiler specific files.  Added an empty workarounds.mlb for MLton.  This
was done in preparation for MLKit port so that both compilers can share
the same MLB files.

----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/workarounds.mlb
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb

----------------------------------------------------------------------

[MLton-commit] r4784

From: Vesa K. <ve...@ml...> - 2006-10-27 06:28:29

Tweaked the font-lock-table regexps a little.  The font-lock result looks
nicer now in the usual cases, but I'm not entirely satisfied with the
regexps, which are somewhat ad hoc.

----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/esml-mlb-mode.el

----------------------------------------------------------------------

[MLton-commit] r4783

From: Vesa K. <ve...@ml...> - 2006-10-27 05:05:33

Fixed bug in specification of chars to `skip-chars-forward' resulting in
not performing completion in all cases.

----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/esml-mlb-mode.el

----------------------------------------------------------------------

[MLton-commit] r4782

From: Stephen W. <sw...@ml...> - 2006-10-26 12:52:35

Updated policy version.

----------------------------------------------------------------------

U   mlton/trunk/package/debian/control

----------------------------------------------------------------------

Modified: mlton/trunk/package/debian/control
===================================================================
--- mlton/trunk/package/debian/control	2006-10-26 19:47:04 UTC (rev 4781)
+++ mlton/trunk/package/debian/control	2006-10-26 19:52:32 UTC (rev 4782)
@@ -3,7 +3,7 @@
 Priority: optional
 Maintainer: Stephen Weeks <sw...@sw...>
 Build-Depends: mlton (>= 20041109-1), htmldoc, libgmp3-dev (>= 4.0.1), tetex-bin, tetex-extra, time
-Standards-Version: 3.6.2
+Standards-Version: 3.7.2
 
 Package: mlton
 Architecture: hppa i386 powerpc sparc

[MLton-commit] r4781

From: Vesa K. <ve...@ml...> - 2006-10-26 12:48:19

Incomplete support for Poly/ML; build files are still missing.

----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/ints.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-arrays.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vectors.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/reals.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/texts.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/words.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/mk-real-sane.fun
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/real.sig
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/reals.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml

----------------------------------------------------------------------

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/ints.sml (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/ints.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/ints.sml	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/ints.sml	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {INTEGER} and {INT_INF} modules for Poly/ML == *)
+
+structure Int      : INTEGER = MkIntegerExt (Int)
+structure LargeInt : INTEGER = MkIntegerExt (LargeInt)
+structure Position : INTEGER = MkIntegerExt (Position)
+
+structure IntInf : INT_INF = MkIntInfExt (IntInf)

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-arrays.sml (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-arrays.sml	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,23 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_ARRAY} modules for Poly/ML == *)
+
+structure BoolArray : MONO_ARRAY =
+   MkMonoArrayExt (structure MonoArray = BoolArray
+                   structure MonoVector = BoolVector)
+
+structure IntArray : MONO_ARRAY =
+   MkMonoArrayExt (structure MonoArray = IntArray
+                   structure MonoVector = IntVector)
+
+structure RealArray : MONO_ARRAY =
+   MkMonoArrayExt (structure MonoArray = RealArray
+                   structure MonoVector = RealVector)
+
+structure Word8Array : MONO_ARRAY =
+   MkMonoArrayExt (structure MonoArray = Word8Array
+                   structure MonoVector = Word8Vector)

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vectors.sml (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vectors.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vectors.sml	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/mono-vectors.sml	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_VECTOR} modules for Poly/ML == *)
+
+structure BoolVector  : MONO_VECTOR = MkMonoVectorExt (BoolVector)
+structure IntVector   : MONO_VECTOR = MkMonoVectorExt (IntVector)
+structure RealVector  : MONO_VECTOR = MkMonoVectorExt (RealVector)
+structure Word8Vector : MONO_VECTOR = MkMonoVectorExt (Word8Vector)

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/reals.sml (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/reals.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/reals.sml	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/reals.sml	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,10 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {REAL} modules for Poly/ML == *)
+
+structure Real      : REAL = MkRealExt (Real)
+structure LargeReal : REAL = MkRealExt (LargeReal)

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/texts.sml (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/texts.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/texts.sml	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/texts.sml	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {TEXT} modules for Poly/ML == *)
+
+structure Text       : TEXT        = MkTextExt (Text)
+structure Char       : CHAR        = Text.Char
+structure CharArray  : MONO_ARRAY  = Text.CharArray
+structure CharVector : MONO_VECTOR = Text.CharVector
+structure String     : STRING      = Text.String

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/words.sml (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/words.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/words.sml	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/words.sml	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {WORD} modules for Poly/ML == *)
+
+structure Word      : WORD = MkWordExt (Word)
+structure LargeWord : WORD = MkWordExt (LargeWord)
+structure SysWord   : WORD = MkWordExt (SysWord)
+structure Word8     : WORD = MkWordExt (Word8)

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/mk-real-sane.fun (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-real-sane.fun)

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/real.sig (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/real.sig)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/real.sig	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/real.sig	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,75 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+signature REAL = sig
+   type real
+
+   structure Math : MATH where type real = real
+
+   val round : real -> Int.int
+   val trunc : real -> Int.int
+   val ceil : real -> Int.int
+   val floor : real -> Int.int
+
+   val != : real * real -> bool
+   val * : real * real -> real
+   val *+ : real * real * real -> real
+   val *- : real * real * real -> real
+   val + : real * real -> real
+   val - : real * real -> real
+   val / : real * real -> real
+   val <  : real * real -> bool
+   val <= : real * real -> bool
+   val == : real * real -> bool
+   val >  : real * real -> bool
+   val >= : real * real -> bool
+   val ?= : real * real -> bool
+   val ~ : real -> real
+   val abs : real -> real
+   val checkFloat : real -> real
+   val class : real -> IEEEReal.float_class
+   val compare : real * real -> order
+   val compareReal : real * real -> IEEEReal.real_order
+   val copySign : real * real -> real
+   val fmt : StringCvt.realfmt -> real -> string
+   val fromDecimal : IEEEReal.decimal_approx -> real option
+   val fromDecimal' : IEEEReal.decimal_approx -> real
+   val fromInt : int -> real
+   val fromLarge : IEEEReal.rounding_mode -> LargeReal.real -> real
+   val fromLargeInt : LargeInt.int -> real
+   val fromManExp : {man : real, exp : int} -> real
+   val fromString : string -> real option
+   val isFinite : real -> bool
+   val isNan : real -> bool
+   val isNormal : real -> bool
+   val max : real * real -> real
+   val maxFinite : real
+   val min : real * real -> real
+   val minNormalPos : real
+   val minPos : real
+   val negInf : real
+   val nextAfter : real * real -> real
+   val posInf : real
+   val precision : int
+   val radix : int
+   val realCeil : real -> real
+   val realFloor : real -> real
+   val realMod : real -> real
+   val realTrunc : real -> real
+   val rem : real * real -> real
+   val sameSign : real * real -> bool
+   val scan : (char, 'a) StringCvt.reader -> (real, 'a) StringCvt.reader
+   val sign : real -> int
+   val signBit : real -> bool
+   val split : real -> {whole : real, frac : real}
+   val toDecimal : real -> IEEEReal.decimal_approx
+   val toInt : IEEEReal.rounding_mode -> real -> int
+   val toLarge : real -> LargeReal.real
+   val toLargeInt : IEEEReal.rounding_mode -> real -> LargeInt.int
+   val toManExp : real -> {man : real, exp : int}
+   val toString : real -> string
+   val unordered : real * real -> bool
+end

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/reals.sml (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/reals.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/reals.sml	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/workarounds/reals.sml	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,8 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+structure Real      : REAL = MkRealSane (Real)
+structure LargeReal : REAL = MkRealSane (LargeReal)

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml (from rev 4774, mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml	2006-10-25 15:18:52 UTC (rev 4774)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml	2006-10-26 19:47:04 UTC (rev 4781)
@@ -0,0 +1,16 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Poly/ML specific extensions == *)
+
+structure BoolArray : MONO_ARRAY = BoolArray
+structure BoolVector : MONO_VECTOR = BoolVector
+structure IntArray : MONO_ARRAY = IntArray
+structure IntVector : MONO_VECTOR = IntVector
+structure RealArray : MONO_ARRAY = RealArray
+structure RealVector : MONO_VECTOR = RealVector
+structure SysWord : WORD = SysWord
+structure Word8Vector : MONO_VECTOR = Word8Vector

[MLton-commit] r4780

From: Vesa K. <ve...@ml...> - 2006-10-26 12:43:41

Whitespace cleanup.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-arrays.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml	2006-10-26 19:38:46 UTC (rev 4779)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml	2006-10-26 19:43:34 UTC (rev 4780)
@@ -48,7 +48,7 @@
 structure LargeWordArray : MONO_ARRAY =
    MkMonoArrayExt (structure MonoArray = LargeWordArray
                    structure MonoVector = LargeWordVector)
-structure Word8Array  : MONO_ARRAY =
+structure Word8Array : MONO_ARRAY =
    MkMonoArrayExt (structure MonoArray = Word8Array
                    structure MonoVector = Word8Vector)
 structure Word16Array : MONO_ARRAY =

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-arrays.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-arrays.sml	2006-10-26 19:38:46 UTC (rev 4779)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-arrays.sml	2006-10-26 19:43:34 UTC (rev 4780)
@@ -13,6 +13,6 @@
    MkMonoArrayExt (structure MonoArray = Real64Array
                    structure MonoVector = Real64Vector)
 
-structure Word8Array  =
+structure Word8Array =
    MkMonoArrayExt (structure MonoArray = Word8Array
                    structure MonoVector = Word8Vector)

[MLton-commit] r4779

From: Stephen W. <sw...@ml...> - 2006-10-26 12:38:50

Built new Debian package.

----------------------------------------------------------------------

U   mlton/trunk/package/debian/changelog

----------------------------------------------------------------------

Modified: mlton/trunk/package/debian/changelog
===================================================================
--- mlton/trunk/package/debian/changelog	2006-10-26 19:37:56 UTC (rev 4778)
+++ mlton/trunk/package/debian/changelog	2006-10-26 19:38:46 UTC (rev 4779)
@@ -1,3 +1,10 @@
+mlton (20061026-1) unstable; urgency=low
+
+  * new upstream version
+  * Eliminated broken "cd" in bin/make-pdf-guide.  closes: #394981
+
+ -- Stephen Weeks <sw...@sw...>  Thu, 26 Oct 2006 12:04:20 -0700
+
 mlton (20060213-1) unstable; urgency=low
 
   * new upstream version

[MLton-commit] r4778

From: Stephen W. <sw...@ml...> - 2006-10-26 12:38:03

Don't include MLRISC in libraries.

----------------------------------------------------------------------

U   mlton/trunk/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2006-10-26 00:16:39 UTC (rev 4777)
+++ mlton/trunk/Makefile	2006-10-26 19:37:56 UTC (rev 4778)
@@ -181,7 +181,7 @@
 	$(CP) $(SRC)/lib/cml/. $(LIB)/sml/cml
 	$(CP) $(SRC)/lib/ckit-lib/ckit/. $(LIB)/sml/ckit-lib
 	$(CP) $(SRC)/lib/mlnlffi/. $(LIB)/sml/mlnlffi-lib
-	$(CP) $(SRC)/lib/mlrisc-lib/MLRISC/. $(LIB)/sml/mlrisc-lib
+	true || $(CP) $(SRC)/lib/mlrisc-lib/MLRISC/. $(LIB)/sml/mlrisc-lib
 	$(CP) $(SRC)/lib/mlyacc/. $(LIB)/sml/mlyacc-lib
 	$(CP) $(SRC)/lib/smlnj-lib/smlnj-lib/. $(LIB)/sml/smlnj-lib
 	find $(LIB)/sml -type d -name .svn | xargs rm -rf

[MLton-commit] r4777

From: Stephen W. <sw...@ml...> - 2006-10-25 17:17:19

Cleanups suggested by lintian: removed a .cvsignore, fixed file
permissions, changed PERL path.

Added PHONY "patch" target for mlrisc-lib.


----------------------------------------------------------------------

U   mlton/trunk/lib/ckit-lib/Makefile
U   mlton/trunk/lib/mlrisc-lib/MLRISC.patch
U   mlton/trunk/lib/mlrisc-lib/Makefile
U   mlton/trunk/lib/smlnj-lib/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/lib/ckit-lib/Makefile
===================================================================
--- mlton/trunk/lib/ckit-lib/Makefile	2006-10-26 00:12:03 UTC (rev 4776)
+++ mlton/trunk/lib/ckit-lib/Makefile	2006-10-26 00:16:39 UTC (rev 4777)
@@ -13,6 +13,7 @@
 	gzip -dc ckit.tgz | tar xf -
 	chmod -R a+r ckit
 	chmod -R g-s ckit
+	chmod a-x ckit/src/ast/simplify-assign-ops.sml
 	patch -p0 < ckit.patch
 
 .PHONY: clean

Modified: mlton/trunk/lib/mlrisc-lib/MLRISC.patch
===================================================================
--- mlton/trunk/lib/mlrisc-lib/MLRISC.patch	2006-10-26 00:12:03 UTC (rev 4776)
+++ mlton/trunk/lib/mlrisc-lib/MLRISC.patch	2006-10-26 00:16:39 UTC (rev 4777)
@@ -1,6 +1,6 @@
 diff -Naur MLRISC/aliasing/pointsTo.sig MLRISC-mlton/aliasing/pointsTo.sig
---- MLRISC/aliasing/pointsTo.sig	2000-12-07 23:11:33.000000000 -0500
-+++ MLRISC-mlton/aliasing/pointsTo.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/aliasing/pointsTo.sig	2000-12-07 20:11:33.000000000 -0800
++++ MLRISC-mlton/aliasing/pointsTo.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -7,18 +7,27 @@
  sig
  
@@ -38,8 +38,8 @@
     val reset    : (unit -> C.cell) -> unit
  
 diff -Naur MLRISC/aliasing/pointsTo.sml MLRISC-mlton/aliasing/pointsTo.sml
---- MLRISC/aliasing/pointsTo.sml	2002-03-07 16:16:23.000000000 -0500
-+++ MLRISC-mlton/aliasing/pointsTo.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/aliasing/pointsTo.sml	2002-03-07 13:16:23.000000000 -0800
++++ MLRISC-mlton/aliasing/pointsTo.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -10,25 +10,30 @@
     structure C = CellsBasis
  
@@ -83,8 +83,8 @@
  
     fun less(k,i,k',i') = k=k' andalso i > i' orelse greaterKind(k,k')
 diff -Naur MLRISC/alpha/backpatch/alphaJumps.sml MLRISC-mlton/alpha/backpatch/alphaJumps.sml
---- MLRISC/alpha/backpatch/alphaJumps.sml	2003-05-22 18:46:19.000000000 -0400
-+++ MLRISC-mlton/alpha/backpatch/alphaJumps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/alpha/backpatch/alphaJumps.sml	2003-05-22 15:46:19.000000000 -0700
++++ MLRISC-mlton/alpha/backpatch/alphaJumps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,10 +5,67 @@
   *)
  functor AlphaJumps
@@ -158,8 +158,8 @@
  struct
    structure I = Instr
 diff -Naur MLRISC/alpha/emit/alphaAsm.sml MLRISC-mlton/alpha/emit/alphaAsm.sml
---- MLRISC/alpha/emit/alphaAsm.sml	2002-03-07 16:16:24.000000000 -0500
-+++ MLRISC-mlton/alpha/emit/alphaAsm.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/alpha/emit/alphaAsm.sml	2002-03-07 13:16:24.000000000 -0800
++++ MLRISC-mlton/alpha/emit/alphaAsm.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,12 +6,88 @@
  
  
@@ -256,8 +256,8 @@
  struct
     structure I  = Instr
 diff -Naur MLRISC/alpha/emit/alphaMC.sml MLRISC-mlton/alpha/emit/alphaMC.sml
---- MLRISC/alpha/emit/alphaMC.sml	2002-01-09 14:44:18.000000000 -0500
-+++ MLRISC-mlton/alpha/emit/alphaMC.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/alpha/emit/alphaMC.sml	2002-01-09 11:44:18.000000000 -0800
++++ MLRISC-mlton/alpha/emit/alphaMC.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,7 +6,27 @@
  
  
@@ -296,8 +296,8 @@
     
         fun doNothing _ = ()
 diff -Naur MLRISC/alpha/flowgraph/alphaGasPseudoOps.sml MLRISC-mlton/alpha/flowgraph/alphaGasPseudoOps.sml
---- MLRISC/alpha/flowgraph/alphaGasPseudoOps.sml	2001-11-21 13:39:55.000000000 -0500
-+++ MLRISC-mlton/alpha/flowgraph/alphaGasPseudoOps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/alpha/flowgraph/alphaGasPseudoOps.sml	2001-11-21 10:39:55.000000000 -0800
++++ MLRISC-mlton/alpha/flowgraph/alphaGasPseudoOps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -1,6 +1,26 @@
  functor AlphaGasPseudoOps 
     ( structure T : MLTREE
@@ -327,8 +327,8 @@
  
  struct
 diff -Naur MLRISC/alpha/instructions/alphaInstr.sml MLRISC-mlton/alpha/instructions/alphaInstr.sml
---- MLRISC/alpha/instructions/alphaInstr.sml	2002-01-24 00:45:15.000000000 -0500
-+++ MLRISC-mlton/alpha/instructions/alphaInstr.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/alpha/instructions/alphaInstr.sml	2002-01-23 21:45:15.000000000 -0800
++++ MLRISC-mlton/alpha/instructions/alphaInstr.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -8,7 +8,16 @@
  signature ALPHAINSTR =
  sig
@@ -348,8 +348,8 @@
     structure Constant: CONSTANT
     structure Region : REGION
 diff -Naur MLRISC/alpha/instructions/alphaProps.sml MLRISC-mlton/alpha/instructions/alphaProps.sml
---- MLRISC/alpha/instructions/alphaProps.sml	2002-03-11 22:56:22.000000000 -0500
-+++ MLRISC-mlton/alpha/instructions/alphaProps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/alpha/instructions/alphaProps.sml	2002-03-11 19:56:22.000000000 -0800
++++ MLRISC-mlton/alpha/instructions/alphaProps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,8 +6,48 @@
  
  functor AlphaProps
@@ -402,8 +402,8 @@
  struct
      structure I = Instr
 diff -Naur MLRISC/alpha/mltree/alphaPseudoInstr.sig MLRISC-mlton/alpha/mltree/alphaPseudoInstr.sig
---- MLRISC/alpha/mltree/alphaPseudoInstr.sig	2001-07-19 16:35:13.000000000 -0400
-+++ MLRISC-mlton/alpha/mltree/alphaPseudoInstr.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/alpha/mltree/alphaPseudoInstr.sig	2001-07-19 13:35:13.000000000 -0700
++++ MLRISC-mlton/alpha/mltree/alphaPseudoInstr.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -4,10 +4,39 @@
  sig
     structure I : ALPHAINSTR
@@ -448,8 +448,8 @@
     type reduceOpnd = I.operand -> CB.cell
  
 diff -Naur MLRISC/alpha/mltree/alpha.sml MLRISC-mlton/alpha/mltree/alpha.sml
---- MLRISC/alpha/mltree/alpha.sml	2003-08-28 17:58:42.000000000 -0400
-+++ MLRISC-mlton/alpha/mltree/alpha.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/alpha/mltree/alpha.sml	2003-08-28 14:58:42.000000000 -0700
++++ MLRISC-mlton/alpha/mltree/alpha.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -11,11 +11,72 @@
  
  functor Alpha
@@ -840,8 +840,8 @@
            in  case cond of
                  T.EQ  => eq(e1,e2,d)
 diff -Naur MLRISC/backpatch/backpatch.sml MLRISC-mlton/backpatch/backpatch.sml
---- MLRISC/backpatch/backpatch.sml	2002-03-11 22:56:22.000000000 -0500
-+++ MLRISC-mlton/backpatch/backpatch.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/backpatch/backpatch.sml	2002-03-11 19:56:22.000000000 -0800
++++ MLRISC-mlton/backpatch/backpatch.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -8,13 +8,45 @@
  
  functor BBSched2
@@ -896,8 +896,8 @@
  struct
  
 diff -Naur MLRISC/backpatch/sdi-jumps.sig MLRISC-mlton/backpatch/sdi-jumps.sig
---- MLRISC/backpatch/sdi-jumps.sig	2000-12-07 23:11:33.000000000 -0500
-+++ MLRISC-mlton/backpatch/sdi-jumps.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/backpatch/sdi-jumps.sig	2000-12-07 20:11:33.000000000 -0800
++++ MLRISC-mlton/backpatch/sdi-jumps.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -7,7 +7,7 @@
  signature SDI_JUMPS = sig
    structure I : INSTRUCTIONS
@@ -908,8 +908,8 @@
    val branchDelayedArch : bool
  
 diff -Naur MLRISC/backpatch/spanDep.sml MLRISC-mlton/backpatch/spanDep.sml
---- MLRISC/backpatch/spanDep.sml	2002-10-10 10:48:47.000000000 -0400
-+++ MLRISC-mlton/backpatch/spanDep.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/backpatch/spanDep.sml	2002-10-10 07:48:47.000000000 -0700
++++ MLRISC-mlton/backpatch/spanDep.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -9,18 +9,79 @@
  
  functor SpanDependencyResolution
@@ -1014,8 +1014,8 @@
                    |  _ => jmp
  
 diff -Naur MLRISC/backpatch/vlBackPatch.sml MLRISC-mlton/backpatch/vlBackPatch.sml
---- MLRISC/backpatch/vlBackPatch.sml	2002-03-11 22:56:22.000000000 -0500
-+++ MLRISC-mlton/backpatch/vlBackPatch.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/backpatch/vlBackPatch.sml	2002-03-11 19:56:22.000000000 -0800
++++ MLRISC-mlton/backpatch/vlBackPatch.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -26,14 +26,31 @@
  functor BackPatch
    (structure CodeString : CODE_STRING
@@ -1057,8 +1057,8 @@
    structure I   = Jumps.I
    structure C   = I.C
 diff -Naur MLRISC/block-placement/block-placement.sml MLRISC-mlton/block-placement/block-placement.sml
---- MLRISC/block-placement/block-placement.sml	2002-03-21 17:33:35.000000000 -0500
-+++ MLRISC-mlton/block-placement/block-placement.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/block-placement/block-placement.sml	2002-03-21 14:33:35.000000000 -0800
++++ MLRISC-mlton/block-placement/block-placement.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,9 +5,13 @@
  
  functor BlockPlacement 
@@ -1077,8 +1077,8 @@
  struct
    structure CFG = CFG
 diff -Naur MLRISC/block-placement/check-placement-fn.sml MLRISC-mlton/block-placement/check-placement-fn.sml
---- MLRISC/block-placement/check-placement-fn.sml	2002-03-22 11:59:28.000000000 -0500
-+++ MLRISC-mlton/block-placement/check-placement-fn.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/block-placement/check-placement-fn.sml	2002-03-22 08:59:28.000000000 -0800
++++ MLRISC-mlton/block-placement/check-placement-fn.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -9,8 +9,12 @@
  functor CheckPlacementFn (
  
@@ -1108,8 +1108,8 @@
  			then ()
  			else reportNotAdjacent(src, dst)
 diff -Naur MLRISC/block-placement/jump-chain-elim-fn.sml MLRISC-mlton/block-placement/jump-chain-elim-fn.sml
---- MLRISC/block-placement/jump-chain-elim-fn.sml	2003-05-22 18:46:19.000000000 -0400
-+++ MLRISC-mlton/block-placement/jump-chain-elim-fn.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/block-placement/jump-chain-elim-fn.sml	2003-05-22 15:46:19.000000000 -0700
++++ MLRISC-mlton/block-placement/jump-chain-elim-fn.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -12,8 +12,12 @@
  functor JumpChainElimFn (
  
@@ -1126,8 +1126,8 @@
    (* Control flag that when set true allows jumps to labels outside
     * of the CFG to be chained.  Set this false when there are many
 diff -Naur MLRISC/block-placement/weighted-block-placement-fn.sml MLRISC-mlton/block-placement/weighted-block-placement-fn.sml
---- MLRISC/block-placement/weighted-block-placement-fn.sml	2003-05-22 18:46:19.000000000 -0400
-+++ MLRISC-mlton/block-placement/weighted-block-placement-fn.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/block-placement/weighted-block-placement-fn.sml	2003-05-22 15:46:19.000000000 -0700
++++ MLRISC-mlton/block-placement/weighted-block-placement-fn.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -12,8 +12,12 @@
  functor WeightedBlockPlacementFn (
  
@@ -1144,8 +1144,8 @@
    ) : BLOCK_PLACEMENT = struct
  
 diff -Naur MLRISC/c-calls/unimplemented-c-calls.sml MLRISC-mlton/c-calls/unimplemented-c-calls.sml
---- MLRISC/c-calls/unimplemented-c-calls.sml	2004-07-28 19:23:13.000000000 -0400
-+++ MLRISC-mlton/c-calls/unimplemented-c-calls.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/c-calls/unimplemented-c-calls.sml	2004-07-28 16:23:13.000000000 -0700
++++ MLRISC-mlton/c-calls/unimplemented-c-calls.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,7 +6,27 @@
   *)
  functor UnimplementedCCallsFn
@@ -1176,8 +1176,8 @@
      structure T = T
  
 diff -Naur MLRISC/cm/proxyLib.cm MLRISC-mlton/cm/proxyLib.cm
---- MLRISC/cm/proxyLib.cm	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/cm/proxyLib.cm	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/cm/proxyLib.cm	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/cm/proxyLib.cm	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,50 @@
 +Group
 +        group(proxyGrp.cm)
@@ -1229,9 +1229,18 @@
 +bind:(anchor:Visual.cm value:$SMLNJ-MLRISC)
 +bind:(anchor:VLIW.cm value:$SMLNJ-MLRISC)
 +)
+diff -Naur MLRISC/Doc/html/mltex2html MLRISC-mlton/Doc/html/mltex2html
+--- MLRISC/Doc/html/mltex2html	2000-06-01 11:33:04.000000000 -0700
++++ MLRISC-mlton/Doc/html/mltex2html	2006-10-25 17:10:23.000000000 -0700
+@@ -1,4 +1,4 @@
+-#!/usr/local/bin/perl
++#!/usr/bin/perl
+ #
+ # This tool generates HTML pages in my own format given a stylized Latex file.
+ #
 diff -Naur MLRISC/emit/cfgEmit.sml MLRISC-mlton/emit/cfgEmit.sml
---- MLRISC/emit/cfgEmit.sml	2002-05-15 10:02:06.000000000 -0400
-+++ MLRISC-mlton/emit/cfgEmit.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/emit/cfgEmit.sml	2002-05-15 07:02:06.000000000 -0700
++++ MLRISC-mlton/emit/cfgEmit.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -13,9 +13,34 @@
  
  functor CFGEmit
@@ -1271,8 +1280,8 @@
    structure CFG = CFG
  
 diff -Naur MLRISC/flowgraph/buildFlowgraph.sml MLRISC-mlton/flowgraph/buildFlowgraph.sml
---- MLRISC/flowgraph/buildFlowgraph.sml	2002-05-15 10:02:06.000000000 -0400
-+++ MLRISC-mlton/flowgraph/buildFlowgraph.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/buildFlowgraph.sml	2002-05-15 07:02:06.000000000 -0700
++++ MLRISC-mlton/flowgraph/buildFlowgraph.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -9,9 +9,34 @@
     structure S   : INSTRUCTION_STREAM
     structure I   : INSTRUCTIONS
@@ -1349,8 +1358,8 @@
  struct
    structure CFG = CFG
 diff -Naur MLRISC/flowgraph/cfgCountCopies.sml MLRISC-mlton/flowgraph/cfgCountCopies.sml
---- MLRISC/flowgraph/cfgCountCopies.sml	2002-03-07 16:16:24.000000000 -0500
-+++ MLRISC-mlton/flowgraph/cfgCountCopies.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/cfgCountCopies.sml	2002-03-07 13:16:24.000000000 -0800
++++ MLRISC-mlton/flowgraph/cfgCountCopies.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -4,10 +4,18 @@
   *)
  functor CFGCountCopies
@@ -1375,8 +1384,8 @@
  struct
     structure CFG = CFG
 diff -Naur MLRISC/flowgraph/cfgExpandCopies.sml MLRISC-mlton/flowgraph/cfgExpandCopies.sml
---- MLRISC/flowgraph/cfgExpandCopies.sml	2002-01-15 18:10:05.000000000 -0500
-+++ MLRISC-mlton/flowgraph/cfgExpandCopies.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/cfgExpandCopies.sml	2002-01-15 15:10:05.000000000 -0800
++++ MLRISC-mlton/flowgraph/cfgExpandCopies.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -7,8 +7,12 @@
  
  functor CFGExpandCopies
@@ -1393,8 +1402,8 @@
    struct
      structure CFG = CFG
 diff -Naur MLRISC/flowgraph/cfgPeephole.sml MLRISC-mlton/flowgraph/cfgPeephole.sml
---- MLRISC/flowgraph/cfgPeephole.sml	2001-09-19 15:31:18.000000000 -0400
-+++ MLRISC-mlton/flowgraph/cfgPeephole.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/cfgPeephole.sml	2001-09-19 12:31:18.000000000 -0700
++++ MLRISC-mlton/flowgraph/cfgPeephole.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -3,8 +3,12 @@
   *)
  functor CFGPeephole
@@ -1411,8 +1420,8 @@
  struct
     structure CFG = CFG
 diff -Naur MLRISC/flowgraph/cfg.sml MLRISC-mlton/flowgraph/cfg.sml
---- MLRISC/flowgraph/cfg.sml	2002-05-15 10:02:06.000000000 -0400
-+++ MLRISC-mlton/flowgraph/cfg.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/cfg.sml	2002-05-15 07:02:06.000000000 -0700
++++ MLRISC-mlton/flowgraph/cfg.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -10,8 +10,18 @@
  functor ControlFlowGraph
     (structure I : INSTRUCTIONS
@@ -1477,8 +1486,8 @@
  
     (*========================================================================
 diff -Naur MLRISC/flowgraph/printFlowgraph.sml MLRISC-mlton/flowgraph/printFlowgraph.sml
---- MLRISC/flowgraph/printFlowgraph.sml	2002-03-07 16:04:12.000000000 -0500
-+++ MLRISC-mlton/flowgraph/printFlowgraph.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/printFlowgraph.sml	2002-03-07 13:04:12.000000000 -0800
++++ MLRISC-mlton/flowgraph/printFlowgraph.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,9 +5,33 @@
  signature PRINT_FLOWGRAPH = 
  sig
@@ -1554,8 +1563,8 @@
  struct
     structure Asm = Asm
 diff -Naur MLRISC/flowgraph/pseudo-ops-big.sml MLRISC-mlton/flowgraph/pseudo-ops-big.sml
---- MLRISC/flowgraph/pseudo-ops-big.sml	2003-05-22 18:46:19.000000000 -0400
-+++ MLRISC-mlton/flowgraph/pseudo-ops-big.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/pseudo-ops-big.sml	2003-05-22 15:46:19.000000000 -0700
++++ MLRISC-mlton/flowgraph/pseudo-ops-big.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -7,8 +7,27 @@
  
  functor PseudoOpsBig
@@ -1587,8 +1596,8 @@
       val max_alignment : int option	(* maximum alignment for internal labels *)
       val nop: {sz:int, en:Word32.word}	(* encoding for noop *)
 diff -Naur MLRISC/flowgraph/pseudo-ops-little.sml MLRISC-mlton/flowgraph/pseudo-ops-little.sml
---- MLRISC/flowgraph/pseudo-ops-little.sml	2003-05-22 18:46:19.000000000 -0400
-+++ MLRISC-mlton/flowgraph/pseudo-ops-little.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/pseudo-ops-little.sml	2003-05-22 15:46:19.000000000 -0700
++++ MLRISC-mlton/flowgraph/pseudo-ops-little.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -7,8 +7,27 @@
  
  functor PseudoOpsLittle
@@ -1620,8 +1629,8 @@
       val max_alignment : int option	(* maximum alignment for internal labels *)
       val nop: {sz:int, en:Word32.word}	(* encoding for noop *)
 diff -Naur MLRISC/flowgraph/pseudo-ops.sig MLRISC-mlton/flowgraph/pseudo-ops.sig
---- MLRISC/flowgraph/pseudo-ops.sig	2001-11-22 09:25:11.000000000 -0500
-+++ MLRISC-mlton/flowgraph/pseudo-ops.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/flowgraph/pseudo-ops.sig	2001-11-22 06:25:11.000000000 -0800
++++ MLRISC-mlton/flowgraph/pseudo-ops.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -8,7 +8,27 @@
  
  signature PSEUDO_OPS = sig
@@ -1652,8 +1661,8 @@
    type pseudo_op = (T.labexp, Client.pseudo_op) PseudoOpsBasisTyp.pseudo_op
  
 diff -Naur MLRISC/frequencies/compute-freqs-fn.sml MLRISC-mlton/frequencies/compute-freqs-fn.sml
---- MLRISC/frequencies/compute-freqs-fn.sml	2003-05-22 18:46:20.000000000 -0400
-+++ MLRISC-mlton/frequencies/compute-freqs-fn.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/frequencies/compute-freqs-fn.sml	2003-05-22 15:46:20.000000000 -0700
++++ MLRISC-mlton/frequencies/compute-freqs-fn.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -40,9 +40,9 @@
  
    (***** Representation of equations *****)
@@ -1667,8 +1676,8 @@
      val zero = {c = 0.0, terms = []}
      val one = {c = 1.0, terms = []}
 diff -Naur MLRISC/gc-safety/gc-cells.sig MLRISC-mlton/gc-safety/gc-cells.sig
---- MLRISC/gc-safety/gc-cells.sig	2001-07-19 16:35:14.000000000 -0400
-+++ MLRISC-mlton/gc-safety/gc-cells.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/gc-safety/gc-cells.sig	2001-07-19 13:35:14.000000000 -0700
++++ MLRISC-mlton/gc-safety/gc-cells.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -8,7 +8,16 @@
  
     structure C  : CELLS
@@ -1688,8 +1697,8 @@
     (* Generate a virtual register and update the gc info at the same time. *)
     val newCell   : CB.cellkind -> GC.gctype -> CB.cell
 diff -Naur MLRISC/graphs/bigraph.sig MLRISC-mlton/graphs/bigraph.sig
---- MLRISC/graphs/bigraph.sig	2000-06-01 14:33:07.000000000 -0400
-+++ MLRISC-mlton/graphs/bigraph.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/graphs/bigraph.sig	2000-06-01 11:33:07.000000000 -0700
++++ MLRISC-mlton/graphs/bigraph.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -9,8 +9,7 @@
  
     include GRAPH
@@ -1708,8 +1717,8 @@
  end
  
 diff -Naur MLRISC/graphs/digraph.sml MLRISC-mlton/graphs/digraph.sml
---- MLRISC/graphs/digraph.sml	2003-09-05 17:34:24.000000000 -0400
-+++ MLRISC-mlton/graphs/digraph.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/graphs/digraph.sml	2003-09-05 14:34:24.000000000 -0700
++++ MLRISC-mlton/graphs/digraph.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -7,7 +7,33 @@
   * -- Allen
   *)
@@ -1746,8 +1755,8 @@
  
      type 'e adjlist   = 'e Graph.edge list A.array
 diff -Naur MLRISC/graphs/graph.sig MLRISC-mlton/graphs/graph.sig
---- MLRISC/graphs/graph.sig	2002-03-01 16:05:07.000000000 -0500
-+++ MLRISC-mlton/graphs/graph.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/graphs/graph.sig	2002-03-01 13:05:07.000000000 -0800
++++ MLRISC-mlton/graphs/graph.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -25,8 +25,7 @@
     type 'n node = node_id * 'n 
     type 'e edge = node_id * node_id * 'e
@@ -1767,8 +1776,8 @@
  
           (* remove one edge i->j from graph *)
 diff -Naur MLRISC/hppa/backpatch/hppaDelaySlotProps.sml MLRISC-mlton/hppa/backpatch/hppaDelaySlotProps.sml
---- MLRISC/hppa/backpatch/hppaDelaySlotProps.sml	2001-12-06 21:45:27.000000000 -0500
-+++ MLRISC-mlton/hppa/backpatch/hppaDelaySlotProps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/backpatch/hppaDelaySlotProps.sml	2001-12-06 18:45:27.000000000 -0800
++++ MLRISC-mlton/hppa/backpatch/hppaDelaySlotProps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -4,7 +4,12 @@
  
  functor HppaDelaySlots
@@ -1809,8 +1818,8 @@
             delaySlotCandidate{jmp=i,delaySlot=delaySlot}
        | delaySlotCandidate{jmp,delaySlot=I.ANNOTATION{i,...}} = 
 diff -Naur MLRISC/hppa/backpatch/hppaJumps.sml MLRISC-mlton/hppa/backpatch/hppaJumps.sml
---- MLRISC/hppa/backpatch/hppaJumps.sml	2003-05-22 18:46:20.000000000 -0400
-+++ MLRISC-mlton/hppa/backpatch/hppaJumps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/backpatch/hppaJumps.sml	2003-05-22 15:46:20.000000000 -0700
++++ MLRISC-mlton/hppa/backpatch/hppaJumps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,10 +5,75 @@
   *)
  functor HppaJumps
@@ -1892,8 +1901,8 @@
  struct
    structure I = Instr
 diff -Naur MLRISC/hppa/emit/hppaAsm.sml MLRISC-mlton/hppa/emit/hppaAsm.sml
---- MLRISC/hppa/emit/hppaAsm.sml	2002-05-18 14:21:52.000000000 -0400
-+++ MLRISC-mlton/hppa/emit/hppaAsm.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/emit/hppaAsm.sml	2002-05-18 11:21:52.000000000 -0700
++++ MLRISC-mlton/hppa/emit/hppaAsm.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,12 +6,96 @@
  
  
@@ -1998,8 +2007,8 @@
  struct
     structure I  = Instr
 diff -Naur MLRISC/hppa/emit/hppaMC.sml MLRISC-mlton/hppa/emit/hppaMC.sml
---- MLRISC/hppa/emit/hppaMC.sml	2002-05-18 14:21:53.000000000 -0400
-+++ MLRISC-mlton/hppa/emit/hppaMC.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/emit/hppaMC.sml	2002-05-18 11:21:53.000000000 -0700
++++ MLRISC-mlton/hppa/emit/hppaMC.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,7 +6,27 @@
  
  
@@ -2038,8 +2047,8 @@
     
         fun doNothing _ = ()
 diff -Naur MLRISC/hppa/flowgraph/hppaGasPseudoOps.sml MLRISC-mlton/hppa/flowgraph/hppaGasPseudoOps.sml
---- MLRISC/hppa/flowgraph/hppaGasPseudoOps.sml	2001-11-21 13:41:50.000000000 -0500
-+++ MLRISC-mlton/hppa/flowgraph/hppaGasPseudoOps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/flowgraph/hppaGasPseudoOps.sml	2001-11-21 10:41:50.000000000 -0800
++++ MLRISC-mlton/hppa/flowgraph/hppaGasPseudoOps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -1,6 +1,26 @@
  functor HppaGasPseudoOps 
     ( structure T : MLTREE
@@ -2069,8 +2078,8 @@
  
  struct
 diff -Naur MLRISC/hppa/instructions/hppaInstr.sml MLRISC-mlton/hppa/instructions/hppaInstr.sml
---- MLRISC/hppa/instructions/hppaInstr.sml	2002-01-24 00:45:16.000000000 -0500
-+++ MLRISC-mlton/hppa/instructions/hppaInstr.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/instructions/hppaInstr.sml	2002-01-23 21:45:16.000000000 -0800
++++ MLRISC-mlton/hppa/instructions/hppaInstr.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -8,7 +8,16 @@
  signature HPPAINSTR =
  sig
@@ -2090,8 +2099,8 @@
     structure Constant: CONSTANT
     structure Region : REGION
 diff -Naur MLRISC/hppa/instructions/hppaProps.sml MLRISC-mlton/hppa/instructions/hppaProps.sml
---- MLRISC/hppa/instructions/hppaProps.sml	2003-05-22 18:46:20.000000000 -0400
-+++ MLRISC-mlton/hppa/instructions/hppaProps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/instructions/hppaProps.sml	2003-05-22 15:46:20.000000000 -0700
++++ MLRISC-mlton/hppa/instructions/hppaProps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,8 +6,48 @@
  
  functor HppaProps
@@ -2159,8 +2168,8 @@
      in
        case instr
 diff -Naur MLRISC/hppa/mltree/hppaMillicode.sig MLRISC-mlton/hppa/mltree/hppaMillicode.sig
---- MLRISC/hppa/mltree/hppaMillicode.sig	2001-07-19 16:35:14.000000000 -0400
-+++ MLRISC-mlton/hppa/mltree/hppaMillicode.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/mltree/hppaMillicode.sig	2001-07-19 13:35:14.000000000 -0700
++++ MLRISC-mlton/hppa/mltree/hppaMillicode.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -1,6 +1,15 @@
  signature HPPA_MILLICODE = sig
    structure I : HPPAINSTR
@@ -2179,8 +2188,8 @@
    val divu : {rs:CB.cell, rt:CB.cell, rd:CB.cell} -> I.instruction list
    val mulo : {rs:CB.cell, rt:CB.cell, rd:CB.cell} -> I.instruction list
 diff -Naur MLRISC/hppa/mltree/hppa.sml MLRISC-mlton/hppa/mltree/hppa.sml
---- MLRISC/hppa/mltree/hppa.sml	2004-11-17 16:07:34.000000000 -0500
-+++ MLRISC-mlton/hppa/mltree/hppa.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/hppa/mltree/hppa.sml	2004-11-17 13:07:34.000000000 -0800
++++ MLRISC-mlton/hppa/mltree/hppa.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -14,14 +14,106 @@
  
  functor Hppa
@@ -2393,8 +2402,8 @@
     fun error msg = MLRiscErrorMsg.error("Hppa",msg)
  
 diff -Naur MLRISC/instructions/insnProps.sig MLRISC-mlton/instructions/insnProps.sig
---- MLRISC/instructions/insnProps.sig	2002-03-11 22:56:22.000000000 -0500
-+++ MLRISC-mlton/instructions/insnProps.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/instructions/insnProps.sig	2002-03-11 19:56:22.000000000 -0800
++++ MLRISC-mlton/instructions/insnProps.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -7,7 +7,7 @@
  sig
     structure I : INSTRUCTIONS
@@ -2405,8 +2414,8 @@
        (* classify instructions *)
     datatype kind = IK_JUMP   (* branches, including returns *)
 diff -Naur MLRISC/instructions/instructions.sig MLRISC-mlton/instructions/instructions.sig
---- MLRISC/instructions/instructions.sig	2002-01-15 11:23:14.000000000 -0500
-+++ MLRISC-mlton/instructions/instructions.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/instructions/instructions.sig	2002-01-15 08:23:14.000000000 -0800
++++ MLRISC-mlton/instructions/instructions.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -8,7 +8,16 @@
  signature INSTRUCTIONS =
  sig
@@ -2426,8 +2435,8 @@
     type addressing_mode                        (* addressing mode *)
     type ea              (* effective address for accessing memory *)
 diff -Naur MLRISC/instructions/mlriscAnnotations.sig MLRISC-mlton/instructions/mlriscAnnotations.sig
---- MLRISC/instructions/mlriscAnnotations.sig	2002-03-01 09:07:58.000000000 -0500
-+++ MLRISC-mlton/instructions/mlriscAnnotations.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/instructions/mlriscAnnotations.sig	2002-03-01 06:07:58.000000000 -0800
++++ MLRISC-mlton/instructions/mlriscAnnotations.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -15,7 +15,16 @@
  signature MLRISC_ANNOTATIONS =
  sig
@@ -2447,8 +2456,8 @@
      (* 
       * The branch probability of conditional branches. 
 diff -Naur MLRISC/library/dynamic-array.sml MLRISC-mlton/library/dynamic-array.sml
---- MLRISC/library/dynamic-array.sml	2003-09-05 17:34:24.000000000 -0400
-+++ MLRISC-mlton/library/dynamic-array.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/library/dynamic-array.sml	2003-09-05 14:34:24.000000000 -0700
++++ MLRISC-mlton/library/dynamic-array.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,7 +5,33 @@
   *)
  
@@ -2485,8 +2494,8 @@
        val baseArray : 'a array -> 'a Array.array
        val checkArray: 'a array * 'a Array.array -> unit
 diff -Naur MLRISC/library/hash-array.sml MLRISC-mlton/library/hash-array.sml
---- MLRISC/library/hash-array.sml	2003-09-05 17:34:24.000000000 -0400
-+++ MLRISC-mlton/library/hash-array.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/library/hash-array.sml	2003-09-05 14:34:24.000000000 -0700
++++ MLRISC-mlton/library/hash-array.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,7 +5,33 @@
   *)
  
@@ -2523,8 +2532,8 @@
           val array'': int * (int -> 'a) -> 'a array
           val clear  : 'a array -> unit 
 diff -Naur MLRISC/mlb/ALPHA.mlb MLRISC-mlton/mlb/ALPHA.mlb
---- MLRISC/mlb/ALPHA.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/ALPHA.mlb	2006-05-02 23:01:12.000000000 -0400
+--- MLRISC/mlb/ALPHA.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/ALPHA.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,476 @@
 +
 +ann
@@ -3003,8 +3012,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/Control.mlb MLRISC-mlton/mlb/Control.mlb
---- MLRISC/mlb/Control.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/Control.mlb	2006-05-02 23:01:12.000000000 -0400
+--- MLRISC/mlb/Control.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/Control.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,104 @@
 +
 +ann
@@ -3111,8 +3120,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/Graphs.mlb MLRISC-mlton/mlb/Graphs.mlb
---- MLRISC/mlb/Graphs.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/Graphs.mlb	2006-05-02 23:01:12.000000000 -0400
+--- MLRISC/mlb/Graphs.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/Graphs.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,708 @@
 +
 +ann
@@ -3823,8 +3832,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/HPPA.mlb MLRISC-mlton/mlb/HPPA.mlb
---- MLRISC/mlb/HPPA.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/HPPA.mlb	2006-05-02 23:01:13.000000000 -0400
+--- MLRISC/mlb/HPPA.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/HPPA.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,494 @@
 +
 +ann
@@ -4321,8 +4330,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/IA32.mlb MLRISC-mlton/mlb/IA32.mlb
---- MLRISC/mlb/IA32.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/IA32.mlb	2006-05-02 23:01:13.000000000 -0400
+--- MLRISC/mlb/IA32.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/IA32.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,781 @@
 +
 +ann
@@ -5106,8 +5115,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/IA32-Peephole.mlb MLRISC-mlton/mlb/IA32-Peephole.mlb
---- MLRISC/mlb/IA32-Peephole.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/IA32-Peephole.mlb	2006-05-02 23:01:13.000000000 -0400
+--- MLRISC/mlb/IA32-Peephole.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/IA32-Peephole.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,60 @@
 +
 +ann
@@ -5170,8 +5179,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/Lib.mlb MLRISC-mlton/mlb/Lib.mlb
---- MLRISC/mlb/Lib.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/Lib.mlb	2006-05-02 23:01:14.000000000 -0400
+--- MLRISC/mlb/Lib.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/Lib.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,267 @@
 +
 +ann
@@ -5441,8 +5450,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/MLRISC.mlb MLRISC-mlton/mlb/MLRISC.mlb
---- MLRISC/mlb/MLRISC.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/MLRISC.mlb	2006-05-02 23:01:15.000000000 -0400
+--- MLRISC/mlb/MLRISC.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/MLRISC.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,1705 @@
 +
 +ann
@@ -7150,8 +7159,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/MLTREE.mlb MLRISC-mlton/mlb/MLTREE.mlb
---- MLRISC/mlb/MLTREE.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/MLTREE.mlb	2006-05-02 23:01:15.000000000 -0400
+--- MLRISC/mlb/MLTREE.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/MLTREE.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,213 @@
 +
 +ann
@@ -7367,8 +7376,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/Peephole.mlb MLRISC-mlton/mlb/Peephole.mlb
---- MLRISC/mlb/Peephole.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/Peephole.mlb	2006-05-02 23:01:15.000000000 -0400
+--- MLRISC/mlb/Peephole.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/Peephole.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,61 @@
 +
 +ann
@@ -7432,8 +7441,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/PPC.mlb MLRISC-mlton/mlb/PPC.mlb
---- MLRISC/mlb/PPC.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/PPC.mlb	2006-05-02 23:01:15.000000000 -0400
+--- MLRISC/mlb/PPC.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/PPC.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,575 @@
 +
 +ann
@@ -8011,8 +8020,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/RA.mlb MLRISC-mlton/mlb/RA.mlb
---- MLRISC/mlb/RA.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/RA.mlb	2006-05-02 23:01:16.000000000 -0400
+--- MLRISC/mlb/RA.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/RA.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,152 @@
 +
 +ann
@@ -8167,8 +8176,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/SPARC.mlb MLRISC-mlton/mlb/SPARC.mlb
---- MLRISC/mlb/SPARC.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/SPARC.mlb	2006-05-02 23:01:16.000000000 -0400
+--- MLRISC/mlb/SPARC.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/SPARC.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,540 @@
 +
 +ann
@@ -8711,8 +8720,8 @@
 +
 +end
 diff -Naur MLRISC/mlb/Visual.mlb MLRISC-mlton/mlb/Visual.mlb
---- MLRISC/mlb/Visual.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlb/Visual.mlb	2006-05-02 23:01:16.000000000 -0400
+--- MLRISC/mlb/Visual.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlb/Visual.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,252 @@
 +
 +ann
@@ -8967,8 +8976,8 @@
 +
 +end
 diff -Naur MLRISC/mlrisc-lib.mlb MLRISC-mlton/mlrisc-lib.mlb
---- MLRISC/mlrisc-lib.mlb	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/mlrisc-lib.mlb	2006-05-02 23:01:16.000000000 -0400
+--- MLRISC/mlrisc-lib.mlb	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/mlrisc-lib.mlb	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,17 @@
 +(* DO NOT USE.  Only suitable for type-checking purposes. *)
 +local
@@ -8988,8 +8997,8 @@
 +mlb/Visual.mlb
 +in end
 diff -Naur MLRISC/mltree/instr-gen.sig MLRISC-mlton/mltree/instr-gen.sig
---- MLRISC/mltree/instr-gen.sig	2001-08-24 13:48:49.000000000 -0400
-+++ MLRISC-mlton/mltree/instr-gen.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/instr-gen.sig	2001-08-24 10:48:49.000000000 -0700
++++ MLRISC-mlton/mltree/instr-gen.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -8,8 +8,29 @@
     structure S   : INSTRUCTION_STREAM
     structure CFG : CONTROL_FLOW_GRAPH 
@@ -9023,8 +9032,8 @@
     (* 
      * This function creates an instruction stream, which can be 
 diff -Naur MLRISC/mltree/instr-gen.sml MLRISC-mlton/mltree/instr-gen.sml
---- MLRISC/mltree/instr-gen.sml	2001-09-19 15:31:18.000000000 -0400
-+++ MLRISC-mlton/mltree/instr-gen.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/instr-gen.sml	2001-09-19 12:31:18.000000000 -0700
++++ MLRISC-mlton/mltree/instr-gen.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -4,9 +4,33 @@
  functor InstrGen
     (structure I      : INSTRUCTIONS
@@ -9063,8 +9072,8 @@
  struct
     structure C   = I.C
 diff -Naur MLRISC/mltree/mltreecomp.sig MLRISC-mlton/mltree/mltreecomp.sig
---- MLRISC/mltree/mltreecomp.sig	2001-11-21 14:00:04.000000000 -0500
-+++ MLRISC-mlton/mltree/mltreecomp.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltreecomp.sig	2001-11-21 11:00:04.000000000 -0800
++++ MLRISC-mlton/mltree/mltreecomp.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -9,11 +9,56 @@
  signature MLTREE_EXTENSION_COMP =
  sig
@@ -9187,8 +9196,8 @@
     type instrStream = (I.instruction, I.C.cellset, CFG.cfg) TS.stream  
     type mltreeStream = (TS.T.stm, TS.T.mlrisc list, CFG.cfg) TS.stream 
 diff -Naur MLRISC/mltree/mltree-gen.sig MLRISC-mlton/mltree/mltree-gen.sig
---- MLRISC/mltree/mltree-gen.sig	2001-09-19 15:31:18.000000000 -0400
-+++ MLRISC-mlton/mltree/mltree-gen.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltree-gen.sig	2001-09-19 12:31:18.000000000 -0700
++++ MLRISC-mlton/mltree/mltree-gen.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -9,8 +9,27 @@
  sig
  
@@ -9220,8 +9229,8 @@
     val condOf : T.ccexp -> T.Basis.cond
     val fcondOf : T.ccexp -> T.Basis.fcond
 diff -Naur MLRISC/mltree/mltree-mult.sig MLRISC-mlton/mltree/mltree-mult.sig
---- MLRISC/mltree/mltree-mult.sig	2001-09-19 15:31:18.000000000 -0400
-+++ MLRISC-mlton/mltree/mltree-mult.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltree-mult.sig	2001-09-19 12:31:18.000000000 -0700
++++ MLRISC-mlton/mltree/mltree-mult.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -8,7 +8,7 @@
  
     structure T : MLTREE
@@ -9232,8 +9241,8 @@
     exception TooComplex
  
 diff -Naur MLRISC/mltree/mltree-mult.sml MLRISC-mlton/mltree/mltree-mult.sml
---- MLRISC/mltree/mltree-mult.sml	2003-08-28 17:58:47.000000000 -0400
-+++ MLRISC-mlton/mltree/mltree-mult.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltree-mult.sml	2003-08-28 14:58:47.000000000 -0700
++++ MLRISC-mlton/mltree/mltree-mult.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -8,7 +8,16 @@
    (structure I : INSTRUCTIONS
     structure T : MLTREE
@@ -9275,8 +9284,8 @@
  struct
     structure T = T 
 diff -Naur MLRISC/mltree/mltree.sig MLRISC-mlton/mltree/mltree.sig
---- MLRISC/mltree/mltree.sig	2002-03-29 14:09:46.000000000 -0500
-+++ MLRISC-mlton/mltree/mltree.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltree.sig	2002-03-29 11:09:46.000000000 -0800
++++ MLRISC-mlton/mltree/mltree.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -30,6 +30,10 @@
     * extension type.  Unfortunately, this has to be made polymorphic to make
     * it possible for recursive type definitions to work.
@@ -9344,8 +9353,8 @@
     * Useful type abbreviations for working for MLTree.
     *)
 diff -Naur MLRISC/mltree/mltree-simplify.in MLRISC-mlton/mltree/mltree-simplify.in
---- MLRISC/mltree/mltree-simplify.in	2002-03-29 14:09:45.000000000 -0500
-+++ MLRISC-mlton/mltree/mltree-simplify.in	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltree-simplify.in	2002-03-29 11:09:45.000000000 -0800
++++ MLRISC-mlton/mltree/mltree-simplify.in	2006-10-25 16:55:11.000000000 -0700
 @@ -14,8 +14,27 @@
  
  functor MLTreeSimplifier
@@ -9377,8 +9386,8 @@
     val sext : T.rewriter -> T.sext -> T.sext
     val rext : T.rewriter -> T.rext -> T.rext
 diff -Naur MLRISC/mltree/mltree-simplify.sml MLRISC-mlton/mltree/mltree-simplify.sml
---- MLRISC/mltree/mltree-simplify.sml	2002-03-29 14:09:45.000000000 -0500
-+++ MLRISC-mlton/mltree/mltree-simplify.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltree-simplify.sml	2002-03-29 11:09:45.000000000 -0800
++++ MLRISC-mlton/mltree/mltree-simplify.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -9,7 +9,27 @@
                           structure T : MLTREE
  
@@ -9409,8 +9418,8 @@
  (*#line 20.4 "mltree-simplify.in"*)
                           val sext : T.rewriter -> T.sext -> T.sext
 diff -Naur MLRISC/mltree/mltree.sml MLRISC-mlton/mltree/mltree.sml
---- MLRISC/mltree/mltree.sml	2003-09-17 17:28:39.000000000 -0400
-+++ MLRISC-mlton/mltree/mltree.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltree.sml	2003-09-17 14:28:39.000000000 -0700
++++ MLRISC-mlton/mltree/mltree.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -32,6 +32,10 @@
     * extension type.  Unfortunately, this has to be made polymorphic to make
     * it possible for recursive type definitions to work.
@@ -9435,8 +9444,8 @@
         and fext   = (stm, rexp, fexp, ccexp) Extension.fx
         and ccext  = (stm, rexp, fexp, ccexp) Extension.ccx
 diff -Naur MLRISC/mltree/mltree-utils.sml MLRISC-mlton/mltree/mltree-utils.sml
---- MLRISC/mltree/mltree-utils.sml	2004-10-30 12:02:13.000000000 -0400
-+++ MLRISC-mlton/mltree/mltree-utils.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/mltree/mltree-utils.sml	2004-10-30 09:02:13.000000000 -0700
++++ MLRISC-mlton/mltree/mltree-utils.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -518,9 +518,10 @@
  
        and oper(T.OPER{name,...}) = name 
@@ -9452,8 +9461,8 @@
  
        and slices sc = listify' (fn (from,to) => i2s from^".."^i2s to) sc
 diff -Naur MLRISC/omit-frameptr/omit-frame-pointer.sig MLRISC-mlton/omit-frameptr/omit-frame-pointer.sig
---- MLRISC/omit-frameptr/omit-frame-pointer.sig	2001-09-19 15:31:18.000000000 -0400
-+++ MLRISC-mlton/omit-frameptr/omit-frame-pointer.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/omit-frameptr/omit-frame-pointer.sig	2001-09-19 12:31:18.000000000 -0700
++++ MLRISC-mlton/omit-frameptr/omit-frame-pointer.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -2,7 +2,12 @@
  
  signature OMIT_FRAME_POINTER = sig
@@ -9469,8 +9478,8 @@
    (* idelta is the intial displacement between the fp and sp. *)
    val omitframeptr : {vfp:CellsBasis.cell, idelta:Int32.int option, cfg:CFG.cfg} -> unit
 diff -Naur MLRISC/ppc/backpatch/ppcDelaySlots.sml MLRISC-mlton/ppc/backpatch/ppcDelaySlots.sml
---- MLRISC/ppc/backpatch/ppcDelaySlots.sml	2000-12-07 23:11:36.000000000 -0500
-+++ MLRISC-mlton/ppc/backpatch/ppcDelaySlots.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/backpatch/ppcDelaySlots.sml	2000-12-07 20:11:36.000000000 -0800
++++ MLRISC-mlton/ppc/backpatch/ppcDelaySlots.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,8 +5,12 @@
  
  
@@ -9487,8 +9496,8 @@
  struct
     structure I = I
 diff -Naur MLRISC/ppc/backpatch/ppcJumps.sml MLRISC-mlton/ppc/backpatch/ppcJumps.sml
---- MLRISC/ppc/backpatch/ppcJumps.sml	2004-09-24 17:21:31.000000000 -0400
-+++ MLRISC-mlton/ppc/backpatch/ppcJumps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/backpatch/ppcJumps.sml	2004-09-24 14:21:31.000000000 -0700
++++ MLRISC-mlton/ppc/backpatch/ppcJumps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -1,7 +1,70 @@
  functor PPCJumps 
    (structure Instr: PPCINSTR
@@ -9608,8 +9617,8 @@
  	 | I.ROTATEI{sh, ...} => error "sdiSize:ROTATE"
  	 | I.COMPARE{cmp, rb, ...} => 
 diff -Naur MLRISC/ppc/c-calls/ppc-macosx.sml MLRISC-mlton/ppc/c-calls/ppc-macosx.sml
---- MLRISC/ppc/c-calls/ppc-macosx.sml	2005-02-10 18:53:53.000000000 -0500
-+++ MLRISC-mlton/ppc/c-calls/ppc-macosx.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/c-calls/ppc-macosx.sml	2005-02-10 15:53:53.000000000 -0800
++++ MLRISC-mlton/ppc/c-calls/ppc-macosx.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -277,7 +277,9 @@
  		      assignFPR (tys, offset, availGPRs, availFPRs, layout)
  		  | CTy.C_long_double =>
@@ -9632,8 +9641,8 @@
  		    "unknown calling convention \"",
  		    String.toString conv, "\""
 diff -Naur MLRISC/ppc/emit/ppcAsm.sml MLRISC-mlton/ppc/emit/ppcAsm.sml
---- MLRISC/ppc/emit/ppcAsm.sml	2004-08-05 18:19:44.000000000 -0400
-+++ MLRISC-mlton/ppc/emit/ppcAsm.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/emit/ppcAsm.sml	2004-08-05 15:19:44.000000000 -0700
++++ MLRISC-mlton/ppc/emit/ppcAsm.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,12 +6,92 @@
  
  
@@ -9734,8 +9743,8 @@
  struct
     structure I  = Instr
 diff -Naur MLRISC/ppc/emit/ppcMC.sml MLRISC-mlton/ppc/emit/ppcMC.sml
---- MLRISC/ppc/emit/ppcMC.sml	2004-08-05 18:19:44.000000000 -0400
-+++ MLRISC-mlton/ppc/emit/ppcMC.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/emit/ppcMC.sml	2004-08-05 15:19:44.000000000 -0700
++++ MLRISC-mlton/ppc/emit/ppcMC.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,7 +6,27 @@
  
  
@@ -9814,8 +9823,8 @@
                    rc=Rc}
               )
 diff -Naur MLRISC/ppc/flowgraph/ppcDarwinPseudoOps.sml MLRISC-mlton/ppc/flowgraph/ppcDarwinPseudoOps.sml
---- MLRISC/ppc/flowgraph/ppcDarwinPseudoOps.sml	2003-05-22 18:46:21.000000000 -0400
-+++ MLRISC-mlton/ppc/flowgraph/ppcDarwinPseudoOps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/flowgraph/ppcDarwinPseudoOps.sml	2003-05-22 15:46:21.000000000 -0700
++++ MLRISC-mlton/ppc/flowgraph/ppcDarwinPseudoOps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -7,7 +7,27 @@
  
  functor PPCDarwinPseudoOps (
@@ -9846,8 +9855,8 @@
  
      structure T = T
 diff -Naur MLRISC/ppc/flowgraph/ppcGasPseudoOps.sml MLRISC-mlton/ppc/flowgraph/ppcGasPseudoOps.sml
---- MLRISC/ppc/flowgraph/ppcGasPseudoOps.sml	2001-11-21 13:43:31.000000000 -0500
-+++ MLRISC-mlton/ppc/flowgraph/ppcGasPseudoOps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/flowgraph/ppcGasPseudoOps.sml	2001-11-21 10:43:31.000000000 -0800
++++ MLRISC-mlton/ppc/flowgraph/ppcGasPseudoOps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -1,7 +1,27 @@
  functor PPCGasPseudoOps 
     ( structure T : MLTREE
@@ -9879,8 +9888,8 @@
  struct
    structure T = T
 diff -Naur MLRISC/ppc/instructions/ppcCompInstrExt.sml MLRISC-mlton/ppc/instructions/ppcCompInstrExt.sml
---- MLRISC/ppc/instructions/ppcCompInstrExt.sml	2004-08-06 16:38:57.000000000 -0400
-+++ MLRISC-mlton/ppc/instructions/ppcCompInstrExt.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/instructions/ppcCompInstrExt.sml	2004-08-06 13:38:57.000000000 -0700
++++ MLRISC-mlton/ppc/instructions/ppcCompInstrExt.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -9,11 +9,54 @@
  signature PPCCOMP_INSTR_EXT =
    sig
@@ -10003,8 +10012,8 @@
  
      structure CFG = CFG
 diff -Naur MLRISC/ppc/instructions/ppcInstr.sml MLRISC-mlton/ppc/instructions/ppcInstr.sml
---- MLRISC/ppc/instructions/ppcInstr.sml	2004-07-14 14:38:08.000000000 -0400
-+++ MLRISC-mlton/ppc/instructions/ppcInstr.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/instructions/ppcInstr.sml	2004-07-14 11:38:08.000000000 -0700
++++ MLRISC-mlton/ppc/instructions/ppcInstr.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -8,7 +8,16 @@
  signature PPCINSTR =
  sig
@@ -10024,8 +10033,8 @@
     structure Constant: CONSTANT
     structure Region : REGION
 diff -Naur MLRISC/ppc/instructions/ppcProps.sml MLRISC-mlton/ppc/instructions/ppcProps.sml
---- MLRISC/ppc/instructions/ppcProps.sml	2004-07-13 15:05:29.000000000 -0400
-+++ MLRISC-mlton/ppc/instructions/ppcProps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/instructions/ppcProps.sml	2004-07-13 12:05:29.000000000 -0700
++++ MLRISC-mlton/ppc/instructions/ppcProps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,8 +5,48 @@
  
  functor PPCProps
@@ -10078,8 +10087,8 @@
  struct
    structure I = PPCInstr
 diff -Naur MLRISC/ppc/mltree/ppc.sml MLRISC-mlton/ppc/mltree/ppc.sml
---- MLRISC/ppc/mltree/ppc.sml	2004-12-13 15:09:39.000000000 -0500
-+++ MLRISC-mlton/ppc/mltree/ppc.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ppc/mltree/ppc.sml	2004-12-13 12:09:39.000000000 -0800
++++ MLRISC-mlton/ppc/mltree/ppc.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -10,10 +10,76 @@
  
  functor PPC
@@ -10347,8 +10356,8 @@
                    val (opndA, opndB) = opnds(e1, e2)
                    val l  = case ty of
 diff -Naur MLRISC/ra/arch-spill-instr.sig MLRISC-mlton/ra/arch-spill-instr.sig
---- MLRISC/ra/arch-spill-instr.sig	2002-01-24 00:45:17.000000000 -0500
-+++ MLRISC-mlton/ra/arch-spill-instr.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/arch-spill-instr.sig	2002-01-23 21:45:17.000000000 -0800
++++ MLRISC-mlton/ra/arch-spill-instr.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -10,7 +10,16 @@
   *)
  signature ARCH_SPILL_INSTR = sig
@@ -10368,8 +10377,8 @@
    val spillToEA :
        CB.cellkind ->
 diff -Naur MLRISC/ra/chaitin-spillheur2.sml MLRISC-mlton/ra/chaitin-spillheur2.sml
---- MLRISC/ra/chaitin-spillheur2.sml	2002-03-21 17:01:10.000000000 -0500
-+++ MLRISC-mlton/ra/chaitin-spillheur2.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/chaitin-spillheur2.sml	2002-03-21 14:01:10.000000000 -0800
++++ MLRISC-mlton/ra/chaitin-spillheur2.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -35,7 +35,35 @@
            | moveSavings(NODE{movelist, ...}) = 
              let fun loop([], savings) = 
@@ -10408,8 +10417,8 @@
                      let fun add(c,[]) = [(c,cost)]
                            | add(c,(x as (c':int,s))::savings) =
 diff -Naur MLRISC/ra/chow-hennessy-spillheur2.sml MLRISC-mlton/ra/chow-hennessy-spillheur2.sml
---- MLRISC/ra/chow-hennessy-spillheur2.sml	2002-03-21 17:01:10.000000000 -0500
-+++ MLRISC-mlton/ra/chow-hennessy-spillheur2.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/chow-hennessy-spillheur2.sml	2002-03-21 14:01:10.000000000 -0800
++++ MLRISC-mlton/ra/chow-hennessy-spillheur2.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -32,7 +32,35 @@
            | moveSavings(NODE{movelist, ...}) = 
              let fun loop([], savings) = 
@@ -10448,8 +10457,8 @@
                      let fun add(c,[]) = [(c,cost)]
                            | add(c,(x as (c':int,s))::savings) =
 diff -Naur MLRISC/ra/cluster-ra.sml MLRISC-mlton/ra/cluster-ra.sml
---- MLRISC/ra/cluster-ra.sml	2002-09-26 15:06:50.000000000 -0400
-+++ MLRISC-mlton/ra/cluster-ra.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/cluster-ra.sml	2002-09-26 12:06:50.000000000 -0700
++++ MLRISC-mlton/ra/cluster-ra.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -14,13 +14,45 @@
  
  functor ClusterRA
@@ -10504,8 +10513,8 @@
  struct
     structure CFG    = Flowgraph
 diff -Naur MLRISC/ra/mem-ra.sml MLRISC-mlton/ra/mem-ra.sml
---- MLRISC/ra/mem-ra.sml	2002-03-07 16:16:25.000000000 -0500
-+++ MLRISC-mlton/ra/mem-ra.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/mem-ra.sml	2002-03-07 13:16:25.000000000 -0800
++++ MLRISC-mlton/ra/mem-ra.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -51,7 +51,9 @@
        fun collectMoves([], mv') = mv'
  	| collectMoves(NODE{movelist, color, ...}::ns, mv') = let
@@ -10551,8 +10560,8 @@
                   moveSavings(mvs, pinned, total)
              | moveSavings(MV{dst, src, cost, ...}::mvs, pinned, total) =
 diff -Naur MLRISC/ra/ra-core.sig MLRISC-mlton/ra/ra-core.sig
---- MLRISC/ra/ra-core.sig	2002-03-07 16:04:12.000000000 -0500
-+++ MLRISC-mlton/ra/ra-core.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-core.sig	2002-03-07 13:04:12.000000000 -0800
++++ MLRISC-mlton/ra/ra-core.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -11,7 +11,26 @@
  signature RA_CORE = 
  sig
@@ -10582,8 +10591,8 @@
     structure MV : RA_PRIORITY_QUEUE where type elem = G.move
     structure FZ : RA_PRIORITY_QUEUE where type elem = G.node
 diff -Naur MLRISC/ra/ra-core.sml MLRISC-mlton/ra/ra-core.sml
---- MLRISC/ra/ra-core.sml	2002-03-07 16:16:25.000000000 -0500
-+++ MLRISC-mlton/ra/ra-core.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-core.sml	2002-03-07 13:16:25.000000000 -0800
++++ MLRISC-mlton/ra/ra-core.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -163,7 +163,15 @@
    fun dumpGraph(G as G.GRAPH{nodes, showReg, K,...}) stream =
    let fun pr s = TextIO.output(stream, s)
@@ -10693,8 +10702,8 @@
                    let val src as NODE{number=s,...} = chase src
                        val other = if s = number then chase dst else src 
 diff -Naur MLRISC/ra/ra-deadCodeE.sml MLRISC-mlton/ra/ra-deadCodeE.sml
---- MLRISC/ra/ra-deadCodeE.sml	2001-10-11 23:54:43.000000000 -0400
-+++ MLRISC-mlton/ra/ra-deadCodeE.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-deadCodeE.sml	2001-10-11 20:54:43.000000000 -0700
++++ MLRISC-mlton/ra/ra-deadCodeE.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,9 +6,9 @@
   * -- Allen
   *)
@@ -10709,8 +10718,8 @@
        (* Dead registers are stored here. *)
      val deadRegs : bool IntHashTable.hash_table 
 diff -Naur MLRISC/ra/ra-flowgraph.sig MLRISC-mlton/ra/ra-flowgraph.sig
---- MLRISC/ra/ra-flowgraph.sig	2002-03-07 16:04:12.000000000 -0500
-+++ MLRISC-mlton/ra/ra-flowgraph.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-flowgraph.sig	2002-03-07 13:04:12.000000000 -0800
++++ MLRISC-mlton/ra/ra-flowgraph.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -12,10 +12,34 @@
  
     structure I     : INSTRUCTIONS
@@ -10750,8 +10759,8 @@
     type flowgraph
  
 diff -Naur MLRISC/ra/ra-graph.sig MLRISC-mlton/ra/ra-graph.sig
---- MLRISC/ra/ra-graph.sig	2002-03-07 16:04:12.000000000 -0500
-+++ MLRISC-mlton/ra/ra-graph.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-graph.sig	2002-03-07 13:04:12.000000000 -0800
++++ MLRISC-mlton/ra/ra-graph.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -11,7 +11,10 @@
  sig
  
@@ -10765,8 +10774,8 @@
     * The following are the data structures used in the register allocator.
     *)
 diff -Naur MLRISC/ra/ra.sig MLRISC-mlton/ra/ra.sig
---- MLRISC/ra/ra.sig	2001-07-19 16:35:16.000000000 -0400
-+++ MLRISC-mlton/ra/ra.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra.sig	2001-07-19 13:35:16.000000000 -0700
++++ MLRISC-mlton/ra/ra.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -9,9 +9,23 @@
     structure I : INSTRUCTIONS
     structure C : CELLS
@@ -10795,8 +10804,8 @@
     type getreg = { pref  : CB.cell_id list,
                     stamp : int, 
 diff -Naur MLRISC/ra/ra.sml MLRISC-mlton/ra/ra.sml
---- MLRISC/ra/ra.sml	2002-03-07 16:16:25.000000000 -0500
-+++ MLRISC-mlton/ra/ra.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra.sml	2002-03-07 13:16:25.000000000 -0800
++++ MLRISC-mlton/ra/ra.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -37,9 +37,10 @@
   * -- Allen Leung (le...@cs...)
   *)
@@ -10812,8 +10821,8 @@
  
     structure F      = Flowgraph
 diff -Naur MLRISC/ra/ra-spillheur.sig MLRISC-mlton/ra/ra-spillheur.sig
---- MLRISC/ra/ra-spillheur.sig	2000-06-01 14:33:11.000000000 -0400
-+++ MLRISC-mlton/ra/ra-spillheur.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-spillheur.sig	2000-06-01 11:33:11.000000000 -0700
++++ MLRISC-mlton/ra/ra-spillheur.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -3,7 +3,26 @@
   *)
  signature RA_SPILL_HEURISTICS =
@@ -10843,8 +10852,8 @@
     exception NoCandidate
  
 diff -Naur MLRISC/ra/ra-spill.sig MLRISC-mlton/ra/ra-spill.sig
---- MLRISC/ra/ra-spill.sig	2002-01-24 00:45:17.000000000 -0500
-+++ MLRISC-mlton/ra/ra-spill.sig	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-spill.sig	2002-01-23 21:45:17.000000000 -0800
++++ MLRISC-mlton/ra/ra-spill.sig	2006-10-25 16:55:11.000000000 -0700
 @@ -7,11 +7,39 @@
  sig
  
@@ -10889,8 +10898,8 @@
            (CB.cell list * CB.cell list) * I.instruction -> I.instruction list
  
 diff -Naur MLRISC/ra/ra-spill.sml MLRISC-mlton/ra/ra-spill.sml
---- MLRISC/ra/ra-spill.sml	2002-08-06 09:33:17.000000000 -0400
-+++ MLRISC-mlton/ra/ra-spill.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-spill.sml	2002-08-06 06:33:17.000000000 -0700
++++ MLRISC-mlton/ra/ra-spill.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -48,18 +48,17 @@
   * -- Allen
   *)
@@ -10924,8 +10933,8 @@
 -
 -end (* local *)
 diff -Naur MLRISC/ra/ra-spill-with-renaming.sml MLRISC-mlton/ra/ra-spill-with-renaming.sml
---- MLRISC/ra/ra-spill-with-renaming.sml	2001-10-11 23:54:43.000000000 -0400
-+++ MLRISC-mlton/ra/ra-spill-with-renaming.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/ra-spill-with-renaming.sml	2001-10-11 20:54:43.000000000 -0700
++++ MLRISC-mlton/ra/ra-spill-with-renaming.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -79,16 +79,14 @@
   * -- Allen
   *)
@@ -10964,8 +10973,8 @@
 -
 -end (* local *)
 diff -Naur MLRISC/ra/region-based-ra.sml MLRISC-mlton/ra/region-based-ra.sml
---- MLRISC/ra/region-based-ra.sml	2002-03-07 16:16:25.000000000 -0500
-+++ MLRISC-mlton/ra/region-based-ra.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/region-based-ra.sml	2002-03-07 13:16:25.000000000 -0800
++++ MLRISC-mlton/ra/region-based-ra.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -4,10 +4,10 @@
   * it into manageable pieces to be allocated.
   *)
@@ -10981,8 +10990,8 @@
  struct
  
 diff -Naur MLRISC/ra/risc-ra.sml MLRISC-mlton/ra/risc-ra.sml
---- MLRISC/ra/risc-ra.sml	2003-05-22 18:46:22.000000000 -0400
-+++ MLRISC-mlton/ra/risc-ra.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/ra/risc-ra.sml	2003-05-22 15:46:22.000000000 -0700
++++ MLRISC-mlton/ra/risc-ra.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -4,18 +4,58 @@
   * This works well for RISC machines; but not applicable to x86.
   *)
@@ -11081,8 +11090,8 @@
             structure Asm = Asm
             structure InsnProps = InsnProps
 diff -Naur MLRISC/README.mlton MLRISC-mlton/README.mlton
---- MLRISC/README.mlton	1969-12-31 19:00:00.000000000 -0500
-+++ MLRISC-mlton/README.mlton	2006-03-04 12:08:00.000000000 -0500
+--- MLRISC/README.mlton	1969-12-31 16:00:00.000000000 -0800
++++ MLRISC-mlton/README.mlton	2006-10-25 16:55:11.000000000 -0700
 @@ -0,0 +1,8 @@
 +The following changes were made to the MLRISC Library, in addition to
 +deriving the {{{.mlb}}} file from the {{{.cm}}} files:
@@ -11093,8 +11102,8 @@
 + * eliminate higher-order functors: Every higher-order functor definition and application could be uncurried in the obvious way.
 + * eliminate {{{where <str> = <str>}}}: Quite painful to expand out all the flexible types in the respective structures.  Furthermore, many of the implied type equalities aren't needed, but it's too hard to pick out the right ones.
 diff -Naur MLRISC/sparc/backpatch/sparcDelaySlotProps.sml MLRISC-mlton/sparc/backpatch/sparcDelaySlotProps.sml
---- MLRISC/sparc/backpatch/sparcDelaySlotProps.sml	2002-01-09 14:44:20.000000000 -0500
-+++ MLRISC-mlton/sparc/backpatch/sparcDelaySlotProps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/sparc/backpatch/sparcDelaySlotProps.sml	2002-01-09 11:44:20.000000000 -0800
++++ MLRISC-mlton/sparc/backpatch/sparcDelaySlotProps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -1,6 +1,11 @@
  functor SparcDelaySlots
     (structure I : SPARCINSTR
@@ -11130,8 +11139,8 @@
             delaySlotCandidate{jmp=i,delaySlot=delaySlot}
        | delaySlotCandidate{jmp,delaySlot=I.ANNOTATION{i,...}} = 
 diff -Naur MLRISC/sparc/backpatch/sparcJumps.sml MLRISC-mlton/sparc/backpatch/sparcJumps.sml
---- MLRISC/sparc/backpatch/sparcJumps.sml	2003-05-22 18:46:23.000000000 -0400
-+++ MLRISC-mlton/sparc/backpatch/sparcJumps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/sparc/backpatch/sparcJumps.sml	2003-05-22 15:46:23.000000000 -0700
++++ MLRISC-mlton/sparc/backpatch/sparcJumps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -5,8 +5,67 @@
   *)
  functor SparcJumps
@@ -11274,8 +11283,8 @@
  	| (I.Ticc{t,cc,r,i},12) =>
  	    expandImm(i,I.Ticc{t=t,cc=cc,r=r,i=I.REG C.asmTmpR})
 diff -Naur MLRISC/sparc/c-calls/sparc-c-calls.sml MLRISC-mlton/sparc/c-calls/sparc-c-calls.sml
---- MLRISC/sparc/c-calls/sparc-c-calls.sml	2004-07-28 17:06:59.000000000 -0400
-+++ MLRISC-mlton/sparc/c-calls/sparc-c-calls.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/sparc/c-calls/sparc-c-calls.sml	2004-07-28 14:06:59.000000000 -0700
++++ MLRISC-mlton/sparc/c-calls/sparc-c-calls.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -105,15 +105,21 @@
      fun roundup (i, a) = a * ((i + a - 1) div a)
  
@@ -11501,8 +11510,8 @@
  
  	val { save, restore } = saveRestoreDedicated defs
 diff -Naur MLRISC/sparc/emit/sparcAsm.sml MLRISC-mlton/sparc/emit/sparcAsm.sml
---- MLRISC/sparc/emit/sparcAsm.sml	2002-05-18 14:21:53.000000000 -0400
-+++ MLRISC-mlton/sparc/emit/sparcAsm.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/sparc/emit/sparcAsm.sml	2002-05-18 11:21:53.000000000 -0700
++++ MLRISC-mlton/sparc/emit/sparcAsm.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,12 +6,88 @@
  
  
@@ -11599,8 +11608,8 @@
  (*#line 466.21 "sparc/sparc.mdl"*)
                          val V9 : bool
 diff -Naur MLRISC/sparc/emit/sparcMC.sml MLRISC-mlton/sparc/emit/sparcMC.sml
---- MLRISC/sparc/emit/sparcMC.sml	2002-01-09 14:44:20.000000000 -0500
-+++ MLRISC-mlton/sparc/emit/sparcMC.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/sparc/emit/sparcMC.sml	2002-01-09 11:44:20.000000000 -0800
++++ MLRISC-mlton/sparc/emit/sparcMC.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -6,7 +6,27 @@
  
  
@@ -11639,8 +11648,8 @@
     
         fun doNothing _ = ()
 diff -Naur MLRISC/sparc/flowgraph/sparcGasPseudoOps.sml MLRISC-mlton/sparc/flowgraph/sparcGasPseudoOps.sml
---- MLRISC/sparc/flowgraph/sparcGasPseudoOps.sml	2001-11-21 13:44:20.000000000 -0500
-+++ MLRISC-mlton/sparc/flowgraph/sparcGasPseudoOps.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/sparc/flowgraph/sparcGasPseudoOps.sml	2001-11-21 10:44:20.000000000 -0800
++++ MLRISC-mlton/sparc/flowgraph/sparcGasPseudoOps.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -1,6 +1,26 @@
  functor SparcGasPseudoOps 
     ( structure T : MLTREE
@@ -11670,8 +11679,8 @@
  
  struct
 diff -Naur MLRISC/sparc/instructions/sparccomp-instr-ext.sml MLRISC-mlton/sparc/instructions/sparccomp-instr-ext.sml
---- MLRISC/sparc/instructions/sparccomp-instr-ext.sml	2001-12-06 21:45:29.000000000 -0500
-+++ MLRISC-mlton/sparc/instructions/sparccomp-instr-ext.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/sparc/instructions/sparccomp-instr-ext.sml	2001-12-06 18:45:29.000000000 -0800
++++ MLRISC-mlton/sparc/instructions/sparccomp-instr-ext.sml	2006-10-25 16:55:11.000000000 -0700
 @@ -7,12 +7,54 @@
   *)
  signature SPARCCOMP_INSTR_EXT = sig
@@ -11794,8 +11803,8 @@
  struct
      structure CFG = CFG
 diff -Naur MLRISC/sparc/instructions/sparcInstr.sml MLRISC-mlton/sparc/instructions/sparcInstr.sml
---- MLRISC/sparc/instructions/sparcInstr.sml	2002-01-24 00:45:17.000000000 -0500
-+++ MLRISC-mlton/sparc/instructions/sparcInstr.sml	2006-03-04 11:14:21.000000000 -0500
+--- MLRISC/sparc/instructions/sparcInstr.sml	2002-01-23 21:45...
 
[truncated message content]

[MLton-commit] r4776

From: Stephen W. <sw...@ml...> - 2006-10-25 17:12:18

Eliminated unnecessary "cd".

----------------------------------------------------------------------

U   mlton/trunk/bin/make-pdf-guide

----------------------------------------------------------------------

Modified: mlton/trunk/bin/make-pdf-guide
===================================================================
--- mlton/trunk/bin/make-pdf-guide	2006-10-25 22:21:03 UTC (rev 4775)
+++ mlton/trunk/bin/make-pdf-guide	2006-10-26 00:12:03 UTC (rev 4776)
@@ -132,6 +132,4 @@
 
 mv $pdf $src/doc/guide
 
-cd $dir
-
 rm -rf $tmp

[MLton-commit] r4775

From: Stephen W. <sw...@ml...> - 2006-10-25 15:48:41

Grabbed wiki.

----------------------------------------------------------------------

U   mlton/trunk/doc/guide/AST
U   mlton/trunk/doc/guide/AccessControl
U   mlton/trunk/doc/guide/AdmitsEquality
U   mlton/trunk/doc/guide/Alice
U   mlton/trunk/doc/guide/AllocateRegisters
U   mlton/trunk/doc/guide/AndreiFormiga
A   mlton/trunk/doc/guide/ArrayLiteral
U   mlton/trunk/doc/guide/BasisLibrary
U   mlton/trunk/doc/guide/Bug
U   mlton/trunk/doc/guide/Bugs20041109
A   mlton/trunk/doc/guide/Bugs20051202
U   mlton/trunk/doc/guide/CKitLibrary
A   mlton/trunk/doc/guide/CMinusMinus
U   mlton/trunk/doc/guide/CallGraph
U   mlton/trunk/doc/guide/CallingFromCToSML
U   mlton/trunk/doc/guide/CallingFromSMLToC
U   mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
U   mlton/trunk/doc/guide/ChrisClearwater
U   mlton/trunk/doc/guide/Chunkify
U   mlton/trunk/doc/guide/Closure
U   mlton/trunk/doc/guide/ClosureConvert
U   mlton/trunk/doc/guide/CommonArg
U   mlton/trunk/doc/guide/CommonBlock
U   mlton/trunk/doc/guide/CommonSubexp
U   mlton/trunk/doc/guide/CompilationManager
U   mlton/trunk/doc/guide/CompileTimeOptions
U   mlton/trunk/doc/guide/CompilerOverview
U   mlton/trunk/doc/guide/CompilerPassTemplate
A   mlton/trunk/doc/guide/CompilingWithSMLNJ
U   mlton/trunk/doc/guide/ConcurrentML
U   mlton/trunk/doc/guide/ConcurrentMLImplementation
U   mlton/trunk/doc/guide/ConstantPropagation
U   mlton/trunk/doc/guide/Contact
U   mlton/trunk/doc/guide/Contify
U   mlton/trunk/doc/guide/CoreML
U   mlton/trunk/doc/guide/CoreMLSimplify
U   mlton/trunk/doc/guide/CreatingPages
U   mlton/trunk/doc/guide/Credits
U   mlton/trunk/doc/guide/CrossCompiling
U   mlton/trunk/doc/guide/DeadCode
U   mlton/trunk/doc/guide/DeepFlatten
U   mlton/trunk/doc/guide/DefineTypeBeforeUse
U   mlton/trunk/doc/guide/DefinitionOfStandardML
U   mlton/trunk/doc/guide/Defunctorize
U   mlton/trunk/doc/guide/Developers
U   mlton/trunk/doc/guide/Development
U   mlton/trunk/doc/guide/Documentation
U   mlton/trunk/doc/guide/Drawbacks
U   mlton/trunk/doc/guide/Eclipse
U   mlton/trunk/doc/guide/EditingPages
U   mlton/trunk/doc/guide/Elaborate
U   mlton/trunk/doc/guide/Emacs
U   mlton/trunk/doc/guide/Enscript
U   mlton/trunk/doc/guide/EqualityType
U   mlton/trunk/doc/guide/EqualityTypeVariable
A   mlton/trunk/doc/guide/EtaExpansion
U   mlton/trunk/doc/guide/Experimental
U   mlton/trunk/doc/guide/FAQ
U   mlton/trunk/doc/guide/Features
U   mlton/trunk/doc/guide/FirstClassPolymorphism
A   mlton/trunk/doc/guide/Fixpoints
U   mlton/trunk/doc/guide/Flatten
A   mlton/trunk/doc/guide/Fold
A   mlton/trunk/doc/guide/Fold01N
U   mlton/trunk/doc/guide/ForLoops
U   mlton/trunk/doc/guide/ForeignFunctionInterface
U   mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax
U   mlton/trunk/doc/guide/ForeignFunctionInterfaceTypes
U   mlton/trunk/doc/guide/FrontEnd
U   mlton/trunk/doc/guide/FunctionalRecordUpdate
U   mlton/trunk/doc/guide/GarbageCollection
U   mlton/trunk/doc/guide/GenerativeDatatype
U   mlton/trunk/doc/guide/GenerativeException
U   mlton/trunk/doc/guide/Glade
U   mlton/trunk/doc/guide/Globalize
U   mlton/trunk/doc/guide/GnuMP
U   mlton/trunk/doc/guide/HaMLet
U   mlton/trunk/doc/guide/HenryCejtin
U   mlton/trunk/doc/guide/History
U   mlton/trunk/doc/guide/Home
U   mlton/trunk/doc/guide/HowProfilingWorks
U   mlton/trunk/doc/guide/Identifier
U   mlton/trunk/doc/guide/Immutable
U   mlton/trunk/doc/guide/ImperativeTypeVariable
U   mlton/trunk/doc/guide/ImplementExceptions
U   mlton/trunk/doc/guide/ImplementHandlers
U   mlton/trunk/doc/guide/ImplementProfiling
U   mlton/trunk/doc/guide/ImplementSuffix
U   mlton/trunk/doc/guide/Index
U   mlton/trunk/doc/guide/InfixingOperators
U   mlton/trunk/doc/guide/Inline
U   mlton/trunk/doc/guide/InsertLimitChecks
U   mlton/trunk/doc/guide/InsertSignalChecks
U   mlton/trunk/doc/guide/Installation
U   mlton/trunk/doc/guide/IntermediateLanguage
U   mlton/trunk/doc/guide/IntroduceLoops
U   mlton/trunk/doc/guide/JesperLouisAndersen
U   mlton/trunk/doc/guide/JohnnyAndersen
U   mlton/trunk/doc/guide/KnownCase
A   mlton/trunk/doc/guide/LLVM
A   mlton/trunk/doc/guide/LambdaCalculus
U   mlton/trunk/doc/guide/LambdaFree
U   mlton/trunk/doc/guide/LanguageChanges
U   mlton/trunk/doc/guide/Lazy
U   mlton/trunk/doc/guide/Libraries
U   mlton/trunk/doc/guide/License
U   mlton/trunk/doc/guide/LineDirective
U   mlton/trunk/doc/guide/LocalFlatten
U   mlton/trunk/doc/guide/LocalRef
U   mlton/trunk/doc/guide/LoopInvariant
U   mlton/trunk/doc/guide/ML
U   mlton/trunk/doc/guide/MLBasis
U   mlton/trunk/doc/guide/MLBasisAnnotationExamples
U   mlton/trunk/doc/guide/MLBasisAnnotations
U   mlton/trunk/doc/guide/MLBasisAvailableLibraries
U   mlton/trunk/doc/guide/MLBasisExamples
U   mlton/trunk/doc/guide/MLBasisPathMap
U   mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics
U   mlton/trunk/doc/guide/MLKit
U   mlton/trunk/doc/guide/MLNLFFI
U   mlton/trunk/doc/guide/MLNLFFIImplementation
A   mlton/trunk/doc/guide/MLRISCLibrary
U   mlton/trunk/doc/guide/MLj
A   mlton/trunk/doc/guide/MLmon
U   mlton/trunk/doc/guide/MLtonArray
U   mlton/trunk/doc/guide/MLtonBinIO
U   mlton/trunk/doc/guide/MLtonCont
U   mlton/trunk/doc/guide/MLtonExn
U   mlton/trunk/doc/guide/MLtonFinalizable
U   mlton/trunk/doc/guide/MLtonGC
U   mlton/trunk/doc/guide/MLtonIO
U   mlton/trunk/doc/guide/MLtonIntInf
U   mlton/trunk/doc/guide/MLtonItimer
U   mlton/trunk/doc/guide/MLtonPlatform
U   mlton/trunk/doc/guide/MLtonPointer
U   mlton/trunk/doc/guide/MLtonProcEnv
U   mlton/trunk/doc/guide/MLtonProcess
U   mlton/trunk/doc/guide/MLtonProfile
U   mlton/trunk/doc/guide/MLtonRandom
U   mlton/trunk/doc/guide/MLtonRlimit
U   mlton/trunk/doc/guide/MLtonRusage
U   mlton/trunk/doc/guide/MLtonSignal
U   mlton/trunk/doc/guide/MLtonSocket
U   mlton/trunk/doc/guide/MLtonStructure
U   mlton/trunk/doc/guide/MLtonSyslog
U   mlton/trunk/doc/guide/MLtonTextIO
U   mlton/trunk/doc/guide/MLtonThread
U   mlton/trunk/doc/guide/MLtonVector
U   mlton/trunk/doc/guide/MLtonWeak
U   mlton/trunk/doc/guide/MLtonWord
U   mlton/trunk/doc/guide/MLtonWorld
U   mlton/trunk/doc/guide/Machine
U   mlton/trunk/doc/guide/ManualPage
U   mlton/trunk/doc/guide/MatchCompilation
U   mlton/trunk/doc/guide/MatchCompile
U   mlton/trunk/doc/guide/MatthewFluet
U   mlton/trunk/doc/guide/MichaelNorrish
U   mlton/trunk/doc/guide/MikeThomas
U   mlton/trunk/doc/guide/MoinMoin
U   mlton/trunk/doc/guide/Monomorphise
U   mlton/trunk/doc/guide/MoscowML
U   mlton/trunk/doc/guide/Multi
U   mlton/trunk/doc/guide/Mutable
A   mlton/trunk/doc/guide/NumericLiteral
U   mlton/trunk/doc/guide/OCaml
U   mlton/trunk/doc/guide/ObjectOrientedProgramming
U   mlton/trunk/doc/guide/OpenGL
U   mlton/trunk/doc/guide/OperatorPrecedence
U   mlton/trunk/doc/guide/OptionalArguments
U   mlton/trunk/doc/guide/OrphanedPages
U   mlton/trunk/doc/guide/OtherSites
U   mlton/trunk/doc/guide/Overloading
U   mlton/trunk/doc/guide/PackedRepresentation
U   mlton/trunk/doc/guide/PageSize
U   mlton/trunk/doc/guide/ParallelMove
U   mlton/trunk/doc/guide/Performance
U   mlton/trunk/doc/guide/PhantomType
U   mlton/trunk/doc/guide/PlatformSpecificNotes
U   mlton/trunk/doc/guide/PolyEqual
U   mlton/trunk/doc/guide/PolyML
U   mlton/trunk/doc/guide/PolymorphicEquality
U   mlton/trunk/doc/guide/Polyvariance
U   mlton/trunk/doc/guide/Poplog
A   mlton/trunk/doc/guide/PortStatus
U   mlton/trunk/doc/guide/PortingMLton
U   mlton/trunk/doc/guide/PrecedenceParse
U   mlton/trunk/doc/guide/Printf
U   mlton/trunk/doc/guide/PrintfGentle
U   mlton/trunk/doc/guide/ProductType
U   mlton/trunk/doc/guide/Profiling
U   mlton/trunk/doc/guide/ProfilingAllocation
U   mlton/trunk/doc/guide/ProfilingCounts
U   mlton/trunk/doc/guide/ProfilingTheStack
U   mlton/trunk/doc/guide/ProfilingTime
U   mlton/trunk/doc/guide/Projects
U   mlton/trunk/doc/guide/Pronounce
U   mlton/trunk/doc/guide/PropertyList
U   mlton/trunk/doc/guide/RSSA
U   mlton/trunk/doc/guide/RSSAShrink
U   mlton/trunk/doc/guide/RSSASimplify
U   mlton/trunk/doc/guide/RayRacine
A   mlton/trunk/doc/guide/Reachability
U   mlton/trunk/doc/guide/Redundant
U   mlton/trunk/doc/guide/RedundantTests
U   mlton/trunk/doc/guide/RefFlatten
U   mlton/trunk/doc/guide/References
U   mlton/trunk/doc/guide/Regions
U   mlton/trunk/doc/guide/ReleaseChecklist
U   mlton/trunk/doc/guide/RemoveUnused
U   mlton/trunk/doc/guide/Restore
A   mlton/trunk/doc/guide/Roadmap
U   mlton/trunk/doc/guide/RunTimeOptions
U   mlton/trunk/doc/guide/RunningOnCygwin
U   mlton/trunk/doc/guide/RunningOnDarwin
U   mlton/trunk/doc/guide/RunningOnFreeBSD
U   mlton/trunk/doc/guide/RunningOnLinux
U   mlton/trunk/doc/guide/RunningOnMinGW
U   mlton/trunk/doc/guide/RunningOnNetBSD
U   mlton/trunk/doc/guide/RunningOnOpenBSD
U   mlton/trunk/doc/guide/RunningOnPowerPC
U   mlton/trunk/doc/guide/RunningOnSolaris
U   mlton/trunk/doc/guide/RunningOnSparc
U   mlton/trunk/doc/guide/SMLNET
U   mlton/trunk/doc/guide/SMLNJ
U   mlton/trunk/doc/guide/SMLNJDeviations
U   mlton/trunk/doc/guide/SMLNJLibrary
U   mlton/trunk/doc/guide/SMLofNJStructure
U   mlton/trunk/doc/guide/SSA
U   mlton/trunk/doc/guide/SSA2
U   mlton/trunk/doc/guide/SSA2Simplify
U   mlton/trunk/doc/guide/SSASimplify
U   mlton/trunk/doc/guide/SXML
U   mlton/trunk/doc/guide/SXMLShrink
U   mlton/trunk/doc/guide/SXMLSimplify
U   mlton/trunk/doc/guide/ScopeInference
U   mlton/trunk/doc/guide/SelfCompiling
U   mlton/trunk/doc/guide/Serialization
U   mlton/trunk/doc/guide/ShowBasis
A   mlton/trunk/doc/guide/ShowProf
U   mlton/trunk/doc/guide/Shrink
U   mlton/trunk/doc/guide/SimplifyTypes
U   mlton/trunk/doc/guide/Sources
U   mlton/trunk/doc/guide/SpaceSafety
A   mlton/trunk/doc/guide/Stabilizers
U   mlton/trunk/doc/guide/StandardML
U   mlton/trunk/doc/guide/StandardMLBooks
A   mlton/trunk/doc/guide/StandardMLGotchas
U   mlton/trunk/doc/guide/StandardMLHistory
U   mlton/trunk/doc/guide/StandardMLImplementations
U   mlton/trunk/doc/guide/StandardMLPortability
U   mlton/trunk/doc/guide/StandardMLTutorials
U   mlton/trunk/doc/guide/StephenWeeks
U   mlton/trunk/doc/guide/StyleGuide
U   mlton/trunk/doc/guide/Subversion
U   mlton/trunk/doc/guide/SureshJagannathan
U   mlton/trunk/doc/guide/Survey
U   mlton/trunk/doc/guide/SurveyDone
U   mlton/trunk/doc/guide/Swerve
U   mlton/trunk/doc/guide/SyntacticConventions
U   mlton/trunk/doc/guide/SystemInfo
U   mlton/trunk/doc/guide/TILT
U   mlton/trunk/doc/guide/Talk
U   mlton/trunk/doc/guide/TalkDiveIn
U   mlton/trunk/doc/guide/TalkFolkLore
U   mlton/trunk/doc/guide/TalkFromSMLTo
U   mlton/trunk/doc/guide/TalkHowHigherOrder
U   mlton/trunk/doc/guide/TalkHowModules
U   mlton/trunk/doc/guide/TalkHowPolymorphism
U   mlton/trunk/doc/guide/TalkMLtonApproach
U   mlton/trunk/doc/guide/TalkMLtonFeatures
U   mlton/trunk/doc/guide/TalkMLtonHistory
U   mlton/trunk/doc/guide/TalkStandardML
U   mlton/trunk/doc/guide/TalkTemplate
U   mlton/trunk/doc/guide/TalkWholeProgram
U   mlton/trunk/doc/guide/ToMachine
U   mlton/trunk/doc/guide/ToRSSA
U   mlton/trunk/doc/guide/ToSSA2
U   mlton/trunk/doc/guide/TomMurphy
U   mlton/trunk/doc/guide/TrustedGroup
U   mlton/trunk/doc/guide/TypeChecking
U   mlton/trunk/doc/guide/TypeConstructor
A   mlton/trunk/doc/guide/TypeIndexedValues
U   mlton/trunk/doc/guide/TypeVariableScope
U   mlton/trunk/doc/guide/Unicode
U   mlton/trunk/doc/guide/UniversalType
U   mlton/trunk/doc/guide/UnresolvedBugs
U   mlton/trunk/doc/guide/UnsafeStructure
U   mlton/trunk/doc/guide/Useless
U   mlton/trunk/doc/guide/Users
A   mlton/trunk/doc/guide/Utilities
U   mlton/trunk/doc/guide/ValueRestriction
A   mlton/trunk/doc/guide/VariableArityPolymorphism
U   mlton/trunk/doc/guide/Variant
U   mlton/trunk/doc/guide/VesaKarvonen
U   mlton/trunk/doc/guide/WantedPages
U   mlton/trunk/doc/guide/WebSite
U   mlton/trunk/doc/guide/WesleyTerpstra
U   mlton/trunk/doc/guide/WholeProgramOptimization
U   mlton/trunk/doc/guide/WikiMacros
U   mlton/trunk/doc/guide/WikiName
U   mlton/trunk/doc/guide/WikiTool
U   mlton/trunk/doc/guide/XML
U   mlton/trunk/doc/guide/XMLShrink
U   mlton/trunk/doc/guide/XMLSimplify
U   mlton/trunk/doc/guide/XMLSimplifyTypes
U   mlton/trunk/doc/guide/ZZZOrphanedPages
U   mlton/trunk/doc/guide/Zone
U   mlton/trunk/doc/guide/eXene
U   mlton/trunk/doc/guide/fxp
U   mlton/trunk/doc/guide/index.html
U   mlton/trunk/doc/guide/mGTK

----------------------------------------------------------------------

Modified: mlton/trunk/doc/guide/AST
===================================================================
--- mlton/trunk/doc/guide/AST	2006-10-25 15:18:52 UTC (rev 4774)
+++ mlton/trunk/doc/guide/AST	2006-10-25 22:21:03 UTC (rev 4775)
@@ -18,6 +18,12 @@
 
 <body lang="en" dir="ltr">
 
+<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
+</script>
+<script type="text/javascript">
+_uacct = "UA-833377-1";
+urchinTracker();
+</script>
 <table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
   <tr>
     <td style = "
@@ -25,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20051202</a>
+      <a class = mltona href="Home">MLton 20061025</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -55,22 +61,22 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 The AST <a href="IntermediateLanguage">IntermediateLanguage</a> has no independent type checker. Type inference is performed on an AST program as part of <a href="Elaborate">Elaborate</a>. 

Modified: mlton/trunk/doc/guide/AccessControl
===================================================================
--- mlton/trunk/doc/guide/AccessControl	2006-10-25 15:18:52 UTC (rev 4774)
+++ mlton/trunk/doc/guide/AccessControl	2006-10-25 22:21:03 UTC (rev 4775)
@@ -18,6 +18,12 @@
 
 <body lang="en" dir="ltr">
 
+<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
+</script>
+<script type="text/javascript">
+_uacct = "UA-833377-1";
+urchinTracker();
+</script>
 <table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
   <tr>
     <td style = "
@@ -25,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20051202</a>
+      <a class = mltona href="Home">MLton 20061025</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/AdmitsEquality
===================================================================
--- mlton/trunk/doc/guide/AdmitsEquality	2006-10-25 15:18:52 UTC (rev 4774)
+++ mlton/trunk/doc/guide/AdmitsEquality	2006-10-25 22:21:03 UTC (rev 4775)
@@ -18,6 +18,12 @@
 
 <body lang="en" dir="ltr">
 
+<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
+</script>
+<script type="text/javascript">
+_uacct = "UA-833377-1";
+urchinTracker();
+</script>
 <table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
   <tr>
     <td style = "
@@ -25,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20051202</a>
+      <a class = mltona href="Home">MLton 20061025</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -58,7 +64,7 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> ('a1, ..., 'an) t </FONT></B>=<FONT COLOR="#228B22"><B> </FONT></B>...
+<B><FONT COLOR="#A020F0">type</FONT></B> ('a1, ..., 'an) t <B><FONT COLOR="#5F9EA0">=</FONT></B> ...
 </PRE>
 <p>
  
@@ -71,8 +77,8 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> bool * int
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">type</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> <B><FONT COLOR="#228B22">int</FONT></B>
+</PRE>
 <p>
  
 </p>
@@ -81,8 +87,8 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> bool * int * real
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">type</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> <B><FONT COLOR="#228B22">int</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> <B><FONT COLOR="#228B22">real</FONT></B>
+</PRE>
 <p>
  
 </p>
@@ -94,8 +100,8 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B>=<FONT COLOR="#228B22"><B> bool * 'a
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">type</FONT></B> 'a t <B><FONT COLOR="#5F9EA0">=</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a
+</PRE>
 <p>
  
 </p>
@@ -107,8 +113,8 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B>=<FONT COLOR="#228B22"><B> real * 'a
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">type</FONT></B> 'a t <B><FONT COLOR="#5F9EA0">=</FONT></B> <B><FONT COLOR="#228B22">real</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a
+</PRE>
 <p>
  
 </p>
@@ -120,20 +126,20 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#0000FF">structure</FONT></B> Ok: <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#A020F0">eqtype</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B><B><FONT COLOR="#0000FF">end</FONT></B> = 
-   <B><FONT COLOR="#0000FF">struct</FONT></B> 
-      <B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B>=<FONT COLOR="#228B22"><B> bool * 'a
-   </FONT></B><B><FONT COLOR="#0000FF">end</FONT></B>
+<B><FONT COLOR="#5F9EA0">structure</FONT></B> Ok: <B><FONT COLOR="#5F9EA0">sig</FONT></B> <B><FONT COLOR="#A020F0">eqtype</FONT></B> 'a t <B><FONT COLOR="#A020F0">end</FONT></B> <B><FONT COLOR="#5F9EA0">=</FONT></B> 
+   <B><FONT COLOR="#5F9EA0">struct</FONT></B> 
+      <B><FONT COLOR="#A020F0">type</FONT></B> 'a t <B><FONT COLOR="#5F9EA0">=</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a
+   <B><FONT COLOR="#A020F0">end</FONT></B>
 </PRE>
 <p>
  
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#0000FF">structure</FONT></B> Bad: <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#A020F0">eqtype</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B><B><FONT COLOR="#0000FF">end</FONT></B> = 
-   <B><FONT COLOR="#0000FF">struct</FONT></B> 
-      <B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B>=<FONT COLOR="#228B22"><B> real * int * 'a
-   </FONT></B><B><FONT COLOR="#0000FF">end</FONT></B>
+<B><FONT COLOR="#5F9EA0">structure</FONT></B> Bad: <B><FONT COLOR="#5F9EA0">sig</FONT></B> <B><FONT COLOR="#A020F0">eqtype</FONT></B> 'a t <B><FONT COLOR="#A020F0">end</FONT></B> <B><FONT COLOR="#5F9EA0">=</FONT></B> 
+   <B><FONT COLOR="#5F9EA0">struct</FONT></B> 
+      <B><FONT COLOR="#A020F0">type</FONT></B> 'a t <B><FONT COLOR="#5F9EA0">=</FONT></B> <B><FONT COLOR="#228B22">real</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> <B><FONT COLOR="#228B22">int</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a
+   <B><FONT COLOR="#A020F0">end</FONT></B>
 </PRE>
 <p>
  
@@ -150,16 +156,16 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> bool </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> char * int
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">datatype</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">char</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> <B><FONT COLOR="#228B22">int</FONT></B>
+</PRE>
 <p>
  
 </p>
 <p>
 Nullary constructors trivially admit equality, so that the following datatype admits equality. 
 <pre class=code>
-<B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">C</FONT>
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">datatype</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#5F9EA0">|</FONT></B> C
+</PRE>
  
 </p>
 <p>
@@ -167,8 +173,8 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> bool * 'a </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> 'a
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">datatype</FONT></B> 'a t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> 'a
+</PRE>
 <p>
  
 </p>
@@ -177,9 +183,9 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> 'a tA </FONT></B>=<FONT COLOR="#228B22"><B> bool * 'a
-</FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> 'a tB </FONT></B>=<FONT COLOR="#228B22"><B> 'a 
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">type</FONT></B> 'a tA <B><FONT COLOR="#5F9EA0">=</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a
+<B><FONT COLOR="#A020F0">type</FONT></B> 'a tB <B><FONT COLOR="#5F9EA0">=</FONT></B> 'a 
+</PRE>
 <p>
  
 </p>
@@ -191,8 +197,8 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> bool * 'a </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> real * 'a
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">datatype</FONT></B> 'a t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">real</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a
+</PRE>
 <p>
  
 </p>
@@ -201,10 +207,10 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#0000FF">structure</FONT></B> Bad: <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#A020F0">eqtype</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B><B><FONT COLOR="#0000FF">end</FONT></B> =
-   <B><FONT COLOR="#0000FF">struct</FONT></B>
-      <B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> 'a t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> bool * 'a </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> real * 'a
-   </FONT></B><B><FONT COLOR="#0000FF">end</FONT></B>
+<B><FONT COLOR="#5F9EA0">structure</FONT></B> Bad: <B><FONT COLOR="#5F9EA0">sig</FONT></B> <B><FONT COLOR="#A020F0">eqtype</FONT></B> 'a t <B><FONT COLOR="#A020F0">end</FONT></B> <B><FONT COLOR="#5F9EA0">=</FONT></B>
+   <B><FONT COLOR="#5F9EA0">struct</FONT></B>
+      <B><FONT COLOR="#A020F0">datatype</FONT></B> 'a t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">bool</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">real</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> 'a
+   <B><FONT COLOR="#A020F0">end</FONT></B>
 </PRE>
 <p>
  
@@ -224,8 +230,8 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> int * t
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">datatype</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">int</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> t
+</PRE>
 <p>
  
 </p>
@@ -235,24 +241,24 @@
 <p>
 On the other hand, in the following declaration 
 <pre class=code>
-<B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> real * t
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">datatype</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> <B><FONT COLOR="#228B22">real</FONT></B> <B><FONT COLOR="#5F9EA0">*</FONT></B> t
+</PRE>
  if we assume that <tt>t</tt> admits equality, then the <tt>B</tt> variant does not admit equality.  Hence, the type constructor <tt>t</tt> does not admit equality, and our assumption was inconsistent.  Hence, <tt>t</tt> does not admit equality. 
 </p>
 <p>
 The same kind of reasoning applies to mutually recursive datatypes as well.  For example, the following defines both <tt>t</tt> and <tt>u</tt> to admit equality. 
 <pre class=code>
-<B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> u
-</FONT></B><B><FONT COLOR="#A020F0">and</FONT></B><FONT COLOR="#228B22"><B> u </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">C</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">D</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> t
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">datatype</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> u
+<B><FONT COLOR="#A020F0">and</FONT></B> u <B><FONT COLOR="#5F9EA0">=</FONT></B> C <B><FONT COLOR="#5F9EA0">|</FONT></B> D <B><FONT COLOR="#A020F0">of</FONT></B> t
+</PRE>
  
 </p>
 <p>
 But the following defines neither <tt>t</tt> nor <tt>u</tt> to admit equality. 
 <pre class=code>
-<B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> u * real
-</FONT></B><B><FONT COLOR="#A020F0">and</FONT></B><FONT COLOR="#228B22"><B> u </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">C</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">D</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> t
-</FONT></B></PRE>
+<B><FONT COLOR="#A020F0">datatype</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> u <B><FONT COLOR="#5F9EA0">*</FONT></B> <B><FONT COLOR="#228B22">real</FONT></B>
+<B><FONT COLOR="#A020F0">and</FONT></B> u <B><FONT COLOR="#5F9EA0">=</FONT></B> C <B><FONT COLOR="#5F9EA0">|</FONT></B> D <B><FONT COLOR="#A020F0">of</FONT></B> t
+</PRE>
  
 </p>
 <p>
@@ -260,11 +266,11 @@
 </p>
 
 <pre class=code>
-<B><FONT COLOR="#0000FF">structure</FONT></B> Bad: <B><FONT COLOR="#0000FF">sig</FONT></B> <B><FONT COLOR="#A020F0">eqtype</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B><B><FONT COLOR="#A020F0">eqtype</FONT></B><FONT COLOR="#228B22"><B> u </FONT></B><B><FONT COLOR="#0000FF">end</FONT></B> =
-   <B><FONT COLOR="#0000FF">struct</FONT></B>
-      <B><FONT COLOR="#A020F0">datatype</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">A</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">B</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> u * real
-      </FONT></B><B><FONT COLOR="#A020F0">and</FONT></B><FONT COLOR="#228B22"><B> u </FONT></B>=<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">C</FONT> </FONT></B>|<FONT COLOR="#228B22"><B> <FONT COLOR="#B8860B">D</FONT> <B><FONT COLOR="#A020F0">of</FONT></B> t
-   </FONT></B><B><FONT COLOR="#0000FF">end</FONT></B>
+<B><FONT COLOR="#5F9EA0">structure</FONT></B> Bad: <B><FONT COLOR="#5F9EA0">sig</FONT></B> <B><FONT COLOR="#A020F0">eqtype</FONT></B> t <B><FONT COLOR="#A020F0">eqtype</FONT></B> u <B><FONT COLOR="#A020F0">end</FONT></B> <B><FONT COLOR="#5F9EA0">=</FONT></B>
+   <B><FONT COLOR="#5F9EA0">struct</FONT></B>
+      <B><FONT COLOR="#A020F0">datatype</FONT></B> t <B><FONT COLOR="#5F9EA0">=</FONT></B> A <B><FONT COLOR="#5F9EA0">|</FONT></B> B <B><FONT COLOR="#A020F0">of</FONT></B> u <B><FONT COLOR="#5F9EA0">*</FONT></B> <B><FONT COLOR="#228B22">real</FONT></B>
+      <B><FONT COLOR="#A020F0">and</FONT></B> u <B><FONT COLOR="#5F9EA0">=</FONT></B> C <B><FONT COLOR="#5F9EA0">|</FONT></B> D <B><FONT COLOR="#A020F0">of</FONT></B> t
+   <B><FONT COLOR="#A020F0">end</FONT></B>
 </PRE>
 <p>
  

Modified: mlton/trunk/doc/guide/Alice
===================================================================
--- mlton/trunk/doc/guide/Alice	2006-10-25 15:18:52 UTC (rev 4774)
+++ mlton/trunk/doc/guide/Alice	2006-10-25 22:21:03 UTC (rev 4775)
@@ -18,6 +18,12 @@
 
 <body lang="en" dir="ltr">
 
+<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
+</script>
+<script type="text/javascript">
+_uacct = "UA-833377-1";
+urchinTracker();
+</script>
 <table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
   <tr>
     <td style = "
@@ -25,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20051202</a>
+      <a class = mltona href="Home">MLton 20061025</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters	2006-10-25 15:18:52 UTC (rev 4774)
+++ mlton/trunk/doc/guide/AllocateRegisters	2006-10-25 22:21:03 UTC (rev 4775)
@@ -18,6 +18,12 @@
 
 <body lang="en" dir="ltr">
 
+<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
+</script>
+<script type="text/javascript">
+_uacct = "UA-833377-1";
+urchinTracker();
+</script>
 <table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
   <tr>
     <td style = "
@@ -25,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20051202</a>
+      <a class = mltona href="Home">MLton 20061025</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -55,9 +61,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/backend/allocate-registers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/backend/allocate-registers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/backend/allocate-registers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20061025-release/mlton/backend/allocate-registers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/AndreiFormiga
===================================================================
--- mlton/trunk/doc/guide/AndreiFormiga	2006-10-25 15:18:52 UTC (rev 4774)
+++ mlton/trunk/doc/guide/AndreiFormiga	2006-10-25 22:21:03 UTC (rev 4775)
@@ -18

[MLton-commit] r4774

From: Vesa K. <ve...@ml...> - 2006-10-25 08:18:52

Fixed a bug in the grammar; a sequence of basdecs should be accepted in
local declarations according to the formal specification.

----------------------------------------------------------------------

U   mlton/trunk/mlton/front-end/mlb.grm

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/front-end/mlb.grm
===================================================================
--- mlton/trunk/mlton/front-end/mlb.grm	2006-10-25 14:32:01 UTC (rev 4773)
+++ mlton/trunk/mlton/front-end/mlb.grm	2006-10-25 15:18:52 UTC (rev 4774)
@@ -198,7 +198,7 @@
 
 basexpnode : BAS basdecs END           (Basexp.Bas basdecs)
            | basid                     (Basexp.Var basid)
-           | LET basdec IN basexp END  (Basexp.Let (basdec, basexp))
+           | LET basdecs IN basexp END (Basexp.Let (basdecs, basexp))
 
 basid : id  (Basid.fromSymbol id)
 basids : basid ([basid])

[MLton-commit] r4773

From: Matthew F. <fl...@ml...> - 2006-10-25 07:32:04

Fixed unbound identifier bug introduced in r4733
----------------------------------------------------------------------

U   mlton/trunk/mlton/codegen/x86-codegen/x86-translate.fun

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/codegen/x86-codegen/x86-translate.fun
===================================================================
--- mlton/trunk/mlton/codegen/x86-codegen/x86-translate.fun	2006-10-25 09:21:50 UTC (rev 4772)
+++ mlton/trunk/mlton/codegen/x86-codegen/x86-translate.fun	2006-10-25 14:32:01 UTC (rev 4773)
@@ -809,7 +809,7 @@
             val data =
                if List.isEmpty data
                   then []
-                  else (Assembly.pseudoop_data())::data
+                  else (x86.Assembly.pseudoop_data())::data
           in
             x86.Chunk.T {data = data, blocks = x86Blocks}
           end

[MLton-commit] r4772

From: Vesa K. <ve...@ml...> - 2006-10-25 02:22:06

Reformatted code to fit (strictly) within 80 columns.  There should be no
semantic changes.

----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/esml-mlb-mode.el

----------------------------------------------------------------------

Modified: mlton/trunk/ide/emacs/esml-mlb-mode.el
===================================================================
--- mlton/trunk/ide/emacs/esml-mlb-mode.el	2006-10-25 08:48:40 UTC (rev 4771)
+++ mlton/trunk/ide/emacs/esml-mlb-mode.el	2006-10-25 09:21:50 UTC (rev 4772)
@@ -167,19 +167,20 @@
 (defun esml-mlb-parse-annotations ()
   (setq esml-mlb-annotations
         (remove-duplicates
-         (sort (append esml-mlb-additional-annotations
-                       (when (not (string= "" esml-mlb-show-annotations-command))
-                         (mapcar (function
-                                  (lambda (s)
-                                    (esml-split-string s "[ \t]*[{}|][ \t]*")))
-                                 (esml-split-string
-                                  (with-temp-buffer
-                                    (save-window-excursion
-                                      (shell-command
-                                       esml-mlb-show-annotations-command
-                                       (current-buffer))
-                                      (buffer-string)))
-                                  "[ \t]*\n+[ \t]*"))))
+         (sort (append
+                esml-mlb-additional-annotations
+                (when (not (string= "" esml-mlb-show-annotations-command))
+                  (mapcar (function
+                           (lambda (s)
+                             (esml-split-string s "[ \t]*[{}|][ \t]*")))
+                          (esml-split-string
+                           (with-temp-buffer
+                             (save-window-excursion
+                               (shell-command
+                                esml-mlb-show-annotations-command
+                                (current-buffer))
+                               (buffer-string)))
+                           "[ \t]*\n+[ \t]*"))))
                (function
                 (lambda (a b)
                   (string-lessp (car a) (car b)))))
@@ -197,16 +198,18 @@
 (defun esml-mlb-parse-path-variables ()
   (setq esml-mlb-path-variables
         (remove-duplicates
-         (sort (append esml-mlb-additional-path-variables
-                       (loop for file in esml-mlb-mlb-path-map-files
-                         append (mapcar (function
-                                         (lambda (s)
-                                           (apply 'cons
-                                                  (esml-split-string s "[ \t]+"))))
-                                        (esml-split-string (with-temp-buffer
-                                                             (insert-file-contents file)
-                                                             (buffer-string))
-                                                           "[ \t]*\n+[ \t]*"))))
+         (sort (append
+                esml-mlb-additional-path-variables
+                (loop for file in esml-mlb-mlb-path-map-files
+                  append (mapcar (function
+                                  (lambda (s)
+                                    (apply 'cons
+                                           (esml-split-string s "[ \t]+"))))
+                                 (esml-split-string
+                                  (with-temp-buffer
+                                    (insert-file-contents file)
+                                    (buffer-string))
+                                  "[ \t]*\n+[ \t]*"))))
                (function
                 (lambda (a b)
                   (string-lessp (car a) (car b)))))
@@ -248,7 +251,8 @@
           esml-mlb-string-continue-regexp "*"))
 (defconst esml-mlb-string-regexp (concat esml-mlb-inside-string-regexp "\""))
 (defconst esml-mlb-inside-comment-regexp "(\\*\\([^*]\\|\\*[^)]\\)*")
-(defconst esml-mlb-comment-regexp (concat esml-mlb-inside-comment-regexp "\\*)"))
+(defconst esml-mlb-comment-regexp
+  (concat esml-mlb-inside-comment-regexp "\\*)"))
 (defconst esml-mlb-path-var-chars "A-Za-z0-9_")
 (defconst esml-mlb-unquoted-path-chars "-A-Za-z0-9_/.")
 (defconst esml-mlb-unquoted-path-or-ref-chars
@@ -299,7 +303,8 @@
   "Builds the font-lock table for ML Basis mode."
   (setq esml-mlb-font-lock-table
         `(;; quoted path names
-          (,(concat esml-mlb-inside-string-regexp "\\.\\(" esml-mlb-path-suffix-regexp "\\)\"")
+          (,(concat esml-mlb-inside-string-regexp
+                    "\\.\\(" esml-mlb-path-suffix-regexp "\\)\"")
            . font-lock-constant-face)
           ;; annotations
           (,(apply
@@ -311,18 +316,20 @@
                  (if (cdr regexps)
                      (push "\\|" regexps))
                  (cons (if (cdr name-values)
-                           (concat (car name-values) "[ \t]+\\("
-                                   (reduce (function
-                                            (lambda (r s)
-                                              (concat r "\\|\\("
-                                                      (esml-mlb-<token>-to-regexp s)
-                                                      "\\)")))
-                                           (cddr name-values)
-                                           :initial-value (concat "\\("
-                                                                  (esml-mlb-<token>-to-regexp
-                                                                   (cadr name-values))
-                                                                  "\\)"))
-                                   "\\)")
+                           (concat
+                            (car name-values) "[ \t]+\\("
+                            (reduce
+                             (function
+                              (lambda (r s)
+                                (concat r "\\|\\("
+                                        (esml-mlb-<token>-to-regexp s)
+                                        "\\)")))
+                             (cddr name-values)
+                             :initial-value (concat "\\("
+                                                    (esml-mlb-<token>-to-regexp
+                                                     (cadr name-values))
+                                                    "\\)"))
+                            "\\)")
                          (car name-values))
                        regexps)))
               esml-mlb-annotations
@@ -331,12 +338,16 @@
           (,esml-mlb-string-regexp
            . font-lock-warning-face)
           ;; path variables
-          (,(concat "\\$(\\(" (regexp-opt (mapcar 'car esml-mlb-path-variables)) "\\))")
+          (,(concat "\\$(\\("
+                    (regexp-opt (mapcar 'car esml-mlb-path-variables))
+                    "\\))")
            . font-lock-reference-face)
           ("\\$([^)]*?)"
            . font-lock-warning-face)
           ;; unquoted path names
-          (,(concat "[-A-Za-z0-9_/.]*\\.\\(" esml-mlb-path-suffix-regexp "\\)\\>")
+          (,(concat "[-A-Za-z0-9_/.]*\\.\\("
+                    esml-mlb-path-suffix-regexp
+                    "\\)\\>")
            . font-lock-constant-face)
           ("[-A-Za-z0-9_/.]*\\.[-A-Za-z0-9_/.]*"
            . font-lock-warning-face)
@@ -399,7 +410,8 @@
       (cond ((looking-at ";")
              (case evidence
                ((in bas)
-                (indent-line-to (max 0 (+ indent -2 esml-mlb-indentation-offset))))
+                (indent-line-to
+                 (max 0 (+ indent -2 esml-mlb-indentation-offset))))
                (t
                 (indent-line-to (max 0 (- indent 2))))))
             ((looking-at "end[ \t\n]")
@@ -407,7 +419,8 @@
                ((ann bas in let local)
                 (indent-line-to indent))
                (t
-                (indent-line-to (max 0 (- indent esml-mlb-indentation-offset))))))
+                (indent-line-to
+                 (max 0 (- indent esml-mlb-indentation-offset))))))
             ((looking-at "in[ \t\n]")
              (case evidence
                ((ann let local)
@@ -457,7 +470,8 @@
                   (not (or (file-name-directory x)
                            (let ((ext (file-name-extension x)))
                              (when ext
-                               (string-match valid-suffices-regexp ext)))))))))))
+                               (string-match
+                                valid-suffices-regexp ext)))))))))))
 
 (defun esml-mlb-complete ()
   "Performs context sensitive completion at point."
@@ -467,9 +481,10 @@
    ((esml-point-preceded-by esml-mlb-inside-comment-regexp))
 
    ;; annotation values
-   ((esml-point-preceded-by (concat "\"[ \t\n]*\\("
-                                    (regexp-opt (mapcar 'car esml-mlb-annotations))
-                                    "\\)[ \t\n]+\\(" esml-mlb-string-char-regexp "*\\)"))
+   ((esml-point-preceded-by
+     (concat "\"[ \t\n]*\\("
+             (regexp-opt (mapcar 'car esml-mlb-annotations))
+             "\\)[ \t\n]+\\(" esml-mlb-string-char-regexp "*\\)"))
     (let* ((annot (assoc (match-string 1) esml-mlb-annotations))
            (all-values (cdr annot))
            (values (remove* nil all-values
@@ -478,7 +493,8 @@
                                      (and (< 0 (length s))
                                           (= ?< (aref s 0)))))))
            (value-prefix (match-string 2))
-           (value-completion (try-completion value-prefix (mapcar 'list values)))
+           (value-completion
+            (try-completion value-prefix (mapcar 'list values)))
            (value (if (eq t value-completion) value-prefix value-completion)))
       (message "Annotation: %s %s" (car annot) (if all-values all-values ""))
       (when (stringp value-completion)
@@ -513,7 +529,8 @@
    ;; path variables
    ((esml-point-preceded-by (concat "\\$(\\([" esml-mlb-path-var-chars "]*\\)"))
     (let* ((name-prefix (match-string 1))
-           (name-completion (try-completion name-prefix esml-mlb-path-variables))
+           (name-completion
+            (try-completion name-prefix esml-mlb-path-variables))
            (name (if (eq t name-completion) name-prefix name-completion)))
       (if (not name-completion)
           (message "Path variables: %s" (mapcar 'car esml-mlb-path-variables))
@@ -535,7 +552,9 @@
    ((or (esml-point-preceded-by
          (concat "\\(\"\\)\\(" esml-mlb-string-char-regexp "+\\)"))
         (esml-point-preceded-by
-         (concat "\\([ \t\n]\\|^\\)\\([" esml-mlb-unquoted-path-or-ref-chars "]+\\)")))
+         (concat "\\([ \t\n]\\|^\\)\\(["
+                 esml-mlb-unquoted-path-or-ref-chars
+                 "]+\\)")))
     ;; TBD: escape sequences in quoted pathnames
     (let* ((quoted (string= "\"" (match-string 1)))
            (path-prefix (match-string 2))
@@ -571,20 +590,21 @@
           (esml-insert-or-skip-if-looking-at
            (substring nondir (length nondir-prefix))))
         (if (eq t (try-completion nondir nondir-completions))
-            (cond ((file-name-directory nondir)
-                   (message "Completions: %s"
-                            (sort (let ((dir (concat dir nondir)))
-                                    (esml-mlb-filter-file-completions
-                                     (file-name-all-completions "" dir)
-                                     (esml-string-matches-p "\\(\.\./\\)+" dir)))
-                                  'string-lessp)))
-                  ((member nondir esml-mlb-keywords)
-                   (esml-mlb-indent-line)
-                   (message "Keyword: %s" nondir)
-                   (when (member nondir esml-mlb-keywords-usually-followed-by-space)
-                     (esml-insert-or-skip-if-looking-at " ")))
-                  (t
-                   (message "Expanded path: %s%s" dir nondir)))
+            (cond
+             ((file-name-directory nondir)
+              (message "Completions: %s"
+                       (sort (let ((dir (concat dir nondir)))
+                               (esml-mlb-filter-file-completions
+                                (file-name-all-completions "" dir)
+                                (esml-string-matches-p "\\(\.\./\\)+" dir)))
+                             'string-lessp)))
+             ((member nondir esml-mlb-keywords)
+              (esml-mlb-indent-line)
+              (message "Keyword: %s" nondir)
+              (when (member nondir esml-mlb-keywords-usually-followed-by-space)
+                (esml-insert-or-skip-if-looking-at " ")))
+             (t
+              (message "Expanded path: %s%s" dir nondir)))
           (message "Completions: %s"
                    (sort (mapcar 'car nondir-completions)
                          'string-lessp))))))))

[MLton-commit] r4771

From: Vesa K. <ve...@ml...> - 2006-10-25 01:48:49

Documentation.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/readme.txt

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/readme.txt
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/readme.txt	2006-10-24 23:06:01 UTC (rev 4770)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/readme.txt	2006-10-25 08:48:40 UTC (rev 4771)
@@ -31,18 +31,18 @@
       (export*.sml).  The contents of this directory should be sufficient
       to understand the extensions provided by this library.
 
-   basis.mlb
+   basis.mlb, basis.cm
 
-      This basis file defines the extended basis library including all of
-      the original basis library.  The idea is that users refer to this
-      instead of the original basis library.
+      These build files define the extended basis library including all of
+      the original basis library.  The idea is that users refer to one of
+      these, depending on the compiler, instead of the original basis
+      library.
 
-   extensions.mlb
+   extensions.mlb, extensions.cm
 
-      This basis file defines only the extensions provided by this
-      library.  Users may refer to this basis file, but this is probably
-      more interesting to maintainers.  You can, for example, run the
-      command
+      These build files define only the extensions provided by this
+      library.  Users may refer to these files, but they are probably more
+      interesting to maintainers.  You can, for example, run the command
 
          mlton -stop tc -show-basis extensions.basis extensions.mlb
 
@@ -59,7 +59,15 @@
       implementation details.  Different compilers implement different
       subsets of the original basis library.
 
+   detail/<COMPILER>/workarounds/
 
+      These directories (e.g. detail/smlnj/workarounds) contain compiler
+      specific workarounds.  The idea is that workarounds are separated
+      from other code so that once a compiler becomes more conforming to
+      the language definition and basis library specification, the
+      workarounds can be easily removed.
+
+
 About Motivation and Scope
 --------------------------

[MLton-commit] r4770

From: Vesa K. <ve...@ml...> - 2006-10-24 16:06:13

Reverted back to the previous basis library conforming implementation of
the MkWordExt functor.  Implemented workarounds for the SML/NJ basis
library deviations and the library now compiles with SML/NJ (v110.59).
The most dramatic workaround is that the fromDecimal spec of the REAL
signature of the SML/NJ basis library implementation changes and an
additional fromDecimal' spec is added (in case you really want to use the
SML/NJ basis library version of the function).

----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-word-ext.fun
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/basis-minus-extensions.cm
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/basis-minus-sane.cm
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/basis.cm
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/funs.cm
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-real-sane.fun
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-word-sane.fun
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/real.sig
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/reals.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/sane.cm
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/word.sig
A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/words.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-word-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-word-ext.fun	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-word-ext.fun	2006-10-24 23:06:01 UTC (rev 4770)
@@ -10,17 +10,17 @@
 functor MkWordExt (W : WORD) = struct
    open W
    val bounds as (minWord, maxWord) = (fromInt 0, fromInt~1)
-   val fromWord = fromLargeWord o Word.toLargeWord
-   val fromWordX = fromLargeWord o Word.toLargeWordX
-   val toWord = Word.fromLargeWord o toLargeWord
-   val toWordX = Word.fromLargeWord o toLargeWordX
+   val fromWord = fromLarge o Word.toLarge
+   val fromWordX = fromLarge o Word.toLargeX
+   val toWord = Word.fromLarge o toLarge
+   val toWordX = Word.fromLarge o toLargeX
    val embString = (toString, fromString)
    val isoInt = (toInt, fromInt)
    val isoIntX = (toIntX, fromInt)
-   val isoLarge = (toLargeWord, fromLargeWord)
+   val isoLarge = (toLarge, fromLarge)
    val isoLargeInt = (toLargeInt, fromLargeInt)
    val isoLargeIntX = (toLargeIntX, fromLargeInt)
-   val isoLargeX = (toLargeWordX, fromLargeWord)
+   val isoLargeX = (toLargeX, fromLarge)
    val isoWord = (toWord, fromWord)
    val isoWordX = (toWordX, fromWordX)
    fun isZero w = fromInt 0 = w

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/basis-minus-extensions.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/basis-minus-extensions.cm	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/basis-minus-extensions.cm	2006-10-24 23:06:01 UTC (rev 4770)
@@ -5,6 +5,6 @@
  *)
 
 library
-   library($/basis.cm) - library(../../extensions.cm)
+   library(workarounds/basis.cm) - library(../../extensions.cm)
 is
-   $/basis.cm
+   workarounds/basis.cm

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm	2006-10-24 23:06:01 UTC (rev 4770)
@@ -5,7 +5,6 @@
  *)
 
 group is
-   $/basis.cm
    ../mk-int-inf-ext.fun
    ../mk-integer-ext.fun
    ../mk-mono-array-ext.fun
@@ -13,3 +12,4 @@
    ../mk-real-ext.fun
    ../mk-text-ext.fun
    ../mk-word-ext.fun
+   workarounds/basis.cm

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm	2006-10-24 23:06:01 UTC (rev 4770)
@@ -5,18 +5,6 @@
  *)
 
 group is
-   $/basis.cm
-   ../array.sml
-   ../emb.sml
-   ../iso.sml
-   ../smlnj/ints.sml
-   ../smlnj/mono-arrays.sml
-   ../smlnj/mono-vectors.sml
-   ../smlnj/reals.sml
-   ../smlnj/texts.sml
-   ../smlnj/words.sml
-   ../vector.sml
-   funs.cm
    ../../public/array.sig
    ../../public/char.sig
    ../../public/emb.sig
@@ -30,3 +18,15 @@
    ../../public/text.sig
    ../../public/vector.sig
    ../../public/word.sig
+   ../array.sml
+   ../emb.sml
+   ../iso.sml
+   ../smlnj/ints.sml
+   ../smlnj/mono-arrays.sml
+   ../smlnj/mono-vectors.sml
+   ../smlnj/reals.sml
+   ../smlnj/texts.sml
+   ../smlnj/words.sml
+   ../vector.sml
+   funs.cm
+   workarounds/basis.cm

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/basis-minus-sane.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/basis-minus-sane.cm	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/basis-minus-sane.cm	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,10 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+group
+   library($/basis.cm) - library(sane.cm)
+is
+   $/basis.cm

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/basis.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/basis.cm	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/basis.cm	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+library
+   group(basis-minus-sane.cm)
+   library(sane.cm)
+is
+   basis-minus-sane.cm
+   sane.cm

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/funs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/funs.cm	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/funs.cm	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,10 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+group is
+   mk-real-sane.fun
+   mk-word-sane.fun
+   $/basis.cm

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-real-sane.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-real-sane.fun	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-real-sane.fun	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,11 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+functor MkRealSane (R : REAL) = struct
+   open R
+   val fromDecimal' = fromDecimal
+   fun fromDecimal d = SOME (fromDecimal' d) handle _ => NONE
+end


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-real-sane.fun
___________________________________________________________________
Name: svn:eol-style
   + native

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-word-sane.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-word-sane.fun	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-word-sane.fun	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+functor MkWordSane (W : WORD) = struct
+   open W
+   val fromLarge = fromLargeWord
+   val toLarge = toLargeWord
+   val toLargeX = toLargeWordX
+end


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/mk-word-sane.fun
___________________________________________________________________
Name: svn:eol-style
   + native

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/real.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/real.sig	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/real.sig	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,76 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+signature REAL = sig
+   type real
+
+   structure Math : MATH where type real = real
+
+   val round : real -> Int.int
+   val trunc : real -> Int.int
+   val ceil : real -> Int.int
+   val floor : real -> Int.int
+
+   val != : real * real -> bool
+   val * : real * real -> real
+   val *+ : real * real * real -> real
+   val *- : real * real * real -> real
+   val + : real * real -> real
+   val - : real * real -> real
+   val / : real * real -> real
+   val <  : real * real -> bool
+   val <= : real * real -> bool
+   val == : real * real -> bool
+   val >  : real * real -> bool
+   val >= : real * real -> bool
+   val ?= : real * real -> bool
+   val ~ : real -> real
+   val abs : real -> real
+   val checkFloat : real -> real
+   val class : real -> IEEEReal.float_class
+   val compare : real * real -> order
+   val compareReal : real * real -> IEEEReal.real_order
+   val copySign : real * real -> real
+   val fmt : StringCvt.realfmt -> real -> string
+   val fromDecimal : IEEEReal.decimal_approx -> real option
+   val fromDecimal' : IEEEReal.decimal_approx -> real
+   val fromInt : int -> real
+   val fromLarge : IEEEReal.rounding_mode -> LargeReal.real -> real
+   val fromLargeInt : LargeInt.int -> real
+   val fromManExp : {man : real, exp : int} -> real
+   val fromString : string -> real option
+   val isFinite : real -> bool
+   val isNan : real -> bool
+   val isNormal : real -> bool
+   val max : real * real -> real
+   val maxFinite : real
+   val min : real * real -> real
+   val minNormalPos : real
+   val minPos : real
+   val negInf : real
+   val nextAfter : real * real -> real
+   val posInf : real
+   val precision : int
+   val radix : int
+   val realCeil : real -> real
+   val realFloor : real -> real
+   val realMod : real -> real
+   val realRound : real -> real
+   val realTrunc : real -> real
+   val rem : real * real -> real
+   val sameSign : real * real -> bool
+   val scan : (char, 'a) StringCvt.reader -> (real, 'a) StringCvt.reader
+   val sign : real -> int
+   val signBit : real -> bool
+   val split : real -> {whole : real, frac : real}
+   val toDecimal : real -> IEEEReal.decimal_approx
+   val toInt : IEEEReal.rounding_mode -> real -> int
+   val toLarge : real -> LargeReal.real
+   val toLargeInt : IEEEReal.rounding_mode -> real -> LargeInt.int
+   val toManExp : real -> {man : real, exp : int}
+   val toString : real -> string
+   val unordered : real * real -> bool
+end


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/real.sig
___________________________________________________________________
Name: svn:eol-style
   + native

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/reals.sml (from rev 4769, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/reals.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/reals.sml	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/reals.sml	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,11 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+structure Real = MkRealSane (Real)
+
+structure LargeReal = MkRealSane (LargeReal)
+
+structure Real64 = MkRealSane (Real64)

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/sane.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/sane.cm	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/sane.cm	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,18 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+library
+   source(real.sig)
+   source(reals.sml)
+   source(word.sig)
+   source(words.sml)
+is
+   $/basis.cm
+   funs.cm
+   real.sig
+   reals.sml
+   word.sig
+   words.sml

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/word.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/word.sig	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/word.sig	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+signature WORD = sig
+   include WORD
+   val fromLarge : LargeWord.word -> word
+   val toLarge : word -> LargeWord.word
+   val toLargeX : word -> LargeWord.word
+end


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/word.sig
___________________________________________________________________
Name: svn:eol-style
   + native

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/words.sml (from rev 4769, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/words.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/words.sml	2006-10-24 21:53:12 UTC (rev 4769)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/workarounds/words.sml	2006-10-24 23:06:01 UTC (rev 4770)
@@ -0,0 +1,16 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+structure Word      = MkWordSane (Word)
+structure LargeWord = MkWordSane (LargeWord)
+structure SysWord   = MkWordSane (SysWord)
+
+structure Word8  = MkWordSane (Word8)
+
+structure Word31 = MkWordSane (Word31)
+structure Word32 = MkWordSane (Word32)
+
+structure Word64 = MkWordSane (Word64)

[MLton-commit] r4769

From: Matthew F. <fl...@ml...> - 2006-10-24 14:53:43

Move frequently used fields to the front of GC_state
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.h

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO	2006-10-24 20:41:51 UTC (rev 4768)
+++ mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO	2006-10-24 21:53:12 UTC (rev 4769)
@@ -1,9 +1,4 @@
 
-* Why does hash-table use malloc/free while generational maps use mmap/munmap?
-
-* Use C99 <assert.h> instead of util/assert.{c,h}
-
-
 (* make-pdf stuff; not really x86_64 specific *)
 http://mlton.org/pipermail/mlton/2006-May/028840.html
  + http://mlton.org/pipermail/mlton/2006-June/028866.html
@@ -38,9 +33,6 @@
  + http://mlton.org/pipermail/mlton-user/2004-November/000556.html
  + http://mlton.org/pipermail/mlton/2004-November/026246.html
 
-(* Fields in GC_state *)
-http://mlton.org/pipermail/mlton/2006-July/028965.html
-
 (* Char signedness *)
 http://mlton.org/pipermail/mlton/2006-July/028970.html
  + http://mlton.org/pipermail/mlton/2006-July/028982.html
@@ -50,3 +42,8 @@
 
 Another minor thing I think we should do:
  * rename arch amd64 to x86_64, to be consistent with gcc target
+
+
+* Why does hash-table use malloc/free while generational maps use mmap/munmap?
+
+* Use C99 <assert.h> instead of util/assert.{c,h}

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.h	2006-10-24 20:41:51 UTC (rev 4768)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.h	2006-10-24 21:53:12 UTC (rev 4769)
@@ -9,6 +9,16 @@
 #if (defined (MLTON_GC_INTERNAL_TYPES))
 
 struct GC_state {
+  /* These fields are at the front because they are the most commonly
+   * referenced, and having them at smaller offsets may decrease code
+   * size and improve cache performance.
+   */
+  pointer frontier; /* heap.start <= frontier < limit */
+  pointer limit; /* limit = heap.start + heap.size */
+  pointer stackTop; /* Top of stack in current thread. */
+  pointer stackLimit; /* stackBottom + stackSize - maxFrameSize */
+  uint32_t exnStack;
+  /* Alphabetized fields follow. */
   size_t alignment; /* */
   bool amInGC;
   bool amOriginal;
@@ -21,11 +31,9 @@
   struct GC_controls controls;
   struct GC_cumulativeStatistics cumulativeStatistics;
   objptr currentThread; /* Currently executing thread (in heap). */
-  uint32_t exnStack;
   struct GC_forwardState forwardState;
   GC_frameLayout frameLayouts; /* Array of frame layouts. */
   uint32_t frameLayoutsLength; /* Cardinality of frameLayouts array. */
-  pointer frontier; /* heap.start <= frontier < limit */
   struct GC_generationalMaps generationalMaps;
   objptr *globals;
   uint32_t globalsLength;
@@ -34,7 +42,6 @@
   struct GC_intInfInit *intInfInits;
   uint32_t intInfInitsLength;
   struct GC_lastMajorStatistics lastMajorStatistics;
-  pointer limit; /* limit = heap.start + heap.size */
   pointer limitPlusSlop; /* limit + GC_HEAP_LIMIT_SLOP */
   int (*loadGlobals)(FILE *f); /* loads the globals from the file. */
   uint32_t magic; /* The magic number for this executable. */
@@ -55,8 +62,6 @@
   struct GC_signalsInfo signalsInfo;
   struct GC_sourceMaps sourceMaps;
   pointer stackBottom; /* Bottom of stack in current thread. */
-  pointer stackLimit; /* stackBottom + stackSize - maxFrameSize */
-  pointer stackTop; /* Top of stack in current thread. */
   uintmax_t startTime; /* The time when GC_init or GC_loadWorld was called. */
   struct GC_sysvals sysvals;
   struct GC_vectorInit *vectorInits;

[MLton-commit] r4768

From: Matthew F. <fl...@ml...> - 2006-10-24 13:41:53

Fixing comment; adding message on alternate branch
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/hash-cons.c

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/hash-cons.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/hash-cons.c	2006-10-24 19:37:58 UTC (rev 4767)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/hash-cons.c	2006-10-24 20:41:51 UTC (rev 4768)
@@ -57,12 +57,14 @@
   t->elementsLengthMaxLog2 = 6;  // and its log base 2
   if (elementsLengthMax < t->elementsLengthMax) {
     if (DEBUG_SHARE)
-      fprintf (stderr, "too small -- using malloc\n");
+      fprintf (stderr, "elementsLengthMax too small -- using calloc\n");
     t->elementsIsInHeap = FALSE;
     t->elements = 
       (struct GC_objectHashElement *)
       (calloc_safe(t->elementsLengthMax, sizeof(*(t->elements))));
   } else {
+    if (DEBUG_SHARE)
+      fprintf (stderr, "elementsLengthMax big enough -- using heap\n");
     t->elementsIsInHeap = TRUE;
     t->elements = (struct GC_objectHashElement*)regionStart;
     // Find the largest power of two that fits.

[MLton-commit] r4767

From: Matthew F. <fl...@ml...> - 2006-10-24 12:38:08

Rename 'diskBack_*' functions to 'GC_diskBack_*', indicating that they are platform dependent functions used by the GC
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/heap.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/diskBack.unix.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/windows.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform.h

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/heap.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/heap.c	2006-10-24 19:30:11 UTC (rev 4766)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/heap.c	2006-10-24 19:37:58 UTC (rev 4767)
@@ -310,13 +310,13 @@
     /* Write the heap to disk and try again. */
     void *data;
     
-    data = diskBack_write (orig, size);
+    data = GC_diskBack_write (orig, size);
     releaseHeap (s, curHeapp);
     if (createHeap (s, curHeapp, desiredSize, minSize)) {
-      diskBack_read (data, curHeapp->start, size);
-      diskBack_close (data);
+      GC_diskBack_read (data, curHeapp->start, size);
+      GC_diskBack_close (data);
     } else {
-      diskBack_close (data);
+      GC_diskBack_close (data);
       if (s->controls.messages)
         GC_displayMem ();
       die ("Out of memory.  Unable to allocate %s bytes.\n",

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/diskBack.unix.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/diskBack.unix.c	2006-10-24 19:30:11 UTC (rev 4766)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/diskBack.unix.c	2006-10-24 19:37:58 UTC (rev 4767)
@@ -31,14 +31,14 @@
   FILE *f;
 } *WriteToDiskData;
 
-void diskBack_read (void *data, pointer buf, size_t size) {
+void GC_diskBack_read (void *data, pointer buf, size_t size) {
   FILE *f;
 
   f = ((WriteToDiskData)data)->f;
   fread_safe (buf, 1, size, f);
 }
 
-void diskBack_close (void *data) {
+void GC_diskBack_close (void *data) {
   FILE *f;
 
   f = ((WriteToDiskData)data)->f;
@@ -46,7 +46,7 @@
   free (data);
 }
 
-void *diskBack_write (pointer buf, size_t size) {
+void *GC_diskBack_write (pointer buf, size_t size) {
   FILE *f;
   WriteToDiskData d;
 

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/windows.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/windows.c	2006-10-24 19:30:11 UTC (rev 4766)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/windows.c	2006-10-24 19:37:58 UTC (rev 4767)
@@ -1,4 +1,4 @@
-HANDLE fileDesHandle (int fd);
+iHANDLE fileDesHandle (int fd);
 
 #define BUFSIZE 65536
 
@@ -30,7 +30,7 @@
   HANDLE handle;
 } *WriteToDiskData;
 
-void diskBack_read (void *data, pointer buf, size_t size) {
+void GC_diskBack_read (void *data, pointer buf, size_t size) {
   HANDLE h;
   DWORD d;
   DWORD dwBytesRead;
@@ -43,7 +43,7 @@
     die ("ReadFile failed with error %ld\n", GetLastError());
 }
 
-void diskBack_close (void *data) {
+void GC_diskBack_close (void *data) {
   HANDLE h;
 
   h = ((WriteToDiskData)data)->handle;
@@ -52,7 +52,7 @@
   free (data);
 }
 
-void *diskBack_write (pointer buf, size_t size) {
+void *GC_diskBack_write (pointer buf, size_t size) {
   HANDLE h;
   WriteToDiskData d;
   DWORD dwBytesWritten;

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform.h	2006-10-24 19:30:11 UTC (rev 4766)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform.h	2006-10-24 19:37:58 UTC (rev 4767)
@@ -156,9 +156,9 @@
 
 void GC_setCygwinUseMmap (bool b);
 
-void diskBack_close (void *data);
-void diskBack_read (void *data, pointer buf, size_t size);
-void *diskBack_write (pointer buf, size_t size);
+void GC_diskBack_close (void *data);
+void GC_diskBack_read (void *data, pointer buf, size_t size);
+void *GC_diskBack_write (pointer buf, size_t size);
 
 /* ------------------------------------------------- */
 /*                Text Segment                       */

[MLton-commit] r4766

From: Matthew F. <fl...@ml...> - 2006-10-24 12:30:23

Update TODO
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO	2006-10-24 19:27:33 UTC (rev 4765)
+++ mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO	2006-10-24 19:30:11 UTC (rev 4766)
@@ -50,7 +50,3 @@
 
 Another minor thing I think we should do:
  * rename arch amd64 to x86_64, to be consistent with gcc target
-
-
-
-basis/MLton/allocTooLarge.c

[MLton-commit] r4765

From: Matthew F. <fl...@ml...> - 2006-10-24 12:27:48

Update TODO
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO	2006-10-24 19:25:50 UTC (rev 4764)
+++ mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/TODO	2006-10-24 19:27:33 UTC (rev 4765)
@@ -11,6 +11,9 @@
 (* drop ML 'bool' from FFI and add C 'bool' *)
 http://mlton.org/pipermail/mlton/2006-June/028927.html
  + http://mlton.org/pipermail/mlton/2006-June/028940.html
+ + Revision 4658 -- convert 'int' to 'bool' by comparision with zero
+                 -- revert when dropping 'bool' from FFI; comparision
+                    with zero will happen on the ML side.
 
 (* platform dependent c-types.h; change <build>/ layout *)
 http://mlton.org/pipermail/mlton/2006-June/028943.html
@@ -51,10 +54,3 @@
 
 
 basis/MLton/allocTooLarge.c
-
-
-
-
-Revision 4658 -- convert 'int' to 'bool' by comparision with zero
-              -- revert when dropping 'bool' from FFI; comparision
-                 with zero will happen on the ML side.

[MLton-commit] r4764

From: Matthew F. <fl...@ml...> - 2006-10-24 12:25:56

Move MLton_allocToLarge to platform.c, to be consistent with platform.h grouping
----------------------------------------------------------------------

D   mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/allocTooLarge.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform.c

----------------------------------------------------------------------

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/allocTooLarge.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/allocTooLarge.c	2006-10-24 17:03:24 UTC (rev 4763)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/allocTooLarge.c	2006-10-24 19:25:50 UTC (rev 4764)
@@ -1,6 +0,0 @@
-#include "platform.h"
-
-void MLton_allocTooLarge (void) {
-        fprintf (stderr, "Out of memory: attempt to allocate more than %d bytes.\n", 0x7FFFFFFF);
-        exit (2);
-}

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform.c	2006-10-24 17:03:24 UTC (rev 4763)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform.c	2006-10-24 19:25:50 UTC (rev 4764)
@@ -29,3 +29,9 @@
   GC_done (s);
   exit (status);
 }
+
+void MLton_allocTooLarge (void) {
+  fprintf (stderr, "Out of memory: attempt to allocate more than %zu bytes.\n", 
+           (size_t)0x7FFFFFFF);
+  exit (2);
+}

Flat | Threaded

<< < 1 .. 130 131 132 133 134 .. 163 > >> (Page 132 of 163)