Menu
▾
▴
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
(2) |
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
|
|
1
(1) |
2
(1) |
3
(3) |
4
|
|
5
(2) |
6
(6) |
7
|
8
(1) |
9
|
10
|
11
|
|
12
(4) |
13
(3) |
14
(4) |
15
(2) |
16
(3) |
17
(5) |
18
(1) |
|
19
(9) |
20
(11) |
21
(2) |
22
(4) |
23
|
24
|
25
|
|
26
|
27
(3) |
28
(7) |
29
(13) |
30
(7) |
|
|
|
From: Matthew F. <fl...@ml...> - 2006-11-30 20:35:11
|
Fixed a bug in elaboration of FFI forms; unary FFI types (e.g., array,
ref, vector) could be used in places where MLton.Pointer.t was
required. This would later cause the compiler to raise the TypeError
exception, along with a lot of XML IL.
----------------------------------------------------------------------
U mlton/branches/on-20050822-x86_64-branch/doc/changelog
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.sig
----------------------------------------------------------------------
Modified: mlton/branches/on-20050822-x86_64-branch/doc/changelog
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/changelog 2006-12-01 04:05:56 UTC (rev 4889)
+++ mlton/branches/on-20050822-x86_64-branch/doc/changelog 2006-12-01 04:35:07 UTC (rev 4890)
@@ -1,5 +1,11 @@
Here are the changes since version 20051202.
-
+
+* 2006-11-30
+ - Fixed a bug in elaboration of FFI forms; unary FFI types (e.g.,
+ array, ref, vector) could be used in places where MLton.Pointer.t was
+ required. This would later cause the compiler to raise the TypeError
+ exception, along with a lot of XML IL.
+
* 2006-08-03
- Fixed a bug in the "useless" SSA optimization, caused by calling
an imported C function and then ignoring the result.
Modified: mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.fun 2006-12-01 04:05:56 UTC (rev 4889)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.fun 2006-12-01 04:35:07 UTC (rev 4890)
@@ -33,6 +33,7 @@
val isBool = fn c => equals (c, bool)
val isExn = fn c => equals (c, exn)
+val isPointer = fn c => equals (c, pointer)
local
fun 'a make (prefix: string,
Modified: mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.sig
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.sig 2006-12-01 04:05:56 UTC (rev 4889)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.sig 2006-12-01 04:35:07 UTC (rev 4890)
@@ -53,6 +53,7 @@
val isCharX: tycon -> bool
val isExn: tycon -> bool
val isIntX: tycon -> bool
+ val isPointer: tycon -> bool
val isRealX: tycon -> bool
val isWordX: tycon -> bool
val layoutApp:
Modified: mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun 2006-12-01 04:05:56 UTC (rev 4889)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun 2006-12-01 04:35:07 UTC (rev 4890)
@@ -785,9 +785,9 @@
then SOME {ctype = CType.pointer, name = "Pointer"}
else NONE
- fun toCType (t: t): {ctype: CType.t, name: string} option =
- case toNullaryCType t of
- NONE => toUnaryCType t
+ fun toCType (ty: t): {ctype: CType.t, name: string} option =
+ case toNullaryCType ty of
+ NONE => toUnaryCType ty
| SOME {ctype, name} => SOME {ctype = ctype, name = name}
val toCType =
@@ -802,46 +802,47 @@
type z = {ctype: CType.t, name: string, ty: t}
- fun parse (ty: t): (z vector * z option) option =
+ fun toCBaseType (ty: t): z option =
+ case toCType ty of
+ NONE => NONE
+ | SOME {ctype, name} =>
+ SOME {ctype = ctype, name = name, ty = ty}
+ fun toCArgType (ty: t): z vector option =
+ case deTupleOpt ty of
+ NONE =>
+ (case toCBaseType ty of
+ NONE => NONE
+ | SOME z => SOME (Vector.new1 z))
+ | SOME tys =>
+ Exn.withEscape
+ (fn esc =>
+ (SOME o Vector.map)
+ (tys, fn ty =>
+ case toCBaseType ty of
+ NONE => esc NONE
+ | SOME z => z))
+ fun toCRetType (ty: t): z option option =
+ case toCBaseType ty of
+ NONE => if Type.isUnit ty
+ then SOME NONE
+ else NONE
+ | SOME z => SOME (SOME z)
+ fun toCFunType (ty: t): (z vector * z option) option =
case deArrowOpt ty of
NONE => NONE
- | SOME (t1, t2) =>
- let
- fun finish (ts: z vector) =
- case toCType t2 of
- NONE =>
- if Type.isUnit t2
- then SOME (ts, NONE)
- else NONE
- | SOME {ctype, name} =>
- SOME (ts, SOME {ctype = ctype, name = name, ty = t2})
- in
- case deTupleOpt t1 of
- NONE =>
- (case toCType t1 of
- NONE => NONE
- | SOME {ctype, name} =>
- finish (Vector.new1 {ctype = ctype,
- name = name,
- ty = t1}))
- | SOME ts =>
- let
- val cts = Vector.map (ts, toCType)
- in
- if Vector.forall (cts, isSome)
- then
- finish (Vector.map2
- (ts, cts, fn (ty, z) =>
- let
- val {ctype, name} = valOf z
- in
- {ctype = ctype,
- name = name,
- ty = ty}
- end))
- else NONE
- end
- end
+ | SOME (arg, ret) =>
+ (case toCArgType arg of
+ NONE => NONE
+ | SOME arg =>
+ (case toCRetType ret of
+ NONE => NONE
+ | SOME ret => SOME (arg, ret)))
+ fun toCPtrType (ty: t): z option =
+ if Type.isPointer ty
+ then let val {ctype, name} = valOf (toCType ty)
+ in SOME {ctype = ctype, name = name, ty = ty}
+ end
+ else NONE
end
fun parseIEAttributes (attributes: ImportExportAttribute.t list): Convention.t option =
@@ -879,7 +880,7 @@
str "invalid type for _import",
Type.layoutPretty elabedTy)
in
- case Type.parse expandedTy of
+ case Type.toCFunType expandedTy of
NONE =>
let
val () = invalidType ()
@@ -1042,11 +1043,11 @@
Control.error
(region, str "invalid type for _address",
Type.layoutPretty elabedTy)
+ val () =
+ case Type.toCPtrType expandedTy of
+ NONE => (error (); ())
+ | SOME _ => ()
val expandedPtrTy = expandedTy
- val () =
- case Type.toCType expandedPtrTy of
- SOME {ctype = CType.Pointer, ...} => ()
- | _ => (error (); ())
val addrExp =
mkAddress {expandedPtrTy = expandedPtrTy,
name = name,
@@ -1106,9 +1107,9 @@
end
end)
val ctypeCbTy =
- case Type.toCType expandedCbTy of
- SOME {ctype, ...} => ctype
- | NONE => (error (); CType.word (WordSize.default, {signed = false}))
+ case Type.toCBaseType expandedCbTy of
+ NONE => (error (); CType.word (WordSize.default, {signed = false}))
+ | SOME {ctype, ...} => ctype
val addrExp =
mkAddress {expandedPtrTy = Type.word (WordSize.pointer ()),
name = name,
@@ -1178,13 +1179,13 @@
end)
end)
val ctypeCbTy =
- case Type.toCType expandedCbTy of
- SOME {ctype, ...} => ctype
- | NONE => (error (); CType.word (WordSize.default, {signed = false}))
+ case Type.toCBaseType expandedCbTy of
+ NONE => (error (); CType.word (WordSize.default, {signed = false}))
+ | SOME {ctype, ...} => ctype
val () =
- case Type.toCType expandedPtrTy of
- SOME {ctype = CType.Pointer, ...} => ()
- | _ => (error (); ())
+ case Type.toCPtrType expandedPtrTy of
+ NONE => (error (); ())
+ | SOME _ => ()
val ptrArg = Var.newNoname ()
val ptrExp = Cexp.var (ptrArg, expandedPtrTy)
val symExp =
@@ -1227,9 +1228,9 @@
Type.layoutPretty elabedTy)
val expandedCbTy = expandedTy
val ctypeCbTy =
- case Type.toCType expandedCbTy of
- SOME {ctype, ...} => ctype
- | NONE => (error (); CType.word (WordSize.default, {signed = false}))
+ case Type.toCBaseType expandedCbTy of
+ NONE => (error (); CType.word (WordSize.default, {signed = false}))
+ | SOME {ctype, ...} => ctype
val isBool = Type.isBool expandedCbTy
val addrExp =
mkAddress {expandedPtrTy = Type.word (WordSize.pointer ()),
@@ -1266,7 +1267,7 @@
; Convention.Cdecl)
| SOME c => c
val (exportId, args, res) =
- case Type.parse expandedTy of
+ case Type.toCFunType expandedTy of
NONE =>
(invalidType ()
; (0, Vector.new0 (), NONE))
@@ -2821,9 +2822,9 @@
| SOME (fptrTy, cfTy) => (fptrTy, cfTy)
end)
val () =
- case Type.toCType expandedFPtrTy of
- SOME {ctype = CType.Pointer, ...} => ()
- | _ => (error (); ())
+ case Type.toCPtrType expandedFPtrTy of
+ NONE => (error (); ())
+ | SOME _ => ()
val fptr = Var.newNoname ()
val fptrArg = Cexp.var (fptr, expandedFPtrTy)
in
Modified: mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.fun 2006-12-01 04:05:56 UTC (rev 4889)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.fun 2006-12-01 04:35:07 UTC (rev 4890)
@@ -797,6 +797,11 @@
| Overload Overload.Int => true
| _ => false
+ fun isPointer t =
+ case toType t of
+ Con (c, _) => Tycon.isPointer c
+ | _ => false
+
fun isUnit t =
case toType t of
Record r =>
Modified: mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.sig
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.sig 2006-12-01 04:05:56 UTC (rev 4889)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.sig 2006-12-01 04:35:07 UTC (rev 4890)
@@ -42,6 +42,7 @@
val isCharX: t -> bool
val isExn: t -> bool
val isInt: t -> bool
+ val isPointer: t -> bool
val isUnit: t -> bool
val layout: t -> Layout.t
val layoutPretty: t -> Layout.t
|
|
From: Matthew F. <fl...@ml...> - 2006-11-30 20:06:05
|
Catching up on changelog documentation
----------------------------------------------------------------------
U mlton/trunk/doc/changelog
----------------------------------------------------------------------
Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog 2006-11-30 15:56:46 UTC (rev 4888)
+++ mlton/trunk/doc/changelog 2006-12-01 04:05:56 UTC (rev 4889)
@@ -1,5 +1,14 @@
Here are the changes since version 20051202.
+* 2006-11-19
+ - On *-darwin, work with GnuMP installed via Fink or MacPorts.
+
+* 2006-10-30
+ - Ported to x86-darwin.
+
+* 2006-09-23
+ - Added missing specification of find to the MONO_VECTOR signature.
+
* 2006-08-03
- Fixed a bug in the "useless" SSA optimization, caused by calling
an imported C function and then ignoring the result.
|
|
From: Vesa K. <ve...@ml...> - 2006-11-30 07:56:47
|
Extended top-level. ---------------------------------------------------------------------- U mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml ---------------------------------------------------------------------- Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml 2006-11-30 15:55:18 UTC (rev 4887) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml 2006-11-30 15:56:46 UTC (rev 4888) @@ -6,5 +6,45 @@ (** == Top-Level Bindings == *) +(** === Datatypes === *) + datatype product = datatype Product.product datatype sum = datatype Sum.sum + +(** === Functions === *) + +(** ==== Exn ==== *) + +val finally = Exn.finally +val try = Exn.try + +(** ==== Fn ==== *) + +val const = Fn.const +val curry = Fn.curry +val failing = Fn.failing +val flip = Fn.flip +val id = Fn.id +val pass = Fn.pass +val uncurry = Fn.uncurry +val undefined = Fn.undefined +val op /> = Fn./> +val op </ = Fn.</ +val op <\ = Fn.<\ +val op >| = Fn.>| +val op \> = Fn.\> +val op |< = Fn.|< + +(** ==== Option ==== *) + +val isNone = Option.isNone + +(** ==== Ref ==== *) + +val op :=: = Ref.:=: + +(** ==== UnPr ==== *) + +val andAlso = UnPr.andAlso +val negate = UnPr.negate +val orElse = UnPr.orElse |
|
From: Vesa K. <ve...@ml...> - 2006-11-30 07:55:20
|
Added basic exception handling operations to Exn : EXN.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/exn.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/exn.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/exn.sml 2006-11-30 15:53:21 UTC (rev 4886)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/exn.sml 2006-11-30 15:55:18 UTC (rev 4887)
@@ -8,4 +8,9 @@
open Exn Ext.Exn
val name = General.exnName
val message = General.exnMessage
+ fun apply f x = Sum.INR (f x) handle e => Sum.INL e
+ fun eval th = apply th ()
+ fun throw e = raise e
+ fun try (th, fv, fe) = Sum.sum (fe, fv) (eval th)
+ fun finally (th, ef) = try (th, Effect.past ef, throw o Effect.past ef)
end
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-30 15:53:21 UTC (rev 4886)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-30 15:55:18 UTC (rev 4887)
@@ -39,11 +39,6 @@
basis Ext = bas detail/$(SML_COMPILER)/extensions.mlb end
basis Fn = bas public/fn.sig detail/fn.sml end
- basis Exn = let
- open Ext
- in
- bas public/exn.sig detail/exn.sml end
- end
basis Unit = bas public/unit.sig end
basis Sq = bas public/sq.sig detail/sq.sml end
basis UnOp = bas public/un-op.sig detail/un-op.sml end
@@ -82,6 +77,11 @@
end
end
basis Sum = let open Fn in bas public/sum.sig detail/sum.sml end end
+ basis Exn = let
+ open Effect Ext Sum
+ in
+ bas public/exn.sig detail/exn.sml end
+ end
basis Emb = let
open Fn Products
in
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig 2006-11-30 15:53:21 UTC (rev 4886)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig 2006-11-30 15:55:18 UTC (rev 4887)
@@ -9,6 +9,29 @@
type t = exn
(** Convenience alias. *)
+ (** == Exception Handling == *)
+
+ val apply : ('a -> 'b) -> 'a -> (t, 'b) Sum.t
+ (** Perform an application ({apply f x = INR (f x) handle e => INL e}). *)
+
+ val eval : 'a Thunk.t -> (t, 'a) Sum.t
+ (** Evaluate a thunk ({eval th = INR (th ()) handle e => INL e}). *)
+
+ val finally : 'a Thunk.t * Unit.t Effect.t -> 'a
+ (** {finally (th, ef) = try (th, past ef, throw o past ef)}. *)
+
+ val throw : t -> 'a
+ (** Raise exception ({throw exn = raise exn}). *)
+
+ val try : 'a Thunk.t * ('a -> 'b) * (t -> 'b) -> 'b
+ (**
+ * Try-in-unless ({try (th, fv, fe) = sum (fv, fe) (eval th)}). {try}
+ * facilitates fine control over exception handling. {try} implements
+ * the try-in-unless construct of Benton and Kennedy.
+ *)
+
+ (** == Examining Exceptions == *)
+
val addMessager : (t -> String.t Option.t) Effect.t
(**
* Adds a pretty-printer to be used by {message} for converting
@@ -16,8 +39,6 @@
* recently added to least recently added.
*)
- (** == Examining Exceptions == *)
-
val message : t -> String.t
(** Same as {General.exnMessage}. *)
|
|
From: Vesa K. <ve...@ml...> - 2006-11-30 07:53:33
|
Some minor addition to Sum : SUM.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sum.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/sum.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sum.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sum.sml 2006-11-30 15:48:32 UTC (rev 4885)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sum.sml 2006-11-30 15:53:21 UTC (rev 4886)
@@ -14,20 +14,23 @@
val swap = fn INL x => INR x | INR x => INL x
val out = fn INL x => x | INR x => x
-
val app = sum
fun map (fA, fB) = sum (INL o fA, INR o fB)
- val isL = fn INL _ => true | INR _ => false
- val outL = fn INL l => l | INR _ => raise Sum
- val getL = fn INL x => (fn _ => x) | INR _ => (fn x => x)
- fun mapL f = map (f, fn r => r)
+ fun appL f = app (f, ignore)
+ fun getL (INL x) _ = x | getL (INR _) x = x
+ fun isL (INL _) = true | isL (INR _) = false
+ fun mapL f = map (f, Fn.id)
+ fun outL (INL l) = l | outL (INR _) = raise Sum
+ fun appR f = appL f o swap
+ fun getR ? = (getL o swap) ?
fun isR ? = (isL o swap) ?
+ fun mapR f = swap o mapL f o swap
fun outR ? = (outL o swap) ?
- fun getR ? = (getL o swap) ?
- fun mapR f = swap o mapL f o swap
+ fun mapLR f = map (f, f)
+
fun equal (eqA, eqB) =
fn (INL l, INL r) => eqA (l, r)
| (INL _, INR _) => false
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-30 15:48:32 UTC (rev 4885)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-30 15:53:21 UTC (rev 4886)
@@ -81,7 +81,7 @@
detail/product.sml
end
end
- basis Sum = bas public/sum.sig detail/sum.sml end
+ basis Sum = let open Fn in bas public/sum.sig detail/sum.sml end end
basis Emb = let
open Fn Products
in
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sum.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/sum.sig 2006-11-30 15:48:32 UTC (rev 4885)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/sum.sig 2006-11-30 15:53:21 UTC (rev 4886)
@@ -4,38 +4,40 @@
* See the file MLton-LICENSE for details.
*)
-(**
- * A general purpose sum type.
- *)
+(** A general purpose sum type. *)
signature SUM = sig
datatype ('a, 'b) sum = INL of 'a | INR of 'b
type ('a, 'b) t = ('a, 'b) sum
exception Sum
- val sum : ('a -> 'c) * ('b -> 'c) -> ('a, 'b) t -> 'c
+ (** == Operations == *)
val swap : ('a, 'b) t -> ('b, 'a) t
- val out : ('x, 'x) t -> 'x
-
- val app : 'a Effect.t * 'b Effect.t -> ('a, 'b) t Effect.t
-
- val map : ('a -> 'c) * ('b -> 'd) -> ('a, 'b) t -> ('c, 'd) t
-
val isL : ('a, 'b) t UnPr.t
val isR : ('a, 'b) t UnPr.t
+ val getL : ('a, 'b) t -> 'a UnOp.t
+ val getR : ('a, 'b) t -> 'b UnOp.t
+
+ val out : ('a, 'a) t -> 'a
val outL : ('a, 'b) t -> 'a
val outR : ('a, 'b) t -> 'b
- val getL : ('a, 'b) t -> 'a UnOp.t
- val getR : ('a, 'b) t -> 'b UnOp.t
+ (** == HOFs == *)
+ val sum : ('a -> 'c) * ('b -> 'c) -> ('a, 'b) t -> 'c
+
+ val app : 'a Effect.t * 'b Effect.t -> ('a, 'b) t Effect.t
+ val appL : 'a Effect.t -> ('a, 'b) t Effect.t
+ val appR : 'b Effect.t -> ('a, 'b) t Effect.t
+
+ val map : ('a -> 'c) * ('b -> 'd) -> ('a, 'b) t -> ('c, 'd) t
val mapL : ('a -> 'c) -> ('a, 'b) t -> ('c, 'b) t
val mapR : ('b -> 'd) -> ('a, 'b) t -> ('a, 'd) t
+ val mapLR : ('a -> 'b) -> ('a, 'a) t -> ('b, 'b) t
val equal : 'a BinPr.t * 'b BinPr.t -> ('a, 'b) t BinPr.t
-
val collate : 'a Cmp.t * 'b Cmp.t -> ('a, 'b) t Cmp.t
end
|
|
From: Vesa K. <ve...@ml...> - 2006-11-30 07:48:55
|
Added pass.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn.sml 2006-11-30 14:02:25 UTC (rev 4884)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/fn.sml 2006-11-30 15:48:32 UTC (rev 4885)
@@ -14,6 +14,7 @@
fun id x = x
fun uncurry f (x, y) = f x y
val op o = op o
+ fun pass x f = f x
fun undefined _ = raise Fail "undefined"
fun op <\ (x, f) y = f (x, y)
fun op \> (f, y) = f y
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig 2006-11-30 14:02:25 UTC (rev 4884)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig 2006-11-30 15:48:32 UTC (rev 4885)
@@ -36,6 +36,9 @@
val o : ('a -> 'b) * ('c -> 'a) -> 'c -> 'b
(** Function composition ({(g o f) x = f (g x)}). *)
+ val pass : 'a -> ('a -> 'b) -> 'b
+ (** Pass to continuation ({pass x f = f x}). *)
+
val undefined : 'a -> 'b
(**
* An undefined function. This is equivalent to {failing (Fail
|
|
From: Vesa K. <ve...@ml...> - 2006-11-30 06:02:31
|
Docs.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig 2006-11-30 05:15:42 UTC (rev 4883)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig 2006-11-30 14:02:25 UTC (rev 4884)
@@ -108,8 +108,13 @@
(** == Set Operations == *)
val contains : ''a t -> ''a UnPr.t
+ (** {contains l x = exists (x <\ op =) l} *)
(** == Equality == *)
val equal : 'a BinPr.t -> 'a t BinPr.t
+ (**
+ * Given an equality predicate on an element type returns an equality
+ * predicate on lists of the element type.
+ *)
end
|
|
From: Matthew F. <fl...@ml...> - 2006-11-29 21:15:44
|
Formatting; enabled -Wpacked ---------------------------------------------------------------------- U mlton/branches/on-20050822-x86_64-branch/runtime/Makefile ---------------------------------------------------------------------- Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile =================================================================== --- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-30 04:49:29 UTC (rev 4882) +++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-30 05:15:42 UTC (rev 4883) @@ -28,6 +28,25 @@ OPTWARNFLAGS := DEBUGWARNFLAGS := +ifeq ($(TARGET_ARCH), amd64) +FLAGS += -m32 +ifeq ($(findstring $(GCC_MAJOR_VERSION), 3),$(GCC_MAJOR_VERSION)) +OPTFLAGS += -mcpu=opteron +endif +ifeq ($(findstring $(GCC_MAJOR_VERSION), 4),$(GCC_MAJOR_VERSION)) +OPTFLAGS += -mtune=opteron +endif +ifeq ($(findstring $(GCC_VERSION), 3.4 4.0 4.1),$(GCC_VERSION)) +GCOPTFLAGS += --param inline-unit-growth=75 --param max-inline-insns-single=1000 +endif +DEBUGFLAGS += -gstabs+ +OPTWARNFLAGS += -Winline +endif + +ifeq ($(TARGET_ARCH), sparc) +FLAGS += -m32 -mcpu=v8 -Wa,-xarch=v8plusa +endif + ifeq ($(TARGET_ARCH), x86) ifeq ($(findstring $(GCC_MAJOR_VERSION), 3 4),$(GCC_MAJOR_VERSION)) OPTFLAGS += -falign-loops=2 -falign-jumps=2 -falign-functions=5 @@ -47,25 +66,6 @@ DEBUGFLAGS += -gstabs+ endif -ifeq ($(TARGET_ARCH), amd64) -FLAGS += -m32 -ifeq ($(findstring $(GCC_MAJOR_VERSION), 3),$(GCC_MAJOR_VERSION)) -OPTFLAGS += -mcpu=opteron -endif -ifeq ($(findstring $(GCC_MAJOR_VERSION), 4),$(GCC_MAJOR_VERSION)) -OPTFLAGS += -mtune=opteron -endif -ifeq ($(findstring $(GCC_VERSION), 3.4 4.0),$(GCC_VERSION)) -GCOPTFLAGS += --param inline-unit-growth=75 --param max-inline-insns-single=1000 -endif -DEBUGFLAGS += -gstabs+ -OPTWARNFLAGS += -Winline -endif - -ifeq ($(TARGET_ARCH), sparc) -FLAGS += -m32 -mcpu=v8 -Wa,-xarch=v8plusa -endif - ifeq ($(TARGET_OS), darwin) FLAGS += -I/sw/include -I/opt/local/include endif @@ -102,7 +102,7 @@ GCOPTCFLAGS = $(GCOPTFLAGS) GCDEBUGCFLAGS = $(GCDEBUGFLAGS) WARNCFLAGS := -WARNCFLAGS += -pedantic -Wall +WARNCFLAGS += -pedantic -Wall ifeq ($(findstring $(GCC_MAJOR_VERSION), 3),$(GCC_MAJOR_VERSION)) WARNCFLAGS += -W endif @@ -113,22 +113,22 @@ WARNCFLAGS += -Wformat=2 WARNCFLAGS += -Wno-format-nonliteral # WARNCFLAGS += -Wswitch-default -Wswitch-enum -WARNCFLAGS += -Wuninitialized +WARNCFLAGS += -Wuninitialized ifeq ($(findstring $(GCC_MAJOR_VERSION), 4),$(GCC_MAJOR_VERSION)) -WARNCFLAGS += -Winit-self +WARNCFLAGS += -Winit-self endif ifeq ($(findstring $(GCC_MAJOR_VERSION), 4),$(GCC_MAJOR_VERSION)) -WARNCFLAGS += -Wstrict-aliasing=2 +WARNCFLAGS += -Wstrict-aliasing=2 endif -WARNCFLAGS += -Wfloat-equal +WARNCFLAGS += -Wfloat-equal WARNCFLAGS += -Wundef -WARNCFLAGS += -Wshadow -WARNCFLAGS += -Wpointer-arith -WARNCFLAGS += -Wbad-function-cast -Wcast-qual -Wcast-align +WARNCFLAGS += -Wshadow +WARNCFLAGS += -Wpointer-arith +WARNCFLAGS += -Wbad-function-cast -Wcast-qual -Wcast-align WARNCFLAGS += -Wwrite-strings -# WARNCFLAGS += -Wconversion -WARNCFLAGS += -Waggregate-return -WARNCFLAGS += -Wstrict-prototypes +# WARNCFLAGS += -Wconversion +WARNCFLAGS += -Waggregate-return +WARNCFLAGS += -Wstrict-prototypes ifeq ($(findstring $(GCC_MAJOR_VERSION), 4),$(GCC_MAJOR_VERSION)) WARNCFLAGS += -Wold-style-definition endif @@ -136,11 +136,12 @@ ifeq ($(findstring $(GCC_MAJOR_VERSION), 4),$(GCC_MAJOR_VERSION)) WARNCFLAGS += -Wmissing-field-initializers endif -WARNCFLAGS += -Wmissing-noreturn +WARNCFLAGS += -Wmissing-noreturn WARNCFLAGS += -Wmissing-format-attribute -# WARNCFLAGS += -Wpacked -Wpadded -WARNCFLAGS += -Wredundant-decls -WARNCFLAGS += -Wnested-externs +WARNCFLAGS += -Wpacked +# WARNCFLAGS += -Wpadded +WARNCFLAGS += -Wredundant-decls +WARNCFLAGS += -Wnested-externs WARNCFLAGS += -Wlong-long # WARNCFLAGS += -Wunreachable-code WARNCFLAGS += $(WARNFLAGS) @@ -243,7 +244,7 @@ gdtoa/arith.h: gdtoa/arithchk.out cd gdtoa && ./arithchk.out >arith.h -libmlton.a: $(OBJS) +libmlton.a: $(OBJS) $(AR) libmlton.a $(OBJS) $(RANLIB) libmlton.a @@ -274,30 +275,30 @@ gen/basis-ffi.h gen/basis-ffi.sml: gen/gen-basis-ffi.sml gen/basis-ffi.def mlton -output gen/gen-basis-ffi gen/gen-basis-ffi.sml rm -f gen/basis-ffi.h gen/basis-ffi.sml - cd gen && ./gen-basis-ffi + cd gen && ./gen-basis-ffi rm -f gen/gen-basis-ffi basis-ffi.h: gen/basis-ffi.h rm -f basis-ffi.h cp gen/basis-ffi.h basis-ffi.h -bytecode/opcodes: bytecode/print-opcodes.c bytecode/opcode.h +bytecode/opcodes: bytecode/print-opcodes.c bytecode/opcode.h $(CC) $(OPTCFLAGS) $(WARNCFLAGS) -o bytecode/print-opcodes bytecode/print-opcodes.c rm -f bytecode/opcodes cd bytecode && ./print-opcodes > opcodes rm -f bytecode/print-opcodes -util-gdb.o: util.c $(UTILCFILES) cenv.h $(UTILHFILES) +util-gdb.o: util.c $(UTILCFILES) cenv.h $(UTILHFILES) $(CC) $(DEBUGCFLAGS) $(DEBUGWARNCFLAGS) -c -o $@ $< -util.o: util.c $(UTILCFILES) cenv.h $(UTILHFILES) +util.o: util.c $(UTILCFILES) cenv.h $(UTILHFILES) $(CC) $(OPTCFLAGS) $(OPTWARNCFLAGS) -c -o $@ $< -gc-gdb.o: gc.c $(GCCFILES) $(HFILES) +gc-gdb.o: gc.c $(GCCFILES) $(HFILES) $(CC) $(DEBUGCFLAGS) $(GCDEBUGCFLAGS) $(DEBUGWARNCFLAGS) -c -o $@ $< -gc.o: gc.c $(GCCFILES) $(HFILES) +gc.o: gc.c $(GCCFILES) $(HFILES) $(CC) $(OPTCFLAGS) $(GCOPTCFLAGS) $(OPTWARNCFLAGS) -c -o $@ $< bytecode/interpret-gdb.o: bytecode/interpret.c $(HFILES) $(BYTECODEHFILES) @@ -306,10 +307,10 @@ bytecode/interpret.o: bytecode/interpret.c $(HFILES) $(BYTECODEHFILES) $(CC) -I../include $(OPTCFLAGS) $(GCOPTCFLAGS) $(OPTWARNCFLAGS) -Wno-float-equal -Wno-shadow -c -o $@ $< -basis-gdb.o: basis.c $(BASISCFILES) $(HFILES) +basis-gdb.o: basis.c $(BASISCFILES) $(HFILES) $(CC) -Ibasis -Ibasis/Word -Ibasis/Real $(DEBUGCFLAGS) $(DEBUGWARNCFLAGS) -Wno-redundant-decls -c -o $@ $< -basis.o: basis.c $(BASISCFILES) $(HFILES) +basis.o: basis.c $(BASISCFILES) $(HFILES) $(CC) -Ibasis -Ibasis/Word -Ibasis/Real $(OPTCFLAGS) $(OPTWARNCFLAGS) -Wno-redundant-decls -c -o $@ $< # It looks like we don't follow the C spec w.r.t. aliasing. And gcc |
|
From: Matthew F. <fl...@ml...> - 2006-11-29 20:49:30
|
Move '-lgmp' to -link-opts; seems better than passing it via
-target-link-opts for every targetOS.
----------------------------------------------------------------------
U mlton/branches/on-20050822-x86_64-branch/bin/mlton-script
----------------------------------------------------------------------
Modified: mlton/branches/on-20050822-x86_64-branch/bin/mlton-script
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/mlton-script 2006-11-30 04:45:56 UTC (rev 4881)
+++ mlton/branches/on-20050822-x86_64-branch/bin/mlton-script 2006-11-30 04:49:29 UTC (rev 4882)
@@ -75,7 +75,8 @@
-mlb-path-map "$lib/mlb-path-map" \
-target-as-opts amd64 '-m32 -mtune=opteron' \
-target-cc-opts amd64 '-m32 -mtune=opteron' \
- -target-cc-opts darwin '-I/opt/local/include -I/sw/include' \
+ -target-cc-opts darwin \
+ '-I/opt/local/include -I/sw/include' \
-target-cc-opts freebsd '-I/usr/local/include' \
-target-cc-opts netbsd '-I/usr/pkg/include' \
-target-cc-opts openbsd '-I/usr/local/include' \
@@ -90,19 +91,15 @@
-malign-functions=5
-malign-jumps=2
-malign-loops=2' \
- -target-link-opts aix '-lgmp' \
-target-link-opts amd64 '-m32' \
- -target-link-opts cygwin '-lgmp' \
- -target-link-opts darwin '-L/opt/local/lib -L/sw/lib -lgmp' \
- -target-link-opts freebsd '-L/usr/local/lib/ -lgmp' \
- -target-link-opts hpux '-lgmp' \
- -target-link-opts linux '-lgmp' \
+ -target-link-opts darwin '-L/opt/local/lib -L/sw/lib' \
+ -target-link-opts freebsd '-L/usr/local/lib/' \
-target-link-opts mingw \
- '-lgmp -lws2_32 -lkernel32 -lpsapi -lnetapi32' \
+ '-lws2_32 -lkernel32 -lpsapi -lnetapi32' \
-target-link-opts netbsd \
- '-Wl,-R/usr/pkg/lib -L/usr/pkg/lib/ -lgmp' \
- -target-link-opts openbsd '-L/usr/local/lib/ -lgmp' \
- -target-link-opts solaris '-lgmp -lnsl -lsocket -lrt' \
- -link-opts '-lgdtoa -lm' \
+ '-Wl,-R/usr/pkg/lib -L/usr/pkg/lib/' \
+ -target-link-opts openbsd '-L/usr/local/lib/' \
+ -target-link-opts solaris '-lnsl -lsocket -lrt' \
+ -link-opts '-lgdtoa -lm -lgmp' \
-profile-exclude '<basis>' \
"$@"
|
|
From: Matthew F. <fl...@ml...> - 2006-11-29 20:46:01
|
Update comment ---------------------------------------------------------------------- U mlton/branches/on-20050822-x86_64-branch/bin/add-cross ---------------------------------------------------------------------- Modified: mlton/branches/on-20050822-x86_64-branch/bin/add-cross =================================================================== --- mlton/branches/on-20050822-x86_64-branch/bin/add-cross 2006-11-30 04:44:29 UTC (rev 4880) +++ mlton/branches/on-20050822-x86_64-branch/bin/add-cross 2006-11-30 04:45:56 UTC (rev 4881) @@ -12,10 +12,11 @@ # Examples of $crossTarget are i386-pc-cygwin and sparc-sun-solaris. # # 2. <crossArch> specifies the target architecture. -# The posibilities are: sparc, x86. +# The posibilities are: amd64, hppa, sparc, x86. # # 3. <crossOS> specifies the target OS. -# The possibilities are: cygwin, solaris. +# The possibilities are: aix, cygwin, darwin, freebsd, hpux, linux, mingw, +# netbsd, openbsd, solaris. # # 4. <machine> specifies a remote machine of the target type. This script # will ssh to $machine to compile the runtime and to compile and run the |
|
From: Matthew F. <fl...@ml...> - 2006-11-29 20:44:30
|
Improve add-cross to copy
basis-library/config/c/$(TARGET_ARCH)-$(TARGET_OS)
directory. Also, improved supported targets.
----------------------------------------------------------------------
U mlton/branches/on-20050822-x86_64-branch/bin/add-cross
----------------------------------------------------------------------
Modified: mlton/branches/on-20050822-x86_64-branch/bin/add-cross
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/add-cross 2006-11-30 04:33:32 UTC (rev 4879)
+++ mlton/branches/on-20050822-x86_64-branch/bin/add-cross 2006-11-30 04:44:29 UTC (rev 4880)
@@ -82,10 +82,12 @@
echo 'Making runtime.'
( cd "$src" && tar cf - Makefile basis-library bin include runtime ) |
ssh $machine "cd $tmp && tar xf - && cd runtime &&
- ../bin/mmake OMIT_BYTECODE=yes TARGET_ARCH=$crossArch TARGET_OS=$crossOS clean all &&
+ ../bin/mmake COMPILE_FAST=yes OMIT_BYTECODE=yes TARGET_ARCH=$crossArch TARGET_OS=$crossOS clean all &&
cd .. && make dirs runtime"
ssh $machine "cd $tmp/build/lib/self && tar cf - ." |
( cd "$lib/$crossTarget" && tar xf - )
+ssh $machine "cd $tmp/basis-library/config/c && tar cf - $crossArch-$crossOS" |
+ ( cd "$lib/sml/basis/config/c" && tar xf - )
( cd "$src" &&
mmake TARGET=$crossTarget TARGET_ARCH=$crossArch TARGET_OS=$crossOS \
mlbpathmap targetmap )
@@ -99,12 +101,52 @@
;;
esac
+# Copied from mlton-script
+case "$crossArch" in
+amd64)
+ archOpts='-m32'
+;;
+hppa)
+ archOpts=''
+;;
+sparc)
+ archOpts='-m32'
+;;
+x86)
+ archOpts=''
+;;
+esac
+
case "$crossOS" in
+aix)
+ osOpts=''
+;;
+cygwin)
+ osOpts=''
+;;
+darwin)
+ osOpts='-I/opt/local/include -I/sw/include -L/opt/local/lib -L/sw/lib -lgmp'
+;;
+freebsd)
+ osOpts='-I/usr/local/include -L/usr/local/lib/ -lgmp'
+;;
+hpux)
+ osOpts=''
+;;
+linux)
+ osOpts=''
+;;
mingw)
libs='-lws2_32 -lkernel32 -lpsapi -lnetapi32'
;;
+netbsd)
+ osOpts='-I/usr/pkg/include -Wl,-R/usr/pkg/lib -L/usr/pkg/lib/ -lgmp'
+;;
+openbsd)
+ osOpts='-I/usr/local/include -L/usr/local/lib/ -lgmp'
+;;
solaris)
- libs='-lrt -lnsl -lsocket'
+ osOpts='-lnsl -lsocket -lrt'
;;
esac
@@ -113,6 +155,6 @@
"$src/build/bin/mlton" -build-constants true |
ssh $machine "cd $tmp/runtime &&
cat >$exe.c &&
- gcc -I. -o $exe $exe.c libmlton.a libgdtoa.a -lgmp -lm $libs"
+ gcc $archOpts $osOpts -I. -o $exe $exe.c libmlton.a libgdtoa.a -lgmp -lm"
ssh $machine "$tmp/runtime/$exe$suf" >"$lib/$crossTarget/constants"
ssh $machine "rm -rf $tmp"
|
|
From: Matthew F. <fl...@ml...> - 2006-11-29 20:33:37
|
Create real-basis.c in correct directory ---------------------------------------------------------------------- U mlton/branches/on-20050822-x86_64-branch/runtime/Makefile ---------------------------------------------------------------------- Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile =================================================================== --- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-30 04:10:33 UTC (rev 4878) +++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-30 04:33:32 UTC (rev 4879) @@ -257,8 +257,8 @@ cat $(BASISCFILES) >> basis.c basis/Real/real-basis.c: $(REAL_BASISCFILES) - rm -f basis/real/real-basis.c - cat $(REAL_BASISCFILES) >> basis/real/real-basis.c + rm -f basis/Real/real-basis.c + cat $(REAL_BASISCFILES) >> basis/Real/real-basis.c gen/c-types.h gen/c-types.sml gen/ml-types.h: gen/gen-types.c util.h util.o $(CC) $(OPTCFLAGS) $(WARNCFLAGS) -o gen/gen-types gen/gen-types.c util.o |
|
From: Matthew F. <fl...@ml...> - 2006-11-29 20:10:34
|
Fixed backwards logic in OMIT_BYTECODE ---------------------------------------------------------------------- U mlton/branches/on-20050822-x86_64-branch/runtime/Makefile ---------------------------------------------------------------------- Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile =================================================================== --- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-30 03:55:54 UTC (rev 4877) +++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-30 04:10:33 UTC (rev 4878) @@ -204,6 +204,7 @@ platform/$(TARGET_OS)-gdb.o ifeq ($(OMIT_BYTECODE), yes) +else OBJS += bytecode/interpret.o DEBUG_OBJS += bytecode/interpret-gdb.o endif |
|
From: Matthew F. <fl...@ml...> - 2006-11-29 19:55:54
|
Reinstate OMIT_BYTECODE control ---------------------------------------------------------------------- U mlton/branches/on-20050822-x86_64-branch/runtime/Makefile ---------------------------------------------------------------------- Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile =================================================================== --- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-30 03:55:23 UTC (rev 4876) +++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-30 03:55:54 UTC (rev 4877) @@ -196,15 +196,18 @@ util.o \ gc.o \ platform.o \ - platform/$(TARGET_OS).o \ - bytecode/interpret.o + platform/$(TARGET_OS).o DEBUG_OBJS := \ util-gdb.o \ gc-gdb.o \ platform-gdb.o \ - platform/$(TARGET_OS)-gdb.o \ - bytecode/interpret-gdb.o + platform/$(TARGET_OS)-gdb.o +ifeq ($(OMIT_BYTECODE), yes) + OBJS += bytecode/interpret.o + DEBUG_OBJS += bytecode/interpret-gdb.o +endif + ifeq ($(COMPILE_FAST), yes) OBJS += basis.o basis/Real/real-basis.o DEBUG_OBJS += basis-gdb.o basis/Real/real-basis-gdb.o |
|
From: Matthew F. <fl...@ml...> - 2006-11-29 19:55:24
|
Create directory basis-library/config/c/$(TARGET_ARCH)-$(TARGET_OS) when copying c-types.sml from runtime. ---------------------------------------------------------------------- U mlton/branches/on-20050822-x86_64-branch/Makefile ---------------------------------------------------------------------- Modified: mlton/branches/on-20050822-x86_64-branch/Makefile =================================================================== --- mlton/branches/on-20050822-x86_64-branch/Makefile 2006-11-30 03:54:37 UTC (rev 4875) +++ mlton/branches/on-20050822-x86_64-branch/Makefile 2006-11-30 03:55:23 UTC (rev 4876) @@ -284,6 +284,7 @@ $(MAKE) -C runtime $(CP) include/*.h "$(INC)/" $(CP) runtime/*.a "$(LIB)/$(TARGET)/" + mkdir -p "$(SRC)/basis-library/config/c/$(TARGET_ARCH)-$(TARGET_OS)" $(CP) runtime/gen/c-types.sml \ basis-library/config/c/$(TARGET_ARCH)-$(TARGET_OS)/c-types.sml $(CP) runtime/gen/basis-ffi.sml \ |
|
From: Matthew F. <fl...@ml...> - 2006-11-29 19:54:39
|
Ignore basis-library/config/c/$(TARGET_ARCH)-$(TARGET_OS) directories. ---------------------------------------------------------------------- _U mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/ A mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/.ignore ---------------------------------------------------------------------- Property changes on: mlton/branches/on-20050822-x86_64-branch/basis-library/config/c ___________________________________________________________________ Name: svn:ignore + amd64-linux hppa-hpux hppa-linux powerpc-aix powerpc-darwin powerpc-linux sparc-linux sparc-solaris x86-cygwin x86-darwin x86-freebsd x86-linux x86-mingw x86-netbsd x86-openbsd Added: mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/.ignore =================================================================== --- mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/.ignore 2006-11-30 03:24:09 UTC (rev 4874) +++ mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/.ignore 2006-11-30 03:54:37 UTC (rev 4875) @@ -0,0 +1,15 @@ +amd64-linux +hppa-hpux +hppa-linux +powerpc-aix +powerpc-darwin +powerpc-linux +sparc-linux +sparc-solaris +x86-cygwin +x86-darwin +x86-freebsd +x86-linux +x86-mingw +x86-netbsd +x86-openbsd |
|
From: Matthew F. <fl...@ml...> - 2006-11-29 19:24:35
|
Drop the basis-library/config/c/$(TARGET_ARCH)-$(TARGET_OS) directories from the repository. The only contents of these directories is a c-types.sml file, which is automatically built and copied by the runtime target of the top-level Makefile. ---------------------------------------------------------------------- D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/amd64-linux/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/hppa-hpux/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/powerpc-aix/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/powerpc-darwin/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/powerpc-linux/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/sparc-solaris/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/x86-cygwin/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/x86-darwin/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/x86-freebsd/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/x86-linux/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/x86-mingw/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/x86-netbsd/ D mlton/branches/on-20050822-x86_64-branch/basis-library/config/c/x86-openbsd/ ---------------------------------------------------------------------- |
|
From: Vesa K. <ve...@ml...> - 2006-11-29 09:56:15
|
Doc tweaks.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig 2006-11-29 13:22:33 UTC (rev 4872)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig 2006-11-29 17:56:14 UTC (rev 4873)
@@ -4,23 +4,17 @@
* See the file MLton-LICENSE for details.
*)
-(**
- * Extended {CHAR} signature.
- *)
+(** Extended {CHAR} signature. *)
signature CHAR = sig
include CHAR
type t = char
- (**
- * Convenience alias.
- *)
+ (** Convenience alias. *)
(** == Bounds == *)
val minOrd : Int.t
- (**
- * The least character code. It always equals {0}.
- *)
+ (** The least character code. It always equals {0}. *)
val boundsChar : t Sq.t
(**
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig 2006-11-29 13:22:33 UTC (rev 4872)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig 2006-11-29 17:56:14 UTC (rev 4873)
@@ -7,13 +7,10 @@
(** Signature for the {Emb} structure for embeddings. *)
signature EMB = sig
type ('a, 'b) t = ('a -> 'b) * ('b -> 'a Option.t)
- (** Embedding of {'a} into {'b} with injection and projection functions. *)
+ (** Witness to an embedding of {'a} into {'b}. *)
val id : ('a, 'a) t
- (**
- * The identity embedding. This is always equivalent to {(fn a => a,
- * SOME)}.
- *)
+ (** The identity embedding. This is always equivalent to {(id, SOME)}. *)
val to : ('a, 'b) t -> 'a -> 'b
(** Extracts the injection part of the given embedding. *)
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig 2006-11-29 13:22:33 UTC (rev 4872)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig 2006-11-29 17:56:14 UTC (rev 4873)
@@ -7,6 +7,7 @@
(** Utilities for dealing with exceptions. *)
signature EXN = sig
type t = exn
+ (** Convenience alias. *)
val addMessager : (t -> String.t Option.t) Effect.t
(**
|
|
From: Vesa K. <ve...@ml...> - 2006-11-29 05:22:35
|
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-11-29 12:47:40 UTC (rev 4871)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/readme.txt 2006-11-29 13:22:33 UTC (rev 4872)
@@ -1,15 +1,15 @@
Extended Basis Library
----------------------
- This library implements a number of minor extensions to the signatures
- and structures of the Standard ML Basis Library [1]. These extensions
- are done in a non-intrusive manner by simply rebinding the signatures
- and structures of the basis library. The reason for extending the
- basis library in this way is that the extensions are naturally
- associated with specific basis library modules. Extensions include
- things like isomorphisms and embeddings (pairs of the form (toX,
- fromX)), bounds (pairs of the form (minX, maxX)), and simple utility
- functions such as isZero, isEven and isOdd.
+ This library implements a number of extensions to the signatures and
+ structures of the Standard ML Basis Library [1] as well as several
+ additional modules. The extensions are done in a non-intrusive manner
+ by simply rebinding the signatures and structures of the basis library.
+ The reason for extending the basis library in this way is that the
+ extensions are naturally associated with specific basis library
+ modules. Extensions include things like isomorphisms and embeddings
+ (pairs of the form (toX, fromX)), bounds (pairs of the form (minX,
+ maxX)), and simple utility functions such as isZero, isEven and isOdd.
Info
@@ -92,11 +92,11 @@
easier to use.
On the other hand, it probably doesn't make sense to put everything
- into this library. As a rule of thumb, things that naturally belong
- (fuzzy, yes) to specific basis library modules and what those things
- depend on should go into this library. Everything else, even if looks
- like stuff that could be in a basis library, but there is no module in
- *the* basis library for it, should go into other libraries.
+ into this library. As a rule of thumb, things that naturally belong to
+ specific basis library modules and what those things depend on should
+ go into this library. On the other hand, when there are several ways
+ to implement something with significantly different trade-offs, it
+ should most likely go into another library.
Contributions
|
|
From: Vesa K. <ve...@ml...> - 2006-11-29 04:47:55
|
Documentation.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig 2006-11-29 03:57:38 UTC (rev 4870)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig 2006-11-29 12:47:40 UTC (rev 4871)
@@ -7,17 +7,13 @@
(** Signature for the {Iso} structure for isomorphisms. *)
signature ISO = sig
type ('a, 'b) t = ('a -> 'b) * ('b -> 'a)
- (**
- * Isomorphism between {'a} and {'b} with injection and projection
- * functions.
- *)
+ (** Witness to an isomorphism between {'a} and {'b}. *)
val id : ('a, 'a) t
- (**
- * The identity isomorphism. This is always equivalent to {(fn a => a,
- * fn a => a)}.
- *)
+ (** The trivial isomorphism. This is always equivalent to {(id, id)}. *)
+ (** == Basic == *)
+
val to : ('a, 'b) t -> 'a -> 'b
(** Extracts the injection part of the given isomorphism. *)
@@ -25,12 +21,31 @@
(** Extracts the projection part of the given isomorphism. *)
val swap : ('a, 'b) t -> ('b, 'a) t
+ (** Switch the direction of the isomorphism. *)
+
+ (** == Combinators for Building Isomorphisms == *)
+
val map : ('c, 'a) t * ('b, 'd) t -> ('a, 'b) t -> ('c, 'd) t
+ (** Changes the domain and range of an isomorphism. *)
val <--> : ('a, 'b) t * ('c, 'a) t -> ('c, 'b) t
(** Isomorphism composition. *)
val --> : ('c, 'a) t * ('b, 'd) t -> (('a, 'b) Fn.t, ('c, 'd) Fn.t) t
+ (**
+ * Creates an isomorphism between functions given isomorphisms between
+ * domains and ranges.
+ *)
+
val +` : ('a, 'c) t * ('b, 'd) t -> (('a, 'b) Sum.t, ('c, 'd) Sum.t) t
+ (**
+ * Creates an isomorphism between sums given isomorphisms between
+ * elements.
+ *)
+
val *` : ('a, 'c) t * ('b, 'd) t -> (('a, 'b) Product.t, ('c, 'd) Product.t) t
+ (**
+ * Creates an isomorphism between products given isomorphisms between
+ * elements.
+ *)
end
|
|
From: Matthew F. <fl...@ml...> - 2006-11-28 19:57:40
|
Include gen/basis-ffi.h and gen/basis-ffi.sml in sources. Eliminates a dependency on a working MLton compiler to build runtime. ---------------------------------------------------------------------- _U mlton/branches/on-20050822-x86_64-branch/runtime/gen/ U mlton/branches/on-20050822-x86_64-branch/runtime/gen/.ignore A mlton/branches/on-20050822-x86_64-branch/runtime/gen/basis-ffi.h A mlton/branches/on-20050822-x86_64-branch/runtime/gen/basis-ffi.sml U mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c ---------------------------------------------------------------------- Property changes on: mlton/branches/on-20050822-x86_64-branch/runtime/gen ___________________________________________________________________ Name: svn:ignore - basis-ffi.h basis-ffi.sml c-types.h c-types.sml ml-types.h + c-types.h c-types.sml ml-types.h Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gen/.ignore =================================================================== --- mlton/branches/on-20050822-x86_64-branch/runtime/gen/.ignore 2006-11-29 03:24:55 UTC (rev 4869) +++ mlton/branches/on-20050822-x86_64-branch/runtime/gen/.ignore 2006-11-29 03:57:38 UTC (rev 4870) @@ -1,5 +1,3 @@ -basis-ffi.h -basis-ffi.sml c-types.h c-types.sml ml-types.h Added: mlton/branches/on-20050822-x86_64-branch/runtime/gen/basis-ffi.h =================================================================== --- mlton/branches/on-20050822-x86_64-branch/runtime/gen/basis-ffi.h 2006-11-29 03:24:55 UTC (rev 4869) +++ mlton/branches/on-20050822-x86_64-branch/runtime/gen/basis-ffi.h 2006-11-29 03:57:38 UTC (rev 4870) @@ -0,0 +1,1151 @@ +/* This file is automatically generated. Do not edit. */ + + +#ifndef _MLTON_BASIS_FFI_H_ + +#define _MLTON_BASIS_FFI_H_ + +extern C_Int_t CommandLine_argc; +extern C_StringArray_t CommandLine_argv; +extern C_String_t CommandLine_commandName; +C_String_t Cygwin_toFullWindowsPath(NullString8_t); +C_Errno_t(C_Int_t) Date_gmTime(Ref(C_Time_t)); +C_Double_t Date_localOffset(void); +C_Errno_t(C_Int_t) Date_localTime(Ref(C_Time_t)); +C_Errno_t(C_Time_t) Date_mkTime(void); +C_Size_t Date_strfTime(Array(Char8_t),C_Size_t,NullString8_t); +C_Int_t Date_Tm_getHour(void); +C_Int_t Date_Tm_getIsDst(void); +C_Int_t Date_Tm_getMDay(void); +C_Int_t Date_Tm_getMin(void); +C_Int_t Date_Tm_getMon(void); +C_Int_t Date_Tm_getSec(void); +C_Int_t Date_Tm_getWDay(void); +C_Int_t Date_Tm_getYDay(void); +C_Int_t Date_Tm_getYear(void); +void Date_Tm_setHour(C_Int_t); +void Date_Tm_setIsDst(C_Int_t); +void Date_Tm_setMDay(C_Int_t); +void Date_Tm_setMin(C_Int_t); +void Date_Tm_setMon(C_Int_t); +void Date_Tm_setSec(C_Int_t); +void Date_Tm_setWDay(C_Int_t); +void Date_Tm_setYDay(C_Int_t); +void Date_Tm_setYear(C_Int_t); +extern const C_Int_t IEEEReal_FloatClass_FP_INFINITE; +extern const C_Int_t IEEEReal_FloatClass_FP_NAN; +extern const C_Int_t IEEEReal_FloatClass_FP_NORMAL; +extern const C_Int_t IEEEReal_FloatClass_FP_SUBNORMAL; +extern const C_Int_t IEEEReal_FloatClass_FP_ZERO; +C_Int_t IEEEReal_getRoundingMode(void); +extern const C_Int_t IEEEReal_RoundingMode_FE_DOWNWARD; +extern const C_Int_t IEEEReal_RoundingMode_FE_NOSUPPORT; +extern const C_Int_t IEEEReal_RoundingMode_FE_TONEAREST; +extern const C_Int_t IEEEReal_RoundingMode_FE_TOWARDZERO; +extern const C_Int_t IEEEReal_RoundingMode_FE_UPWARD; +void IEEEReal_setRoundingMode(C_Int_t); +__attribute__((noreturn)) void MLton_bug(NullString8_t); +extern const C_Int_t MLton_Itimer_PROF; +extern const C_Int_t MLton_Itimer_REAL; +C_Errno_t(C_Int_t) MLton_Itimer_set(C_Int_t,C_Time_t,C_SUSeconds_t,C_Time_t,C_SUSeconds_t); +extern const C_Int_t MLton_Itimer_VIRTUAL; +C_Errno_t(C_PId_t) MLton_Process_cwait(C_PId_t,Ref(C_Status_t)); +C_Errno_t(C_Int_t) MLton_Process_spawne(NullString8_t,String8_t,Array(C_Pointer_t),Vector(C_Size_t),String8_t,Array(C_Pointer_t),Vector(C_Size_t)); +C_Errno_t(C_Int_t) MLton_Process_spawnp(NullString8_t,String8_t,Array(C_Pointer_t),Vector(C_Size_t)); +extern const C_Int_t MLton_Rlimit_AS; +extern const C_Int_t MLton_Rlimit_CORE; +extern const C_Int_t MLton_Rlimit_CPU; +extern const C_Int_t MLton_Rlimit_DATA; +extern const C_Int_t MLton_Rlimit_FSIZE; +C_Errno_t(C_Int_t) MLton_Rlimit_get(C_Int_t); +C_RLim_t MLton_Rlimit_getHard(void); +C_RLim_t MLton_Rlimit_getSoft(void); +extern const C_RLim_t MLton_Rlimit_INFINITY; +extern const C_Int_t MLton_Rlimit_NOFILE; +C_Errno_t(C_Int_t) MLton_Rlimit_set(C_Int_t,C_RLim_t,C_RLim_t); +extern const C_Int_t MLton_Rlimit_STACK; +C_Time_t MLton_Rusage_children_stime_sec(void); +C_SUSeconds_t MLton_Rusage_children_stime_usec(void); +C_Time_t MLton_Rusage_children_utime_sec(void); +C_SUSeconds_t MLton_Rusage_children_utime_usec(void); +C_Time_t MLton_Rusage_gc_stime_sec(void); +C_SUSeconds_t MLton_Rusage_gc_stime_usec(void); +C_Time_t MLton_Rusage_gc_utime_sec(void); +C_SUSeconds_t MLton_Rusage_gc_utime_usec(void); +void MLton_Rusage_getrusage(void); +C_Time_t MLton_Rusage_self_stime_sec(void); +C_SUSeconds_t MLton_Rusage_self_stime_usec(void); +C_Time_t MLton_Rusage_self_utime_sec(void); +C_SUSeconds_t MLton_Rusage_self_utime_usec(void); +void MLton_Syslog_closelog(void); +extern const C_Int_t MLton_Syslog_Facility_LOG_AUTH; +extern const C_Int_t MLton_Syslog_Facility_LOG_CRON; +extern const C_Int_t MLton_Syslog_Facility_LOG_DAEMON; +extern const C_Int_t MLton_Syslog_Facility_LOG_KERN; +extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL0; +extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL1; +extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL2; +extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL3; +extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL4; +extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL5; +extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL6; +extern const C_Int_t MLton_Syslog_Facility_LOG_LOCAL7; +extern const C_Int_t MLton_Syslog_Facility_LOG_LPR; +extern const C_Int_t MLton_Syslog_Facility_LOG_MAIL; +extern const C_Int_t MLton_Syslog_Facility_LOG_NEWS; +extern const C_Int_t MLton_Syslog_Facility_LOG_USER; +extern const C_Int_t MLton_Syslog_Facility_LOG_UUCP; +extern const C_Int_t MLton_Syslog_Logopt_LOG_CONS; +extern const C_Int_t MLton_Syslog_Logopt_LOG_NDELAY; +extern const C_Int_t MLton_Syslog_Logopt_LOG_NOWAIT; +extern const C_Int_t MLton_Syslog_Logopt_LOG_ODELAY; +extern const C_Int_t MLton_Syslog_Logopt_LOG_PID; +void MLton_Syslog_openlog(NullString8_t,C_Int_t,C_Int_t); +extern const C_Int_t MLton_Syslog_Severity_LOG_ALERT; +extern const C_Int_t MLton_Syslog_Severity_LOG_CRIT; +extern const C_Int_t MLton_Syslog_Severity_LOG_DEBUG; +extern const C_Int_t MLton_Syslog_Severity_LOG_EMERG; +extern const C_Int_t MLton_Syslog_Severity_LOG_ERR; +extern const C_Int_t MLton_Syslog_Severity_LOG_INFO; +extern const C_Int_t MLton_Syslog_Severity_LOG_NOTICE; +extern const C_Int_t MLton_Syslog_Severity_LOG_WARNING; +void MLton_Syslog_syslog(C_Int_t,NullString8_t); +Word32_t Net_htonl(Word32_t); +Word16_t Net_htons(Word16_t); +Word32_t Net_ntohl(Word32_t); +Word16_t Net_ntohs(Word16_t); +C_Int_t NetHostDB_getByAddress(Vector(Word8_t),C_Socklen_t); +C_Int_t NetHostDB_getByName(NullString8_t); +void NetHostDB_getEntryAddrsN(C_Int_t,Array(Word8_t)); +C_Int_t NetHostDB_getEntryAddrsNum(void); +C_Int_t NetHostDB_getEntryAddrType(void); +C_String_t NetHostDB_getEntryAliasesN(C_Int_t); +C_Int_t NetHostDB_getEntryAliasesNum(void); +C_Int_t NetHostDB_getEntryLength(void); +C_String_t NetHostDB_getEntryName(void); +C_Errno_t(C_Int_t) NetHostDB_getHostName(Array(Char8_t),C_Size_t); +extern const C_Int_t NetHostDB_INADDR_ANY; +extern const C_Size_t NetHostDB_inAddrSize; +C_Int_t NetProtDB_getByName(NullString8_t); +C_Int_t NetProtDB_getByNumber(C_Int_t); +C_String_t NetProtDB_getEntryAliasesN(C_Int_t); +C_Int_t NetProtDB_getEntryAliasesNum(void); +C_String_t NetProtDB_getEntryName(void); +C_Int_t NetProtDB_getEntryProto(void); +C_Int_t NetServDB_getByName(NullString8_t,NullString8_t); +C_Int_t NetServDB_getByNameNull(NullString8_t); +C_Int_t NetServDB_getByPort(C_Int_t,NullString8_t); +C_Int_t NetServDB_getByPortNull(C_Int_t); +C_String_t NetServDB_getEntryAliasesN(C_Int_t); +C_Int_t NetServDB_getEntryAliasesNum(void); +C_String_t NetServDB_getEntryName(void); +C_Int_t NetServDB_getEntryPort(void); +C_String_t NetServDB_getEntryProto(void); +C_Errno_t(C_Int_t) OS_IO_poll(Vector(C_Fd_t),Vector(C_Short_t),C_NFds_t,C_Int_t,Array(C_Short_t)); +extern const C_Short_t OS_IO_POLLIN; +extern const C_Short_t OS_IO_POLLOUT; +extern const C_Short_t OS_IO_POLLPRI; +Real32_t PackReal32_subArr(Array(Word8_t),C_Ptrdiff_t); +Real32_t PackReal32_subArrRev(Array(Word8_t),C_Ptrdiff_t); +Real32_t PackReal32_subVec(Vector(Word8_t),C_Ptrdiff_t); +Real32_t PackReal32_subVecRev(Vector(Word8_t),C_Ptrdiff_t); +void PackReal32_update(Array(Word8_t),C_Ptrdiff_t,Real32_t); +void PackReal32_updateRev(Array(Word8_t),C_Ptrdiff_t,Real32_t); +Real64_t PackReal64_subArr(Array(Word8_t),C_Ptrdiff_t); +Real64_t PackReal64_subArrRev(Array(Word8_t),C_Ptrdiff_t); +Real64_t PackReal64_subVec(Vector(Word8_t),C_Ptrdiff_t); +Real64_t PackReal64_subVecRev(Vector(Word8_t),C_Ptrdiff_t); +void PackReal64_update(Array(Word8_t),C_Ptrdiff_t,Real64_t); +void PackReal64_updateRev(Array(Word8_t),C_Ptrdiff_t,Real64_t); +Word16_t PackWord16_subArr(Array(Word8_t),C_Ptrdiff_t); +Word16_t PackWord16_subArrRev(Array(Word8_t),C_Ptrdiff_t); +Word16_t PackWord16_subVec(Vector(Word8_t),C_Ptrdiff_t); +Word16_t PackWord16_subVecRev(Vector(Word8_t),C_Ptrdiff_t); +void PackWord16_update(Array(Word8_t),C_Ptrdiff_t,Word16_t); +void PackWord16_updateRev(Array(Word8_t),C_Ptrdiff_t,Word16_t); +Word32_t PackWord32_subArr(Array(Word8_t),C_Ptrdiff_t); +Word32_t PackWord32_subArrRev(Array(Word8_t),C_Ptrdiff_t); +Word32_t PackWord32_subVec(Vector(Word8_t),C_Ptrdiff_t); +Word32_t PackWord32_subVecRev(Vector(Word8_t),C_Ptrdiff_t); +void PackWord32_update(Array(Word8_t),C_Ptrdiff_t,Word32_t); +void PackWord32_updateRev(Array(Word8_t),C_Ptrdiff_t,Word32_t); +Word64_t PackWord64_subArr(Array(Word8_t),C_Ptrdiff_t); +Word64_t PackWord64_subArrRev(Array(Word8_t),C_Ptrdiff_t); +Word64_t PackWord64_subVec(Vector(Word8_t),C_Ptrdiff_t); +Word64_t PackWord64_subVecRev(Vector(Word8_t),C_Ptrdiff_t); +void PackWord64_update(Array(Word8_t),C_Ptrdiff_t,Word64_t); +void PackWord64_updateRev(Array(Word8_t),C_Ptrdiff_t,Word64_t); +Word8_t PackWord8_subArr(Array(Word8_t),C_Ptrdiff_t); +Word8_t PackWord8_subArrRev(Array(Word8_t),C_Ptrdiff_t); +Word8_t PackWord8_subVec(Vector(Word8_t),C_Ptrdiff_t); +Word8_t PackWord8_subVecRev(Vector(Word8_t),C_Ptrdiff_t); +void PackWord8_update(Array(Word8_t),C_Ptrdiff_t,Word8_t); +void PackWord8_updateRev(Array(Word8_t),C_Ptrdiff_t,Word8_t); +void Posix_Error_clearErrno(void); +extern const C_Int_t Posix_Error_E2BIG; +extern const C_Int_t Posix_Error_EACCES; +extern const C_Int_t Posix_Error_EADDRINUSE; +extern const C_Int_t Posix_Error_EADDRNOTAVAIL; +extern const C_Int_t Posix_Error_EAFNOSUPPORT; +extern const C_Int_t Posix_Error_EAGAIN; +extern const C_Int_t Posix_Error_EALREADY; +extern const C_Int_t Posix_Error_EBADF; +extern const C_Int_t Posix_Error_EBADMSG; +extern const C_Int_t Posix_Error_EBUSY; +extern const C_Int_t Posix_Error_ECANCELED; +extern const C_Int_t Posix_Error_ECHILD; +extern const C_Int_t Posix_Error_ECONNABORTED; +extern const C_Int_t Posix_Error_ECONNREFUSED; +extern const C_Int_t Posix_Error_ECONNRESET; +extern const C_Int_t Posix_Error_EDEADLK; +extern const C_Int_t Posix_Error_EDESTADDRREQ; +extern const C_Int_t Posix_Error_EDOM; +extern const C_Int_t Posix_Error_EDQUOT; +extern const C_Int_t Posix_Error_EEXIST; +extern const C_Int_t Posix_Error_EFAULT; +extern const C_Int_t Posix_Error_EFBIG; +extern const C_Int_t Posix_Error_EHOSTUNREACH; +extern const C_Int_t Posix_Error_EIDRM; +extern const C_Int_t Posix_Error_EILSEQ; +extern const C_Int_t Posix_Error_EINPROGRESS; +extern const C_Int_t Posix_Error_EINTR; +extern const C_Int_t Posix_Error_EINVAL; +extern const C_Int_t Posix_Error_EIO; +extern const C_Int_t Posix_Error_EISCONN; +extern const C_Int_t Posix_Error_EISDIR; +extern const C_Int_t Posix_Error_ELOOP; +extern const C_Int_t Posix_Error_EMFILE; +extern const C_Int_t Posix_Error_EMLINK; +extern const C_Int_t Posix_Error_EMSGSIZE; +extern const C_Int_t Posix_Error_EMULTIHOP; +extern const C_Int_t Posix_Error_ENAMETOOLONG; +extern const C_Int_t Posix_Error_ENETDOWN; +extern const C_Int_t Posix_Error_ENETRESET; +extern const C_Int_t Posix_Error_ENETUNREACH; +extern const C_Int_t Posix_Error_ENFILE; +extern const C_Int_t Posix_Error_ENOBUFS; +extern const C_Int_t Posix_Error_ENODATA; +extern const C_Int_t Posix_Error_ENODEV; +extern const C_Int_t Posix_Error_ENOENT; +extern const C_Int_t Posix_Error_ENOEXEC; +extern const C_Int_t Posix_Error_ENOLCK; +extern const C_Int_t Posix_Error_ENOLINK; +extern const C_Int_t Posix_Error_ENOMEM; +extern const C_Int_t Posix_Error_ENOMSG; +extern const C_Int_t Posix_Error_ENOPROTOOPT; +extern const C_Int_t Posix_Error_ENOSPC; +extern const C_Int_t Posix_Error_ENOSR; +extern const C_Int_t Posix_Error_ENOSTR; +extern const C_Int_t Posix_Error_ENOSYS; +extern const C_Int_t Posix_Error_ENOTCONN; +extern const C_Int_t Posix_Error_ENOTDIR; +extern const C_Int_t Posix_Error_ENOTEMPTY; +extern const C_Int_t Posix_Error_ENOTSOCK; +extern const C_Int_t Posix_Error_ENOTSUP; +extern const C_Int_t Posix_Error_ENOTTY; +extern const C_Int_t Posix_Error_ENXIO; +extern const C_Int_t Posix_Error_EOPNOTSUPP; +extern const C_Int_t Posix_Error_EOVERFLOW; +extern const C_Int_t Posix_Error_EPERM; +extern const C_Int_t Posix_Error_EPIPE; +extern const C_Int_t Posix_Error_EPROTO; +extern const C_Int_t Posix_Error_EPROTONOSUPPORT; +extern const C_Int_t Posix_Error_EPROTOTYPE; +extern const C_Int_t Posix_Error_ERANGE; +extern const C_Int_t Posix_Error_EROFS; +extern const C_Int_t Posix_Error_ESPIPE; +extern const C_Int_t Posix_Error_ESRCH; +extern const C_Int_t Posix_Error_ESTALE; +extern const C_Int_t Posix_Error_ETIME; +extern const C_Int_t Posix_Error_ETIMEDOUT; +extern const C_Int_t Posix_Error_ETXTBSY; +extern const C_Int_t Posix_Error_EWOULDBLOCK; +extern const C_Int_t Posix_Error_EXDEV; +C_Int_t Posix_Error_getErrno(void); +C_String_t Posix_Error_strError(C_Int_t); +extern const C_Int_t Posix_FileSys_A_F_OK; +extern const C_Int_t Posix_FileSys_A_R_OK; +extern const C_Int_t Posix_FileSys_A_W_OK; +extern const C_Int_t Posix_FileSys_A_X_OK; +C_Errno_t(C_Int_t) Posix_FileSys_access(NullString8_t,C_Int_t); +C_Errno_t(C_Int_t) Posix_FileSys_chdir(NullString8_t); +C_Errno_t(C_Int_t) Posix_FileSys_chmod(NullString8_t,C_Mode_t); +C_Errno_t(C_Int_t) Posix_FileSys_chown(NullString8_t,C_UId_t,C_GId_t); +C_Errno_t(C_Int_t) Posix_FileSys_Dirstream_closeDir(C_DirP_t); +C_Errno_t(C_DirP_t) Posix_FileSys_Dirstream_openDir(NullString8_t); +C_Errno_t(C_String_t) Posix_FileSys_Dirstream_readDir(C_DirP_t); +void Posix_FileSys_Dirstream_rewindDir(C_DirP_t); +C_Errno_t(C_Int_t) Posix_FileSys_fchdir(C_Fd_t); +C_Errno_t(C_Int_t) Posix_FileSys_fchmod(C_Fd_t,C_Mode_t); +C_Errno_t(C_Int_t) Posix_FileSys_fchown(C_Fd_t,C_UId_t,C_GId_t); +C_Errno_t(C_Long_t) Posix_FileSys_fpathconf(C_Fd_t,C_Int_t); +C_Errno_t(C_Int_t) Posix_FileSys_ftruncate(C_Fd_t,C_Off_t); +C_Errno_t(C_String_t) Posix_FileSys_getcwd(Array(Char8_t),C_Size_t); +C_Errno_t(C_Int_t) Posix_FileSys_link(NullString8_t,NullString8_t); +C_Errno_t(C_Int_t) Posix_FileSys_mkdir(NullString8_t,C_Mode_t); +C_Errno_t(C_Int_t) Posix_FileSys_mkfifo(NullString8_t,C_Mode_t); +extern const C_Int_t Posix_FileSys_O_APPEND; +extern const C_Int_t Posix_FileSys_O_BINARY; +extern const C_Int_t Posix_FileSys_O_CREAT; +extern const C_Int_t Posix_FileSys_O_DSYNC; +extern const C_Int_t Posix_FileSys_O_EXCL; +extern const C_Int_t Posix_FileSys_O_NOCTTY; +extern const C_Int_t Posix_FileSys_O_NONBLOCK; +extern const C_Int_t Posix_FileSys_O_RDONLY; +extern const C_Int_t Posix_FileSys_O_RDWR; +extern const C_Int_t Posix_FileSys_O_RSYNC; +extern const C_Int_t Posix_FileSys_O_SYNC; +extern const C_Int_t Posix_FileSys_O_TEXT; +extern const C_Int_t Posix_FileSys_O_TRUNC; +extern const C_Int_t Posix_FileSys_O_WRONLY; +C_Errno_t(C_Fd_t) Posix_FileSys_open2(NullString8_t,C_Int_t); +C_Errno_t(C_Fd_t) Posix_FileSys_open3(NullString8_t,C_Int_t,C_Mode_t); +C_Errno_t(C_Long_t) Posix_FileSys_pathconf(NullString8_t,C_Int_t); +extern const C_Int_t Posix_FileSys_PC_ALLOC_SIZE_MIN; +extern const C_Int_t Posix_FileSys_PC_ASYNC_IO; +extern const C_Int_t Posix_FileSys_PC_CHOWN_RESTRICTED; +extern const C_Int_t Posix_FileSys_PC_FILESIZEBITS; +extern const C_Int_t Posix_FileSys_PC_LINK_MAX; +extern const C_Int_t Posix_FileSys_PC_MAX_CANON; +extern const C_Int_t Posix_FileSys_PC_MAX_INPUT; +extern const C_Int_t Posix_FileSys_PC_NAME_MAX; +extern const C_Int_t Posix_FileSys_PC_NO_TRUNC; +extern const C_Int_t Posix_FileSys_PC_PATH_MAX; +extern const C_Int_t Posix_FileSys_PC_PIPE_BUF; +extern const C_Int_t Posix_FileSys_PC_PRIO_IO; +extern const C_Int_t Posix_FileSys_PC_REC_INCR_XFER_SIZE; +extern const C_Int_t Posix_FileSys_PC_REC_MAX_XFER_SIZE; +extern const C_Int_t Posix_FileSys_PC_REC_MIN_XFER_SIZE; +extern const C_Int_t Posix_FileSys_PC_REC_XFER_ALIGN; +extern const C_Int_t Posix_FileSys_PC_SYMLINK_MAX; +extern const C_Int_t Posix_FileSys_PC_SYNC_IO; +extern const C_Int_t Posix_FileSys_PC_TWO_SYMLINKS; +extern const C_Int_t Posix_FileSys_PC_VDISABLE; +C_Errno_t(C_SSize_t) Posix_FileSys_readlink(NullString8_t,Array(Char8_t),C_Size_t); +C_Errno_t(C_Int_t) Posix_FileSys_rename(NullString8_t,NullString8_t); +C_Errno_t(C_Int_t) Posix_FileSys_rmdir(NullString8_t); +extern const C_Mode_t Posix_FileSys_S_IFBLK; +extern const C_Mode_t Posix_FileSys_S_IFCHR; +extern const C_Mode_t Posix_FileSys_S_IFDIR; +extern const C_Mode_t Posix_FileSys_S_IFIFO; +extern const C_Mode_t Posix_FileSys_S_IFLNK; +extern const C_Mode_t Posix_FileSys_S_IFMT; +extern const C_Mode_t Posix_FileSys_S_IFREG; +extern const C_Mode_t Posix_FileSys_S_IFSOCK; +extern const C_Mode_t Posix_FileSys_S_IRGRP; +extern const C_Mode_t Posix_FileSys_S_IROTH; +extern const C_Mode_t Posix_FileSys_S_IRUSR; +extern const C_Mode_t Posix_FileSys_S_IRWXG; +extern const C_Mode_t Posix_FileSys_S_IRWXO; +extern const C_Mode_t Posix_FileSys_S_IRWXU; +extern const C_Mode_t Posix_FileSys_S_ISGID; +extern const C_Mode_t Posix_FileSys_S_ISUID; +extern const C_Mode_t Posix_FileSys_S_ISVTX; +extern const C_Mode_t Posix_FileSys_S_IWGRP; +extern const C_Mode_t Posix_FileSys_S_IWOTH; +extern const C_Mode_t Posix_FileSys_S_IWUSR; +extern const C_Mode_t Posix_FileSys_S_IXGRP; +extern const C_Mode_t Posix_FileSys_S_IXOTH; +extern const C_Mode_t Posix_FileSys_S_IXUSR; +C_Int_t Posix_FileSys_ST_isBlk(C_Mode_t); +C_Int_t Posix_FileSys_ST_isChr(C_Mode_t); +C_Int_t Posix_FileSys_ST_isDir(C_Mode_t); +C_Int_t Posix_FileSys_ST_isFIFO(C_Mode_t); +C_Int_t Posix_FileSys_ST_isLink(C_Mode_t); +C_Int_t Posix_FileSys_ST_isReg(C_Mode_t); +C_Int_t Posix_FileSys_ST_isSock(C_Mode_t); +C_Errno_t(C_Int_t) Posix_FileSys_Stat_fstat(C_Fd_t); +C_Time_t Posix_FileSys_Stat_getATime(void); +C_Time_t Posix_FileSys_Stat_getCTime(void); +C_Dev_t Posix_FileSys_Stat_getDev(void); +C_GId_t Posix_FileSys_Stat_getGId(void); +C_INo_t Posix_FileSys_Stat_getINo(void); +C_Mode_t Posix_FileSys_Stat_getMode(void); +C_Time_t Posix_FileSys_Stat_getMTime(void); +C_NLink_t Posix_FileSys_Stat_getNLink(void); +C_Dev_t Posix_FileSys_Stat_getRDev(void); +C_Off_t Posix_FileSys_Stat_getSize(void); +C_UId_t Posix_FileSys_Stat_getUId(void); +C_Errno_t(C_Int_t) Posix_FileSys_Stat_lstat(NullString8_t); +C_Errno_t(C_Int_t) Posix_FileSys_Stat_stat(NullString8_t); +C_Errno_t(C_Int_t) Posix_FileSys_symlink(NullString8_t,NullString8_t); +C_Errno_t(C_Int_t) Posix_FileSys_truncate(NullString8_t,C_Off_t); +C_Mode_t Posix_FileSys_umask(C_Mode_t); +C_Errno_t(C_Int_t) Posix_FileSys_unlink(NullString8_t); +void Posix_FileSys_Utimbuf_setAcTime(C_Time_t); +void Posix_FileSys_Utimbuf_setModTime(C_Time_t); +C_Errno_t(C_Int_t) Posix_FileSys_Utimbuf_utime(NullString8_t); +C_Errno_t(C_Int_t) Posix_IO_close(C_Fd_t); +C_Errno_t(C_Fd_t) Posix_IO_dup(C_Fd_t); +C_Errno_t(C_Fd_t) Posix_IO_dup2(C_Fd_t,C_Fd_t); +extern const C_Int_t Posix_IO_F_DUPFD; +extern const C_Int_t Posix_IO_F_GETFD; +extern const C_Int_t Posix_IO_F_GETFL; +extern const C_Int_t Posix_IO_F_GETOWN; +extern const C_Int_t Posix_IO_F_SETFD; +extern const C_Int_t Posix_IO_F_SETFL; +extern const C_Int_t Posix_IO_F_SETOWN; +C_Errno_t(C_Int_t) Posix_IO_fcntl2(C_Fd_t,C_Int_t); +C_Errno_t(C_Int_t) Posix_IO_fcntl3(C_Fd_t,C_Int_t,C_Int_t); +extern const C_Int_t Posix_IO_FD_CLOEXEC; +extern const C_Int_t Posix_IO_FLock_F_GETLK; +extern const C_Short_t Posix_IO_FLock_F_RDLCK; +extern const C_Int_t Posix_IO_FLock_F_SETLK; +extern const C_Int_t Posix_IO_FLock_F_SETLKW; +extern const C_Short_t Posix_IO_FLock_F_UNLCK; +extern const C_Short_t Posix_IO_FLock_F_WRLCK; +C_Errno_t(C_Int_t) Posix_IO_FLock_fcntl(C_Fd_t,C_Int_t); +C_Off_t Posix_IO_FLock_getLen(void); +C_PId_t Posix_IO_FLock_getPId(void); +C_Off_t Posix_IO_FLock_getStart(void); +C_Short_t Posix_IO_FLock_getType(void); +C_Short_t Posix_IO_FLock_getWhence(void); +extern const C_Short_t Posix_IO_FLock_SEEK_CUR; +extern const C_Short_t Posix_IO_FLock_SEEK_END; +extern const C_Short_t Posix_IO_FLock_SEEK_SET; +void Posix_IO_FLock_setLen(C_Off_t); +void Posix_IO_FLock_setPId(C_PId_t); +void Posix_IO_FLock_setStart(C_Off_t); +void Posix_IO_FLock_setType(C_Short_t); +void Posix_IO_FLock_setWhence(C_Short_t); +C_Errno_t(C_Int_t) Posix_IO_fsync(C_Fd_t); +C_Errno_t(C_Off_t) Posix_IO_lseek(C_Fd_t,C_Off_t,C_Int_t); +extern const C_Int_t Posix_IO_O_ACCMODE; +C_Errno_t(C_Int_t) Posix_IO_pipe(Array(C_Fd_t)); +C_Errno_t(C_SSize_t) Posix_IO_readChar8(C_Fd_t,Array(Char8_t),C_Int_t,C_Size_t); +C_Errno_t(C_SSize_t) Posix_IO_readWord8(C_Fd_t,Array(Word8_t),C_Int_t,C_Size_t); +extern const C_Int_t Posix_IO_SEEK_CUR; +extern const C_Int_t Posix_IO_SEEK_END; +extern const C_Int_t Posix_IO_SEEK_SET; +void Posix_IO_setbin(C_Fd_t); +void Posix_IO_settext(C_Fd_t); +C_Errno_t(C_SSize_t) Posix_IO_writeChar8Arr(C_Fd_t,Array(Char8_t),C_Int_t,C_Size_t); +C_Errno_t(C_SSize_t) Posix_IO_writeChar8Vec(C_Fd_t,Vector(Char8_t),C_Int_t,C_Size_t); +C_Errno_t(C_SSize_t) Posix_IO_writeWord8Arr(C_Fd_t,Array(Word8_t),C_Int_t,C_Size_t); +C_Errno_t(C_SSize_t) Posix_IO_writeWord8Vec(C_Fd_t,Vector(Word8_t),C_Int_t,C_Size_t); +C_String_t Posix_ProcEnv_ctermid(void); +extern C_StringArray_t Posix_ProcEnv_environ; +C_GId_t Posix_ProcEnv_getegid(void); +C_String_t Posix_ProcEnv_getenv(NullString8_t); +C_UId_t Posix_ProcEnv_geteuid(void); +C_GId_t Posix_ProcEnv_getgid(void); +C_Errno_t(C_Int_t) Posix_ProcEnv_getgroups(C_Int_t,Array(C_GId_t)); +C_Int_t Posix_ProcEnv_getgroupsN(void); +C_Errno_t(C_String_t) Posix_ProcEnv_getlogin(void); +C_PId_t Posix_ProcEnv_getpgrp(void); +C_PId_t Posix_ProcEnv_getpid(void); +C_PId_t Posix_ProcEnv_getppid(void); +C_UId_t Posix_ProcEnv_getuid(void); +C_Int_t Posix_ProcEnv_isatty(C_Fd_t); +extern const C_Int_t Posix_ProcEnv_SC_2_C_BIND; +extern const C_Int_t Posix_ProcEnv_SC_2_C_DEV; +extern const C_Int_t Posix_ProcEnv_SC_2_CHAR_TERM; +extern const C_Int_t Posix_ProcEnv_SC_2_FORT_DEV; +extern const C_Int_t Posix_ProcEnv_SC_2_FORT_RUN; +extern const C_Int_t Posix_ProcEnv_SC_2_LOCALEDEF; +extern const C_Int_t Posix_ProcEnv_SC_2_PBS; +extern const C_Int_t Posix_ProcEnv_SC_2_PBS_ACCOUNTING; +extern const C_Int_t Posix_ProcEnv_SC_2_PBS_CHECKPOINT; +extern const C_Int_t Posix_ProcEnv_SC_2_PBS_LOCATE; +extern const C_Int_t Posix_ProcEnv_SC_2_PBS_MESSAGE; +extern const C_Int_t Posix_ProcEnv_SC_2_PBS_TRACK; +extern const C_Int_t Posix_ProcEnv_SC_2_SW_DEV; +extern const C_Int_t Posix_ProcEnv_SC_2_UPE; +extern const C_Int_t Posix_ProcEnv_SC_2_VERSION; +extern const C_Int_t Posix_ProcEnv_SC_ADVISORY_INFO; +extern const C_Int_t Posix_ProcEnv_SC_AIO_LISTIO_MAX; +extern const C_Int_t Posix_ProcEnv_SC_AIO_MAX; +extern const C_Int_t Posix_ProcEnv_SC_AIO_PRIO_DELTA_MAX; +extern const C_Int_t Posix_ProcEnv_SC_ARG_MAX; +extern const C_Int_t Posix_ProcEnv_SC_ASYNCHRONOUS_IO; +extern const C_Int_t Posix_ProcEnv_SC_ATEXIT_MAX; +extern const C_Int_t Posix_ProcEnv_SC_BARRIERS; +extern const C_Int_t Posix_ProcEnv_SC_BC_BASE_MAX; +extern const C_Int_t Posix_ProcEnv_SC_BC_DIM_MAX; +extern const C_Int_t Posix_ProcEnv_SC_BC_SCALE_MAX; +extern const C_Int_t Posix_ProcEnv_SC_BC_STRING_MAX; +extern const C_Int_t Posix_ProcEnv_SC_CHILD_MAX; +extern const C_Int_t Posix_ProcEnv_SC_CLK_TCK; +extern const C_Int_t Posix_ProcEnv_SC_CLOCK_SELECTION; +extern const C_Int_t Posix_ProcEnv_SC_COLL_WEIGHTS_MAX; +extern const C_Int_t Posix_ProcEnv_SC_CPUTIME; +extern const C_Int_t Posix_ProcEnv_SC_DELAYTIMER_MAX; +extern const C_Int_t Posix_ProcEnv_SC_EXPR_NEST_MAX; +extern const C_Int_t Posix_ProcEnv_SC_FSYNC; +extern const C_Int_t Posix_ProcEnv_SC_GETGR_R_SIZE_MAX; +extern const C_Int_t Posix_ProcEnv_SC_GETPW_R_SIZE_MAX; +extern const C_Int_t Posix_ProcEnv_SC_HOST_NAME_MAX; +extern const C_Int_t Posix_ProcEnv_SC_IOV_MAX; +extern const C_Int_t Posix_ProcEnv_SC_IPV6; +extern const C_Int_t Posix_ProcEnv_SC_JOB_CONTROL; +extern const C_Int_t Posix_ProcEnv_SC_LINE_MAX; +extern const C_Int_t Posix_ProcEnv_SC_LOGIN_NAME_MAX; +extern const C_Int_t Posix_ProcEnv_SC_MAPPED_FILES; +extern const C_Int_t Posix_ProcEnv_SC_MEMLOCK; +extern const C_Int_t Posix_ProcEnv_SC_MEMLOCK_RANGE; +extern const C_Int_t Posix_ProcEnv_SC_MEMORY_PROTECTION; +extern const C_Int_t Posix_ProcEnv_SC_MESSAGE_PASSING; +extern const C_Int_t Posix_ProcEnv_SC_MONOTONIC_CLOCK; +extern const C_Int_t Posix_ProcEnv_SC_MQ_OPEN_MAX; +extern const C_Int_t Posix_ProcEnv_SC_MQ_PRIO_MAX; +extern const C_Int_t Posix_ProcEnv_SC_NGROUPS_MAX; +extern const C_Int_t Posix_ProcEnv_SC_OPEN_MAX; +extern const C_Int_t Posix_ProcEnv_SC_PAGE_SIZE; +extern const C_Int_t Posix_ProcEnv_SC_PAGESIZE; +extern const C_Int_t Posix_ProcEnv_SC_PRIORITIZED_IO; +extern const C_Int_t Posix_ProcEnv_SC_PRIORITY_SCHEDULING; +extern const C_Int_t Posix_ProcEnv_SC_RAW_SOCKETS; +extern const C_Int_t Posix_ProcEnv_SC_RE_DUP_MAX; +extern const C_Int_t Posix_ProcEnv_SC_READER_WRITER_LOCKS; +extern const C_Int_t Posix_ProcEnv_SC_REALTIME_SIGNALS; +extern const C_Int_t Posix_ProcEnv_SC_REGEXP; +extern const C_Int_t Posix_ProcEnv_SC_RTSIG_MAX; +extern const C_Int_t Posix_ProcEnv_SC_SAVED_IDS; +extern const C_Int_t Posix_ProcEnv_SC_SEM_NSEMS_MAX; +extern const C_Int_t Posix_ProcEnv_SC_SEM_VALUE_MAX; +extern const C_Int_t Posix_ProcEnv_SC_SEMAPHORES; +extern const C_Int_t Posix_ProcEnv_SC_SHARED_MEMORY_OBJECTS; +extern const C_Int_t Posix_ProcEnv_SC_SHELL; +extern const C_Int_t Posix_ProcEnv_SC_SIGQUEUE_MAX; +extern const C_Int_t Posix_ProcEnv_SC_SPAWN; +extern const C_Int_t Posix_ProcEnv_SC_SPIN_LOCKS; +extern const C_Int_t Posix_ProcEnv_SC_SPORADIC_SERVER; +extern const C_Int_t Posix_ProcEnv_SC_SS_REPL_MAX; +extern const C_Int_t Posix_ProcEnv_SC_STREAM_MAX; +extern const C_Int_t Posix_ProcEnv_SC_SYMLOOP_MAX; +extern const C_Int_t Posix_ProcEnv_SC_SYNCHRONIZED_IO; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_ATTR_STACKADDR; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_ATTR_STACKSIZE; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_CPUTIME; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_DESTRUCTOR_ITERATIONS; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_KEYS_MAX; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_PRIO_INHERIT; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_PRIO_PROTECT; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_PRIORITY_SCHEDULING; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_PROCESS_SHARED; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_SAFE_FUNCTIONS; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_SPORADIC_SERVER; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_STACK_MIN; +extern const C_Int_t Posix_ProcEnv_SC_THREAD_THREADS_MAX; +extern const C_Int_t Posix_ProcEnv_SC_THREADS; +extern const C_Int_t Posix_ProcEnv_SC_TIMEOUTS; +extern const C_Int_t Posix_ProcEnv_SC_TIMER_MAX; +extern const C_Int_t Posix_ProcEnv_SC_TIMERS; +extern const C_Int_t Posix_ProcEnv_SC_TRACE; +extern const C_Int_t Posix_ProcEnv_SC_TRACE_EVENT_FILTER; +extern const C_Int_t Posix_ProcEnv_SC_TRACE_EVENT_NAME_MAX; +extern const C_Int_t Posix_ProcEnv_SC_TRACE_INHERIT; +extern const C_Int_t Posix_ProcEnv_SC_TRACE_LOG; +extern const C_Int_t Posix_ProcEnv_SC_TRACE_NAME_MAX; +extern const C_Int_t Posix_ProcEnv_SC_TRACE_SYS_MAX; +extern const C_Int_t Posix_ProcEnv_SC_TRACE_USER_EVENT_MAX; +extern const C_Int_t Posix_ProcEnv_SC_TTY_NAME_MAX; +extern const C_Int_t Posix_ProcEnv_SC_TYPED_MEMORY_OBJECTS; +extern const C_Int_t Posix_ProcEnv_SC_TZNAME_MAX; +extern const C_Int_t Posix_ProcEnv_SC_V6_ILP32_OFF32; +extern const C_Int_t Posix_ProcEnv_SC_V6_ILP32_OFFBIG; +extern const C_Int_t Posix_ProcEnv_SC_V6_LP64_OFF64; +extern const C_Int_t Posix_ProcEnv_SC_V6_LPBIG_OFFBIG; +extern const C_Int_t Posix_ProcEnv_SC_VERSION; +extern const C_Int_t Posix_ProcEnv_SC_XBS5_ILP32_OFF32; +extern const C_Int_t Posix_ProcEnv_SC_XBS5_ILP32_OFFBIG; +extern const C_Int_t Posix_ProcEnv_SC_XBS5_LP64_OFF64; +extern const C_Int_t Posix_ProcEnv_SC_XBS5_LPBIG_OFFBIG; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_CRYPT; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_ENH_I18N; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_LEGACY; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_REALTIME; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_REALTIME_THREADS; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_SHM; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_STREAMS; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_UNIX; +extern const C_Int_t Posix_ProcEnv_SC_XOPEN_VERSION; +C_Errno_t(C_Int_t) Posix_ProcEnv_setenv(NullString8_t,NullString8_t); +C_Errno_t(C_Int_t) Posix_ProcEnv_setgid(C_GId_t); +C_Errno_t(C_Int_t) Posix_ProcEnv_setgroups(C_Int_t,Vector(C_GId_t)); +C_Errno_t(C_Int_t) Posix_ProcEnv_setpgid(C_PId_t,C_PId_t); +C_Errno_t(C_PId_t) Posix_ProcEnv_setsid(void); +C_Errno_t(C_Int_t) Posix_ProcEnv_setuid(C_UId_t); +C_Errno_t(C_Long_t) Posix_ProcEnv_sysconf(C_Int_t); +C_Errno_t(C_Clock_t) Posix_ProcEnv_times(void); +C_Clock_t Posix_ProcEnv_Times_getCSTime(void); +C_Clock_t Posix_ProcEnv_Times_getCUTime(void); +C_Clock_t Posix_ProcEnv_Times_getSTime(void); +C_Clock_t Posix_ProcEnv_Times_getUTime(void); +C_Errno_t(C_String_t) Posix_ProcEnv_ttyname(C_Fd_t); +C_Errno_t(C_Int_t) Posix_ProcEnv_uname(void); +C_String_t Posix_ProcEnv_Uname_getMachine(void); +C_String_t Posix_ProcEnv_Uname_getNodeName(void); +C_String_t Posix_ProcEnv_Uname_getRelease(void); +C_String_t Posix_ProcEnv_Uname_getSysName(void); +C_String_t Posix_ProcEnv_Uname_getVersion(void); +C_UInt_t Posix_Process_alarm(C_UInt_t); +C_Errno_t(C_Int_t) Posix_Process_exece(NullString8_t,String8_t,Array(C_Pointer_t),Vector(C_Size_t),String8_t,Array(C_Pointer_t),Vector(C_Size_t)); +C_Errno_t(C_Int_t) Posix_Process_execp(NullString8_t,String8_t,Array(C_Pointer_t),Vector(C_Size_t)); +__attribute__((noreturn)) void Posix_Process_exit(C_Status_t); +C_Int_t Posix_Process_exitStatus(C_Status_t); +C_Errno_t(C_PId_t) Posix_Process_fork(void); +C_Int_t Posix_Process_ifExited(C_Status_t); +C_Int_t Posix_Process_ifSignaled(C_Status_t); +C_Int_t Posix_Process_ifStopped(C_Status_t); +C_Errno_t(C_Int_t) Posix_Process_kill(C_PId_t,C_Signal_t); +C_Errno_t(C_Int_t) Posix_Process_nanosleep(Ref(C_Time_t),Ref(C_Long_t)); +C_Errno_t(C_Int_t) Posix_Process_pause(void); +C_UInt_t Posix_Process_sleep(C_UInt_t); +C_Signal_t Posix_Process_stopSig(C_Status_t); +C_Errno_t(C_Status_t) Posix_Process_system(NullString8_t); +C_Signal_t Posix_Process_termSig(C_Status_t); +extern const C_Int_t Posix_Process_W_NOHANG; +extern const C_Int_t Posix_Process_W_UNTRACED; +C_Errno_t(C_PId_t) Posix_Process_waitpid(C_PId_t,Ref(C_Int_t),C_Int_t); +C_Errno_t(C_Int_t) Posix_Signal_default(C_Signal_t); +C_Errno_t(C_Int_t) Posix_Signal_handlee(C_Signal_t); +void Posix_Signal_handleGC(void); +C_Errno_t(C_Int_t) Posix_Signal_ignore(C_Signal_t); +C_Errno_t(C_Int_t) Posix_Signal_isDefault(C_Signal_t,Ref(C_Int_t)); +C_Errno_t(C_Int_t) Posix_Signal_isIgnore(C_Signal_t,Ref(C_Int_t)); +C_Int_t Posix_Signal_isPending(C_Signal_t); +C_Int_t Posix_Signal_isPendingGC(void); +extern const C_Int_t Posix_Signal_NSIG; +void Posix_Signal_resetPending(void); +extern const C_Int_t Posix_Signal_SIG_BLOCK; +extern const C_Int_t Posix_Signal_SIG_SETMASK; +extern const C_Int_t Posix_Signal_SIG_UNBLOCK; +extern const C_Signal_t Posix_Signal_SIGABRT; +C_Errno_t(C_Int_t) Posix_Signal_sigaddset(C_Signal_t); +extern const C_Signal_t Posix_Signal_SIGALRM; +extern const C_Signal_t Posix_Signal_SIGBUS; +extern const C_Signal_t Posix_Signal_SIGCHLD; +extern const C_Signal_t Posix_Signal_SIGCONT; +C_Errno_t(C_Int_t) Posix_Signal_sigdelset(C_Signal_t); +C_Errno_t(C_Int_t) Posix_Signal_sigemptyset(void); +C_Errno_t(C_Int_t) Posix_Signal_sigfillset(void); +extern const C_Signal_t Posix_Signal_SIGFPE; +extern const C_Signal_t Posix_Signal_SIGHUP; +extern const C_Signal_t Posix_Signal_SIGILL; +extern const C_Signal_t Posix_Signal_SIGINT; +C_Errno_t(C_Int_t) Posix_Signal_sigismember(C_Signal_t); +extern const C_Signal_t Posix_Signal_SIGKILL; +extern const C_Signal_t Posix_Signal_SIGPIPE; +extern const C_Signal_t Posix_Signal_SIGPOLL; +C_Errno_t(C_Int_t) Posix_Signal_sigprocmask(C_Int_t); +extern const C_Signal_t Posix_Signal_SIGPROF; +extern const C_Signal_t Posix_Signal_SIGQUIT; +extern const C_Signal_t Posix_Signal_SIGSEGV; +extern const C_Signal_t Posix_Signal_SIGSTOP; +void Posix_Signal_sigsuspend(void); +extern const C_Signal_t Posix_Signal_SIGSYS; +extern const C_Signal_t Posix_Signal_SIGTERM; +extern const C_Signal_t Posix_Signal_SIGTRAP; +extern const C_Signal_t Posix_Signal_SIGTSTP; +extern const C_Signal_t Posix_Signal_SIGTTIN; +extern const C_Signal_t Posix_Signal_SIGTTOU; +extern const C_Signal_t Posix_Signal_SIGURG; +extern const C_Signal_t Posix_Signal_SIGUSR1; +extern const C_Signal_t Posix_Signal_SIGUSR2; +extern const C_Signal_t Posix_Signal_SIGVTALRM; +extern const C_Signal_t Posix_Signal_SIGXCPU; +extern const C_Signal_t Posix_Signal_SIGXFSZ; +C_Errno_t(C_Int_t) Posix_SysDB_getgrgid(C_GId_t); +C_Errno_t(C_Int_t) Posix_SysDB_getgrnam(NullString8_t); +C_Errno_t(C_Int_t) Posix_SysDB_getpwnam(NullString8_t); +C_Errno_t(C_Int_t) Posix_SysDB_getpwuid(C_GId_t); +C_GId_t Posix_SysDB_Group_getGId(void); +C_StringArray_t Posix_SysDB_Group_getMem(void); +C_String_t Posix_SysDB_Group_getName(void); +C_String_t Posix_SysDB_Passwd_getDir(void); +C_GId_t Posix_SysDB_Passwd_getGId(void); +C_String_t Posix_SysDB_Passwd_getName(void); +C_String_t Posix_SysDB_Passwd_getShell(void); +C_UId_t Posix_SysDB_Passwd_getUId(void); +extern const C_Speed_t Posix_TTY_B0; +extern const C_Speed_t Posix_TTY_B110; +extern const C_Speed_t Posix_TTY_B1200; +extern const C_Speed_t Posix_TTY_B134; +extern const C_Speed_t Posix_TTY_B150; +extern const C_Speed_t Posix_TTY_B1800; +extern const C_Speed_t Posix_TTY_B19200; +extern const C_Speed_t Posix_TTY_B200; +extern const C_Speed_t Posix_TTY_B2400; +extern const C_Speed_t Posix_TTY_B300; +extern const C_Speed_t Posix_TTY_B38400; +extern const C_Speed_t Posix_TTY_B4800; +extern const C_Speed_t Posix_TTY_B50; +extern const C_Speed_t Posix_TTY_B600; +extern const C_Speed_t Posix_TTY_B75; +extern const C_Speed_t Posix_TTY_B9600; +extern const C_TCFlag_t Posix_TTY_C_CLOCAL; +extern const C_TCFlag_t Posix_TTY_C_CREAD; +extern const C_TCFlag_t Posix_TTY_C_CS5; +extern const C_TCFlag_t Posix_TTY_C_CS6; +extern const C_TCFlag_t Posix_TTY_C_CS7; +extern const C_TCFlag_t Posix_TTY_C_CS8; +extern const C_TCFlag_t Posix_TTY_C_CSIZE; +extern const C_TCFlag_t Posix_TTY_C_CSTOPB; +extern const C_TCFlag_t Posix_TTY_C_HUPCL; +extern const C_TCFlag_t Posix_TTY_C_PARENB; +extern const C_TCFlag_t Posix_TTY_C_PARODD; +extern const C_TCFlag_t Posix_TTY_I_BRKINT; +extern const C_TCFlag_t Posix_TTY_I_ICRNL; +extern const C_TCFlag_t Posix_TTY_I_IGNBRK; +extern const C_TCFlag_t Posix_TTY_I_IGNCR; +extern const C_TCFlag_t Posix_TTY_I_IGNPAR; +extern const C_TCFlag_t Posix_TTY_I_INLCR; +extern const C_TCFlag_t Posix_TTY_I_INPCK; +extern const C_TCFlag_t Posix_TTY_I_ISTRIP; +extern const C_TCFlag_t Posix_TTY_I_IXANY; +extern const C_TCFlag_t Posix_TTY_I_IXOFF; +extern const C_TCFlag_t Posix_TTY_I_IXON; +extern const C_TCFlag_t Posix_TTY_I_PARMRK; +extern const C_TCFlag_t Posix_TTY_L_ECHO; +extern const C_TCFlag_t Posix_TTY_L_ECHOE; +extern const C_TCFlag_t Posix_TTY_L_ECHOK; +extern const C_TCFlag_t Posix_TTY_L_ECHONL; +extern const C_TCFlag_t Posix_TTY_L_ICANON; +extern const C_TCFlag_t Posix_TTY_L_IEXTEN; +extern const C_TCFlag_t Posix_TTY_L_ISIG; +extern const C_TCFlag_t Posix_TTY_L_NOFLSH; +extern const C_TCFlag_t Posix_TTY_L_TOSTOP; +extern const C_TCFlag_t Posix_TTY_O_BS0; +extern const C_TCFlag_t Posix_TTY_O_BS1; +extern const C_TCFlag_t Posix_TTY_O_BSDLY; +extern const C_TCFlag_t Posix_TTY_O_CR0; +extern const C_TCFlag_t Posix_TTY_O_CR1; +extern const C_TCFlag_t Posix_TTY_O_CR2; +extern const C_TCFlag_t Posix_TTY_O_CR3; +extern const C_TCFlag_t Posix_TTY_O_CRDLY; +extern const C_TCFlag_t Posix_TTY_O_FF0; +extern const C_TCFlag_t Posix_TTY_O_FF1; +extern const C_TCFlag_t Posix_TTY_O_FFDLY; +extern const C_TCFlag_t Posix_TTY_O_NL0; +extern const C_TCFlag_t Posix_TTY_O_NL1; +extern const C_TCFlag_t Posix_TTY_O_NLDLY; +extern const C_TCFlag_t Posix_TTY_O_OCRNL; +extern const C_TCFlag_t Posix_TTY_O_OFILL; +extern const C_TCFlag_t Posix_TTY_O_ONLCR; +extern const C_TCFlag_t Posix_TTY_O_ONLRET; +extern const C_TCFlag_t Posix_TTY_O_ONOCR; +extern const C_TCFlag_t Posix_TTY_O_OPOST; +extern const C_TCFlag_t Posix_TTY_O_TAB0; +extern const C_TCFlag_t Posix_TTY_O_TAB1; +extern const C_TCFlag_t Posix_TTY_O_TAB2; +extern const C_TCFlag_t Posix_TTY_O_TAB3; +extern const C_TCFlag_t Posix_TTY_O_TABDLY; +extern const C_TCFlag_t Posix_TTY_O_VT0; +extern const C_TCFlag_t Posix_TTY_O_VT1; +extern const C_TCFlag_t Posix_TTY_O_VTDLY; +C_Errno_t(C_Int_t) Posix_TTY_TC_drain(C_Fd_t); +C_Errno_t(C_Int_t) Posix_TTY_TC_flow(C_Fd_t,C_Int_t); +C_Errno_t(C_Int_t) Posix_TTY_TC_flush(C_Fd_t,C_Int_t); +C_Errno_t(C_Int_t) Posix_TTY_TC_getattr(C_Fd_t); +C_Errno_t(C_PId_t) Posix_TTY_TC_getpgrp(C_Fd_t); +C_Errno_t(C_Int_t) Posix_TTY_TC_sendbreak(C_Fd_t,C_Int_t); +C_Errno_t(C_Int_t) Posix_TTY_TC_setattr(C_Fd_t,C_Int_t); +C_Errno_t(C_Int_t) Posix_TTY_TC_setpgrp(C_Fd_t,C_PId_t); +extern const C_Int_t Posix_TTY_TC_TCIFLUSH; +extern const C_Int_t Posix_TTY_TC_TCIOFF; +extern const C_Int_t Posix_TTY_TC_TCIOFLUSH; +extern const C_Int_t Posix_TTY_TC_TCION; +extern const C_Int_t Posix_TTY_TC_TCOFLUSH; +extern const C_Int_t Posix_TTY_TC_TCOOFF; +extern const C_Int_t Posix_TTY_TC_TCOON; +extern const C_Int_t Posix_TTY_TC_TCSADRAIN; +extern const C_Int_t Posix_TTY_TC_TCSAFLUSH; +extern const C_Int_t Posix_TTY_TC_TCSANOW; +C_Speed_t Posix_TTY_Termios_cfGetISpeed(void); +C_Speed_t Posix_TTY_Termios_cfGetOSpeed(void); +C_Errno_t(C_Int_t) Posix_TTY_Termios_cfSetISpeed(C_Speed_t); +C_Errno_t(C_Int_t) Posix_TTY_Termios_cfSetOSpeed(C_Speed_t); +void Posix_TTY_Termios_getCC(Array(C_CC_t)); +C_TCFlag_t Posix_TTY_Termios_getCFlag(void); +C_TCFlag_t Posix_TTY_Termios_getIFlag(void); +C_TCFlag_t Posix_TTY_Termios_getLFlag(void); +C_TCFlag_t Posix_TTY_Termios_getOFlag(void); +void Posix_TTY_Termios_setCC(Array(C_CC_t)); +void Posix_TTY_Termios_setCFlag(C_TCFlag_t); +void Posix_TTY_Termios_setIFlag(C_TCFlag_t); +void Posix_TTY_Termios_setLFlag(C_TCFlag_t); +void Posix_TTY_Termios_setOFlag(C_TCFlag_t); +extern const C_Int_t Posix_TTY_V_NCCS; +extern const C_Int_t Posix_TTY_V_VEOF; +extern const C_Int_t Posix_TTY_V_VEOL; +extern const C_Int_t Posix_TTY_V_VERASE; +extern const C_Int_t Posix_TTY_V_VINTR; +extern const C_Int_t Posix_TTY_V_VKILL; +extern const C_Int_t Posix_TTY_V_VMIN; +extern const C_Int_t Posix_TTY_V_VQUIT; +extern const C_Int_t Posix_TTY_V_VSTART; +extern const C_Int_t Posix_TTY_V_VSTOP; +extern const C_Int_t Posix_TTY_V_VSUSP; +extern const C_Int_t Posix_TTY_V_VTIME; +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_abs(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_add(Real32_t,Real32_t); +C_Int_t Real32_class(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_div(Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Real32_equal(Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_fetch(Ref(Real32_t)); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_frexp(Real32_t,Ref(C_Int_t)); +C_String_t Real32_gdtoa(Real32_t,C_Int_t,C_Int_t,Ref(C_Int_t)); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_ldexp(Real32_t,C_Int_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Real32_le(Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Real32_lt(Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_acos(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_asin(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_atan(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_atan2(Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_cos(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_cosh(Real32_t); +extern Real32_t Real32_Math_e; +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_exp(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_ln(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_log10(Real32_t); +extern Real32_t Real32_Math_pi; +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_pow(Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_sin(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_sinh(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_sqrt(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_tan(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_Math_tanh(Real32_t); +extern Real32_t Real32_maxFinite; +extern Real32_t Real32_minNormalPos; +extern Real32_t Real32_minPos; +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_modf(Real32_t,Ref(Real32_t)); +MLTON_CODEGEN_STATIC_INLINE void Real32_move(Ref(Real32_t),Ref(Real32_t)); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_mul(Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_muladd(Real32_t,Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_mulsub(Real32_t,Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_neg(Real32_t); +Real32_t Real32_nextAfterDown(Real32_t); +Real32_t Real32_nextAfterUp(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_round(Real32_t); +C_Int_t Real32_signBit(Real32_t); +MLTON_CODEGEN_STATIC_INLINE void Real32_store(Ref(Real32_t),Real32_t); +Real32_t Real32_strto(NullString8_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_sub(Real32_t,Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real32_toReal32(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real32_toReal64(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Int16_t Real32_toWordS16(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Int32_t Real32_toWordS32(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Int64_t Real32_toWordS64(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Int8_t Real32_toWordS8(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Real32_toWordU16(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Real32_toWordU32(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Real32_toWordU64(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Real32_toWordU8(Real32_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_abs(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_add(Real64_t,Real64_t); +C_Int_t Real64_class(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_div(Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Real64_equal(Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_fetch(Ref(Real64_t)); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_frexp(Real64_t,Ref(C_Int_t)); +C_String_t Real64_gdtoa(Real64_t,C_Int_t,C_Int_t,Ref(C_Int_t)); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_ldexp(Real64_t,C_Int_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Real64_le(Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Real64_lt(Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_acos(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_asin(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_atan(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_atan2(Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_cos(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_cosh(Real64_t); +extern Real64_t Real64_Math_e; +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_exp(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_ln(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_log10(Real64_t); +extern Real64_t Real64_Math_pi; +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_pow(Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_sin(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_sinh(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_sqrt(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_tan(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_Math_tanh(Real64_t); +extern Real64_t Real64_maxFinite; +extern Real64_t Real64_minNormalPos; +extern Real64_t Real64_minPos; +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_modf(Real64_t,Ref(Real64_t)); +MLTON_CODEGEN_STATIC_INLINE void Real64_move(Ref(Real64_t),Ref(Real64_t)); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_mul(Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_muladd(Real64_t,Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_mulsub(Real64_t,Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_neg(Real64_t); +Real64_t Real64_nextAfterDown(Real64_t); +Real64_t Real64_nextAfterUp(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_round(Real64_t); +C_Int_t Real64_signBit(Real64_t); +MLTON_CODEGEN_STATIC_INLINE void Real64_store(Ref(Real64_t),Real64_t); +Real64_t Real64_strto(NullString8_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_sub(Real64_t,Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t Real64_toReal32(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t Real64_toReal64(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Int16_t Real64_toWordS16(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Int32_t Real64_toWordS32(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Int64_t Real64_toWordS64(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Int8_t Real64_toWordS8(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Real64_toWordU16(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Real64_toWordU32(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Real64_toWordU64(Real64_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Real64_toWordU8(Real64_t); +C_Errno_t(C_Int_t) Socket_accept(C_Sock_t,Array(Word8_t),Ref(C_Socklen_t)); +extern const C_Int_t Socket_AF_INET; +extern const C_Int_t Socket_AF_INET6; +extern const C_Int_t Socket_AF_UNIX; +extern const C_Int_t Socket_AF_UNSPEC; +C_Errno_t(C_Int_t) Socket_bind(C_Sock_t,Vector(Word8_t),C_Socklen_t); +C_Errno_t(C_Int_t) Socket_close(C_Sock_t); +C_Errno_t(C_Int_t) Socket_connect(C_Sock_t,Vector(Word8_t),C_Socklen_t); +extern const C_Int_t Socket_Ctl_FIONBIO; +extern const C_Int_t Socket_Ctl_FIONREAD; +C_Errno_t(C_Int_t) Socket_Ctl_getIOCtl(C_Sock_t,C_Int_t,Array(Word8_t)); +C_Errno_t(C_Int_t) Socket_Ctl_getPeerName(C_Sock_t,Array(Word8_t),Ref(C_Socklen_t)); +C_Errno_t(C_Int_t) Socket_Ctl_getSockName(C_Sock_t,Array(Word8_t),Ref(C_Socklen_t)); +C_Errno_t(C_Int_t) Socket_Ctl_getSockOpt(C_Sock_t,C_Int_t,C_Int_t,Array(Word8_t),Ref(C_Socklen_t)); +C_Errno_t(C_Int_t) Socket_Ctl_setIOCtl(C_Sock_t,C_Int_t,Vector(Word8_t)); +C_Errno_t(C_Int_t) Socket_Ctl_setSockOpt(C_Sock_t,C_Int_t,C_Int_t,Vector(Word8_t),C_Socklen_t); +extern const C_Int_t Socket_Ctl_SIOCATMARK; +extern const C_Int_t Socket_Ctl_SO_ACCEPTCONN; +extern const C_Int_t Socket_Ctl_SO_BROADCAST; +extern const C_Int_t Socket_Ctl_SO_DEBUG; +extern const C_Int_t Socket_Ctl_SO_DONTROUTE; +extern const C_Int_t Socket_Ctl_SO_ERROR; +extern const C_Int_t Socket_Ctl_SO_KEEPALIVE; +extern const C_Int_t Socket_Ctl_SO_LINGER; +extern const C_Int_t Socket_Ctl_SO_OOBINLINE; +extern const C_Int_t Socket_Ctl_SO_RCVBUF; +extern const C_Int_t Socket_Ctl_SO_RCVLOWAT; +extern const C_Int_t Socket_Ctl_SO_RCVTIMEO; +extern const C_Int_t Socket_Ctl_SO_REUSEADDR; +extern const C_Int_t Socket_Ctl_SO_SNDBUF; +extern const C_Int_t Socket_Ctl_SO_SNDLOWAT; +extern const C_Int_t Socket_Ctl_SO_SNDTIMEO; +extern const C_Int_t Socket_Ctl_SO_TYPE; +extern const C_Int_t Socket_Ctl_SOL_SOCKET; +C_Int_t Socket_familyOfAddr(Vector(Word8_t)); +C_Errno_t(C_Int_t) Socket_GenericSock_socket(C_Int_t,C_Int_t,C_Int_t); +C_Errno_t(C_Int_t) Socket_GenericSock_socketPair(C_Int_t,C_Int_t,C_Int_t,Array(C_Int_t)); +extern const C_Int_t Socket_INetSock_Ctl_IPPROTO_TCP; +extern const C_Int_t Socket_INetSock_Ctl_TCP_NODELAY; +void Socket_INetSock_fromAddr(Vector(Word8_t)); +void Socket_INetSock_getInAddr(Array(Word8_t)); +C_Int_t Socket_INetSock_getPort(void); +void Socket_INetSock_toAddr(Vector(Word8_t),C_Int_t,Array(Word8_t),Ref(C_Socklen_t)); +C_Errno_t(C_Int_t) Socket_listen(C_Sock_t,C_Int_t); +extern const C_Int_t Socket_MSG_CTRUNC; +extern const C_Int_t Socket_MSG_DONTROUTE; +extern const C_Int_t Socket_MSG_DONTWAIT; +extern const C_Int_t Socket_MSG_EOR; +extern const C_Int_t Socket_MSG_OOB; +extern const C_Int_t Socket_MSG_PEEK; +extern const C_Int_t Socket_MSG_TRUNC; +extern const C_Int_t Socket_MSG_WAITALL; +C_Errno_t(C_SSize_t) Socket_recv(C_Sock_t,Array(Word8_t),C_Int_t,C_Size_t,C_Int_t); +C_Errno_t(C_SSize_t) Socket_recvFrom(C_Sock_t,Array(Word8_t),C_Int_t,C_Size_t,C_Int_t,Array(Word8_t),Ref(C_Socklen_t)); +C_Errno_t(C_SSize_t) Socket_sendArr(C_Sock_t,Array(Word8_t),C_Int_t,C_Size_t,C_Int_t); +C_Errno_t(C_SSize_t) Socket_sendArrTo(C_Sock_t,Array(Word8_t),C_Int_t,C_Size_t,C_Int_t,Vector(Word8_t),C_Socklen_t); +C_Errno_t(C_SSize_t) Socket_sendVec(C_Sock_t,Vector(Word8_t),C_Int_t,C_Size_t,C_Int_t); +C_Errno_t(C_SSize_t) Socket_sendVecTo(C_Sock_t,Vector(Word8_t),C_Int_t,C_Size_t,C_Int_t,Vector(Word8_t),C_Socklen_t); +extern const C_Int_t Socket_SHUT_RD; +extern const C_Int_t Socket_SHUT_RDWR; +extern const C_Int_t Socket_SHUT_WR; +C_Errno_t(C_Int_t) Socket_shutdown(C_Sock_t,C_Int_t); +extern const C_Int_t Socket_SOCK_DGRAM; +extern const C_Int_t Socket_SOCK_RAW; +extern const C_Int_t Socket_SOCK_SEQPACKET; +extern const C_Int_t Socket_SOCK_STREAM; +extern const C_Size_t Socket_sockAddrStorageLen; +void Socket_UnixSock_fromAddr(Vector(Word8_t),Array(Char8_t),C_Size_t); +C_Size_t Socket_UnixSock_pathLen(Vector(Word8_t)); +void Socket_UnixSock_toAddr(NullString8_t,C_Size_t,Array(Word8_t),Ref(C_Socklen_t)); +void Stdio_print(String8_t); +void Stdio_printStderr(String8_t); +void Stdio_printStdout(String8_t); +C_Int_t Time_getTimeOfDay(void); +C_Time_t Time_sec(void); +C_SUSeconds_t Time_usec(void); +C_Errno_t(C_PId_t) Windows_Process_create(NullString8_t,NullString8_t,NullString8_t,C_Fd_t,C_Fd_t,C_Fd_t); +C_Errno_t(C_Int_t) Windows_Process_terminate(C_PId_t,C_Signal_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_add(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_andb(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Word16_equal(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_lshift(Word16_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_neg(Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_notb(Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_orb(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_rol(Word16_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_ror(Word16_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_sub(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t Word16_xorb(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_add(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_andb(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Word32_equal(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_lshift(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_neg(Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_notb(Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_orb(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_rol(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_ror(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_sub(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t Word32_xorb(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_add(Word64_t,Word64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_andb(Word64_t,Word64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Word64_equal(Word64_t,Word64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_fetch(Ref(Word64_t)); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_lshift(Word64_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE void Word64_move(Ref(Word64_t),Ref(Word64_t)); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_neg(Word64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_notb(Word64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_orb(Word64_t,Word64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_rol(Word64_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_ror(Word64_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE void Word64_store(Ref(Word64_t),Word64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_sub(Word64_t,Word64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t Word64_xorb(Word64_t,Word64_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_add(Word8_t,Word8_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_andb(Word8_t,Word8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t Word8_equal(Word8_t,Word8_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_lshift(Word8_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_neg(Word8_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_notb(Word8_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_orb(Word8_t,Word8_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_rol(Word8_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_ror(Word8_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_sub(Word8_t,Word8_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t Word8_xorb(Word8_t,Word8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS16_addCheckOverflows(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS16_ge(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS16_gt(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS16_le(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS16_lt(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Int16_t WordS16_mul(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS16_mulCheckOverflows(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS16_negCheckOverflows(Int16_t); +MLTON_CODEGEN_STATIC_INLINE Int16_t WordS16_quot(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Int16_t WordS16_rem(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Int16_t WordS16_rshift(Int16_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS16_subCheckOverflows(Int16_t,Int16_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t WordS16_toReal32(Int16_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t WordS16_toReal64(Int16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordS16_toWord16(Int16_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t WordS16_toWord32(Int16_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t WordS16_toWord64(Int16_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t WordS16_toWord8(Int16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS32_addCheckOverflows(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS32_ge(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS32_gt(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS32_le(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS32_lt(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Int32_t WordS32_mul(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS32_mulCheckOverflows(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS32_negCheckOverflows(Int32_t); +MLTON_CODEGEN_STATIC_INLINE Int32_t WordS32_quot(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Int32_t WordS32_rem(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Int32_t WordS32_rshift(Int32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS32_subCheckOverflows(Int32_t,Int32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t WordS32_toReal32(Int32_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t WordS32_toReal64(Int32_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordS32_toWord16(Int32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t WordS32_toWord32(Int32_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t WordS32_toWord64(Int32_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t WordS32_toWord8(Int32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS64_addCheckOverflows(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS64_ge(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS64_gt(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS64_le(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS64_lt(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Int64_t WordS64_mul(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS64_mulCheckOverflows(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS64_negCheckOverflows(Int64_t); +MLTON_CODEGEN_STATIC_INLINE Int64_t WordS64_quot(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Int64_t WordS64_rem(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Int64_t WordS64_rshift(Int64_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS64_subCheckOverflows(Int64_t,Int64_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t WordS64_toReal32(Int64_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t WordS64_toReal64(Int64_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordS64_toWord16(Int64_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t WordS64_toWord32(Int64_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t WordS64_toWord64(Int64_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t WordS64_toWord8(Int64_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS8_addCheckOverflows(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS8_ge(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS8_gt(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS8_le(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS8_lt(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Int8_t WordS8_mul(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS8_mulCheckOverflows(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS8_negCheckOverflows(Int8_t); +MLTON_CODEGEN_STATIC_INLINE Int8_t WordS8_quot(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Int8_t WordS8_rem(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Int8_t WordS8_rshift(Int8_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordS8_subCheckOverflows(Int8_t,Int8_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t WordS8_toReal32(Int8_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t WordS8_toReal64(Int8_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordS8_toWord16(Int8_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t WordS8_toWord32(Int8_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t WordS8_toWord64(Int8_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t WordS8_toWord8(Int8_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU16_addCheckOverflows(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU16_ge(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU16_gt(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU16_le(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU16_lt(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordU16_mul(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU16_mulCheckOverflows(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordU16_quot(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordU16_rem(Word16_t,Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordU16_rshift(Word16_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Real32_t WordU16_toReal32(Word16_t); +MLTON_CODEGEN_STATIC_INLINE Real64_t WordU16_toReal64(Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word16_t WordU16_toWord16(Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t WordU16_toWord32(Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word64_t WordU16_toWord64(Word16_t); +MLTON_CODEGEN_STATIC_INLINE Word8_t WordU16_toWord8(Word16_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU32_addCheckOverflows(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU32_ge(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU32_gt(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU32_le(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU32_lt(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t WordU32_mul(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Bool_t WordU32_mulCheckOverflows(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t WordU32_quot(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE Word32_t WordU32_rem(Word32_t,Word32_t); +MLTON_CODEGEN_STATIC_INLINE W... [truncated message content] |
|
From: Matthew F. <fl...@ml...> - 2006-11-28 19:24:56
|
Impoved runtime/Makefile dependencies and COMPILE_FAST=yes.
Eliminated OMIT_BYTECODE; always compile gc.c and bytecode/interpret.c
as separate object files.
----------------------------------------------------------------------
_U mlton/branches/on-20050822-x86_64-branch/runtime/
U mlton/branches/on-20050822-x86_64-branch/runtime/.ignore
U mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
_U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/
A mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/.ignore
U mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c
A mlton/branches/on-20050822-x86_64-branch/runtime/util.c
----------------------------------------------------------------------
Property changes on: mlton/branches/on-20050822-x86_64-branch/runtime
___________________________________________________________________
Name: svn:ignore
- *.a
gdtoa
runtime.c
c-types.h
ml-types.h
+ *.a
gdtoa
basis.c
c-types.h
ml-types.h
Modified: mlton/branches/on-20050822-x86_64-branch/runtime/.ignore
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/.ignore 2006-11-28 23:14:38 UTC (rev 4868)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/.ignore 2006-11-29 03:24:55 UTC (rev 4869)
@@ -1,5 +1,5 @@
*.a
gdtoa
-runtime.c
+basis.c
c-types.h
ml-types.h
Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-28 23:14:38 UTC (rev 4868)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-29 03:24:55 UTC (rev 4869)
@@ -23,6 +23,7 @@
OPTFLAGS := -O2 -fomit-frame-pointer
GCOPTFLAGS :=
DEBUGFLAGS :=
+GCDEBUGFLAGS :=
WARNFLAGS :=
OPTWARNFLAGS :=
DEBUGWARNFLAGS :=
@@ -95,10 +96,11 @@
endif
CC := gcc -std=gnu99
-CFLAGS := -I. -Iplatform -Ibasis -Ibasis/Word -Ibasis/Real -I../include -Ibytecode $(FLAGS)
+CFLAGS := -I. -Iplatform $(FLAGS)
OPTCFLAGS := $(CFLAGS) $(OPTFLAGS)
DEBUGCFLAGS := $(CFLAGS) -g2 -O1 -DASSERT=1 $(DEBUGFLAGS)
GCOPTCFLAGS = $(GCOPTFLAGS)
+GCDEBUGCFLAGS = $(GCDEBUGFLAGS)
WARNCFLAGS :=
WARNCFLAGS += -pedantic -Wall
ifeq ($(findstring $(GCC_MAJOR_VERSION), 3),$(GCC_MAJOR_VERSION))
@@ -151,80 +153,78 @@
endif
UTILHFILES := \
+ util.h \
$(shell find util -type f | grep '\.h$$')
UTILCFILES := \
$(shell find util -type f | grep '\.c$$')
-UTILOFILES := $(foreach f, $(UTILCFILES), $(basename $(f)).o)
+PLATFORMHFILES := \
+ platform.h \
+ $(shell find platform -type f | grep '\.h$$')
+
GCHFILES := \
+ gc.h \
$(shell find gc -type f | grep '\.h$$')
GCCFILES := \
$(shell find gc -type f | grep '\.c$$')
+BYTECODEHFILES := \
+ $(shell find bytecode -type f | grep '\.h$$')
+
BASISHFILES := \
+ ml-types.h \
+ c-types.h \
+ basis-ffi.h \
$(shell find basis -type f | grep '\.h$$')
+BASISCFILES := \
+ $(shell find basis -type f | grep '\.c$$' | grep -v Real/)
+# REAL_BASISCFILES is for files that we don't want compiled in the
+# big lump when compiling COMPILE_FAST.
+# Real/*.c can't be there because gcc -O2 messes some of them up.
+REAL_BASISCFILES := \
+ $(shell find basis -type f | grep '\.c$$' | grep Real/)
-BYTEHFILES := \
- $(shell find bytecode -type f | grep '\.h$$')
-BYTECFILES := \
- $(shell find bytecode -type f | grep '\.c$$')
-
-HFILES := \
- cenv.h \
+HFILES := \
+ cenv.h \
$(UTILHFILES) \
- util.h \
+ $(PLATFORMHFILES) \
$(GCHFILES) \
- gc.h \
- ml-types.h \
- c-types.h \
- basis-ffi.h \
- platform.h \
- platform/$(TARGET_OS).h \
- platform/$(TARGET_ARCH).h \
$(BASISHFILES)
-CFILES := \
- $(UTILCFILES) \
- $(shell find basis -type f | grep '\.c$$' | grep -v Real/) \
- gc.c \
- platform.c
+OBJS := \
+ util.o \
+ gc.o \
+ platform.o \
+ platform/$(TARGET_OS).o \
+ bytecode/interpret.o
+DEBUG_OBJS := \
+ util-gdb.o \
+ gc-gdb.o \
+ platform-gdb.o \
+ platform/$(TARGET_OS)-gdb.o \
+ bytecode/interpret-gdb.o
-# EXTRA_CFILES is for files that we don't want compiled in the big
-# lump when compiling COMPILE_FAST.
-# Real/*.c can't be there because gcc -O2 messes some of them up.
-EXTRA_CFILES := \
- $(shell find basis/Real -type f | grep '\.c$$') \
- platform/$(TARGET_OS).c
-
-ifeq ($(OMIT_BYTECODE), yes)
-EXTRA_CFILES += bytecode/interpret.c
-else
-CFILES += bytecode/interpret.c
-endif
-
-FILES := $(basename $(CFILES))
-EXTRA_FILES := $(basename $(EXTRA_CFILES))
-
ifeq ($(COMPILE_FAST), yes)
- OBJS := runtime.o
- DEBUG_OBJS := runtime-gdb.o
+ OBJS += basis.o basis/Real/real-basis.o
+ DEBUG_OBJS += basis-gdb.o basis/Real/real-basis-gdb.o
else
- OBJS := $(foreach f, $(FILES), $(f).o)
- DEBUG_OBJS := $(foreach f, $(FILES), $(f)-gdb.o)
+ OBJS += \
+ $(foreach f, $(basename $(BASISCFILES)), $(f).o) \
+ $(foreach f, $(basename $(REAL_BASISCFILES)), $(f).o)
+ DEBUG_OBJS += \
+ $(foreach f, $(basename $(BASISCFILES)), $(f)-gdb.o) \
+ $(foreach f, $(basename $(REAL_BASISCFILES)), $(f)-gdb.o)
endif
-OBJS += $(foreach f, $(EXTRA_FILES), $(f).o)
-DEBUG_OBJS += $(foreach f, $(EXTRA_FILES), $(f)-gdb.o)
-
-all: libgdtoa.a libmlton.a libmlton-gdb.a \
- gen/c-types.sml gen/basis-ffi.sml \
+all: libgdtoa.a libmlton.a libmlton-gdb.a \
+ gen/c-types.sml gen/basis-ffi.sml \
bytecode/opcodes
libgdtoa.a: gdtoa/arith.h
- cd gdtoa && \
- $(CC) $(OPTCFLAGS) $(OPTWARNCFLAGS) \
- -w -O1 -c -DINFNAN_CHECK \
+ cd gdtoa && \
+ $(CC) $(OPTCFLAGS) $(OPTWARNCFLAGS) \
+ -w -O1 -c -DINFNAN_CHECK \
*.c
$(AR) libgdtoa.a gdtoa/*.o
$(RANLIB) libgdtoa.a
@@ -248,24 +248,16 @@
$(RANLIB) libmlton-gdb.a
-runtime.c: $(CFILES)
- rm -f runtime.c
- ( echo "#define MLTON_GC_INTERNAL_TYPES"; \
- echo "#define MLTON_GC_INTERNAL_FUNCS"; \
- echo "#define MLTON_GC_INTERNAL_BASIS"; \
- echo "#include \"platform.h\""; ) \
- > runtime.c
- cat $(CFILES) >> runtime.c
+basis.c: $(BASISCFILES)
+ rm -f basis.c
+ cat $(BASISCFILES) >> basis.c
+basis/Real/real-basis.c: $(REAL_BASISCFILES)
+ rm -f basis/real/real-basis.c
+ cat $(REAL_BASISCFILES) >> basis/real/real-basis.c
-util/%-gdb.o: util/%.c util.h $(UTILHFILES)
- $(CC) $(DEBUGCFLAGS) $(DEBUGWARNCFLAGS) -c -o $@ $<
-
-util/%.o: util/%.c util.h $(UTILHFILES)
- $(CC) $(OPTCFLAGS) $(WARNCFLAGS) -c -o $@ $<
-
-gen/c-types.h gen/c-types.sml gen/ml-types.h: gen/gen-types.c util.h $(UTILOFILES)
- $(CC) $(OPTCFLAGS) $(WARNCFLAGS) -o gen/gen-types gen/gen-types.c $(UTILOFILES)
+gen/c-types.h gen/c-types.sml gen/ml-types.h: gen/gen-types.c util.h util.o
+ $(CC) $(OPTCFLAGS) $(WARNCFLAGS) -o gen/gen-types gen/gen-types.c util.o
rm -f gen/c-types.h gen/c-types.sml gen/ml-types.h
cd gen && ./gen-types
rm -f gen/gen-types
@@ -292,18 +284,30 @@
rm -f bytecode/print-opcodes
-gc-gdb.o: gc.c $(GCCFILES) $(HFILES)
+util-gdb.o: util.c $(UTILCFILES) cenv.h $(UTILHFILES)
$(CC) $(DEBUGCFLAGS) $(DEBUGWARNCFLAGS) -c -o $@ $<
+util.o: util.c $(UTILCFILES) cenv.h $(UTILHFILES)
+ $(CC) $(OPTCFLAGS) $(OPTWARNCFLAGS) -c -o $@ $<
+
+gc-gdb.o: gc.c $(GCCFILES) $(HFILES)
+ $(CC) $(DEBUGCFLAGS) $(GCDEBUGCFLAGS) $(DEBUGWARNCFLAGS) -c -o $@ $<
+
gc.o: gc.c $(GCCFILES) $(HFILES)
$(CC) $(OPTCFLAGS) $(GCOPTCFLAGS) $(OPTWARNCFLAGS) -c -o $@ $<
-bytecode/interpret-gdb.o: bytecode/interpret.c bytecode/opcode.h $(HFILES)
+bytecode/interpret-gdb.o: bytecode/interpret.c $(HFILES) $(BYTECODEHFILES)
$(CC) -I../include $(DEBUGCFLAGS) $(DEBUGWARNCFLAGS) -Wno-float-equal -Wno-shadow -c -o $@ $<
-bytecode/interpret.o: bytecode/interpret.c bytecode/opcode.h $(HFILES)
+bytecode/interpret.o: bytecode/interpret.c $(HFILES) $(BYTECODEHFILES)
$(CC) -I../include $(OPTCFLAGS) $(GCOPTCFLAGS) $(OPTWARNCFLAGS) -Wno-float-equal -Wno-shadow -c -o $@ $<
+basis-gdb.o: basis.c $(BASISCFILES) $(HFILES)
+ $(CC) -Ibasis -Ibasis/Word -Ibasis/Real $(DEBUGCFLAGS) $(DEBUGWARNCFLAGS) -Wno-redundant-decls -c -o $@ $<
+
+basis.o: basis.c $(BASISCFILES) $(HFILES)
+ $(CC) -Ibasis -Ibasis/Word -Ibasis/Real $(OPTCFLAGS) $(OPTWARNCFLAGS) -Wno-redundant-decls -c -o $@ $<
+
# It looks like we don't follow the C spec w.r.t. aliasing. And gcc
# -O2 catches us on the code in Real/*.c where we treat a double as a
# chunk of two words. Files that have been known to cause problems
@@ -342,6 +346,8 @@
echo WARNFLAGS = $(WARNFLAGS)
echo OPTWARNFLAGS = $(OPTWARNFLAGS)
echo DEBUGWARNFLAGS = $(DEBUGWARNFLAGS)
+ echo OBJS = $(OBJS)
+ echo DEBUG_OBJS = $(DEBUG_OBJS)
.PHONY: clean
Property changes on: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real
___________________________________________________________________
Name: svn:ignore
+ real-basis.c
Added: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/.ignore
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/.ignore 2006-11-28 23:14:38 UTC (rev 4868)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/.ignore 2006-11-29 03:24:55 UTC (rev 4869)
@@ -0,0 +1 @@
+real-basis.c
Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c 2006-11-28 23:14:38 UTC (rev 4868)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c 2006-11-29 03:24:55 UTC (rev 4869)
@@ -149,7 +149,7 @@
#define booltype(t, bt, name) \
do { \
- writeString (cTypesHFd, "typedef "); \
+ writeString (cTypesHFd, "typedef"); \
writeString (cTypesHFd, " /* "); \
writeString (cTypesHFd, #t); \
writeString (cTypesHFd, " */ "); \
Added: mlton/branches/on-20050822-x86_64-branch/runtime/util.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/util.c 2006-11-28 23:14:38 UTC (rev 4868)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/util.c 2006-11-29 03:24:55 UTC (rev 4869)
@@ -0,0 +1,10 @@
+/* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
+ * Jagannathan, and Stephen Weeks.
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ */
+
+#include "util/assert.c"
+#include "util/die.c"
+#include "util/to-string.c"
|
|
From: Matthew F. <fl...@ml...> - 2006-11-28 15:14:39
|
Working towards 'make COMPILE_FAST=yes OMIT_BYTECODE=yes' ---------------------------------------------------------------------- U mlton/branches/on-20050822-x86_64-branch/runtime/Makefile ---------------------------------------------------------------------- Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile =================================================================== --- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-28 22:47:29 UTC (rev 4867) +++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-28 23:14:38 UTC (rev 4868) @@ -95,7 +95,7 @@ endif CC := gcc -std=gnu99 -CFLAGS := -I. -Iplatform $(FLAGS) +CFLAGS := -I. -Iplatform -Ibasis -Ibasis/Word -Ibasis/Real -I../include -Ibytecode $(FLAGS) OPTCFLAGS := $(CFLAGS) $(OPTFLAGS) DEBUGCFLAGS := $(CFLAGS) -g2 -O1 -DASSERT=1 $(DEBUGFLAGS) GCOPTCFLAGS = $(GCOPTFLAGS) @@ -150,35 +150,26 @@ WARNCFLAGS += -Wno-format -Wno-missing-format-attribute endif +UTILHFILES := \ + $(shell find util -type f | grep '\.h$$') UTILCFILES := \ $(shell find util -type f | grep '\.c$$') -UTILHFILES := \ - $(shell find util -type f | grep '\.h$$') UTILOFILES := $(foreach f, $(UTILCFILES), $(basename $(f)).o) +GCHFILES := \ + $(shell find gc -type f | grep '\.h$$') GCCFILES := \ $(shell find gc -type f | grep '\.c$$') -GCHFILES := \ - $(shell find gc -type f | grep '\.h$$') BASISHFILES := \ $(shell find basis -type f | grep '\.h$$') +BYTEHFILES := \ + $(shell find bytecode -type f | grep '\.h$$') BYTECFILES := \ $(shell find bytecode -type f | grep '\.c$$') -BYTEHFILES := \ - $(shell find bytecode -type f | grep '\.h$$') -CFILES := \ - $(UTILCFILES) \ - $(shell find basis -type f | grep '\.c$$' | grep -v Real/) \ - gc.c \ - platform.c -ifneq ($(OMIT_BYTECODE), yes) -CFILES += bytecode/interpret.c -endif - HFILES := \ cenv.h \ $(UTILHFILES) \ @@ -193,7 +184,11 @@ platform/$(TARGET_ARCH).h \ $(BASISHFILES) -FILES := $(basename $(CFILES)) +CFILES := \ + $(UTILCFILES) \ + $(shell find basis -type f | grep '\.c$$' | grep -v Real/) \ + gc.c \ + platform.c # EXTRA_CFILES is for files that we don't want compiled in the big # lump when compiling COMPILE_FAST. @@ -202,6 +197,13 @@ $(shell find basis/Real -type f | grep '\.c$$') \ platform/$(TARGET_OS).c +ifeq ($(OMIT_BYTECODE), yes) +EXTRA_CFILES += bytecode/interpret.c +else +CFILES += bytecode/interpret.c +endif + +FILES := $(basename $(CFILES)) EXTRA_FILES := $(basename $(EXTRA_CFILES)) ifeq ($(COMPILE_FAST), yes) |
|
From: Matthew F. <fl...@ml...> - 2006-11-28 14:49:48
|
Formatting; eliminate spaces on otherwise empty lines
----------------------------------------------------------------------
U mlton/branches/on-20050822-x86_64-branch/basis-library/README
U mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/array2.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-array-slice.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-array2.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-vector-slice.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/sequence.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/config/choose.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/general/bool.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/general/general.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/general/general.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/general/option.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/general/sml90.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/embed-int.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/embed-word.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/int-inf.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/int-inf0.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/int.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/int1.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/integer.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/iwconv0.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/num0.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/integer/word.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/io/bin-io.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/io/bin-io.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/io/imperative-io.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/io/io.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/io/prim-io.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/io/stream-io.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/io/text-io.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/arrays-and-vectors/mono-array2.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/arrays-and-vectors/mono-vector-array-array2-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/arrays-and-vectors/mono-vector.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/arrays-and-vectors/vector-array-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/arrays-and-vectors/vector.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/io/io-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/io/stream-io.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/io/text-io-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/posix/file-sys.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/posix/flags-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/posix/io-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/posix/io.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/posix/process-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/posix/tty-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/posix/tty.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/real/IEEE-real-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/real/real-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/real/real.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/system/file-sys.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/system/os-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/system/os.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/system/path-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/system/process-convert.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/system/timer.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/system/unix.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-1997/top-level/basis.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/basis-exns.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/basis-types.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/basis.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/generate-overloads.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/pervasive-exns.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-extra/top-level/basis.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-extra/top-level/basis.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-none/top-level/basis.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/list/list-pair.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/list/list.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/list/list.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/array.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/call-stack.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/cont.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/exn.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/ffi.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/finalizable.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/int-inf.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/io.fun
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/io.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/itimer.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/mlton.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/platform.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/platform.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/process.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/process.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/profile.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/ptrace.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/random.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/rlimit.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/signal.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/signal.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/socket.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/syslog.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/thread.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/vector.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/weak.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/word.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/generic-sock.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/generic-sock.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/inet-sock.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/net-host-db.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/net-host-db.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/net-prot-db.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/net-serv-db.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/socket.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/unix-sock.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/net/unix-sock.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/notes.txt
U mlton/branches/on-20050822-x86_64-branch/basis-library/platform/cygwin.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/error.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/file-sys.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/flags.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/io.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/io.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/posix.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/proc-env.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/process.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/signal.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/stub-mingw.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/sys-db.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/sys-db.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/tty.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/posix/tty.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-char.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-int.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-mlton.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-nullstring.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-pack-real.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-real.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-string.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-word.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim1.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/real/IEEE-real.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/real/IEEE-real.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/real/math.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/real/pack-real.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/sml-nj/sml-nj.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/command-line.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/date.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/date.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/file-sys.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/io.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/path.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/process.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/timer.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/system/unix.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/text/char.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/text/char0.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/text/string-cvt.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/text/string-cvt.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/text/string.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/text/string.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/text/substring.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/util/CUtil.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/util/cleaner.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/util/dynamic-wind.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/util/reader.sig
U mlton/branches/on-20050822-x86_64-branch/basis-library/util/reader.sml
U mlton/branches/on-20050822-x86_64-branch/basis-library/util/unique-id.sig
U mlton/branches/on-20050822-x86_64-branch/bin/grab-wiki
U mlton/branches/on-20050822-x86_64-branch/bin/upgrade-basis
U mlton/branches/on-20050822-x86_64-branch/doc/changelog
U mlton/branches/on-20050822-x86_64-branch/doc/examples/ffi/export.sml
U mlton/branches/on-20050822-x86_64-branch/doc/examples/finalizable/finalizable.sml
U mlton/branches/on-20050822-x86_64-branch/doc/examples/profiling/fib-tak.sml
U mlton/branches/on-20050822-x86_64-branch/doc/examples/profiling/list-rev.sml
U mlton/branches/on-20050822-x86_64-branch/doc/style-guide/main.tex
U mlton/branches/on-20050822-x86_64-branch/doc/x86_64-port-notes/mltongc.txt
U mlton/branches/on-20050822-x86_64-branch/lib/cml/cml-lib/multicast.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/cml-lib/multicast.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/cml-lib/result.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/cml-lib/simple-rpc.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/cml-lib/trace-cml.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/channel.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/channel.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/cml.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/event.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/mailbox.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/run-cml.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/run-cml.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/sync-var.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/sync-var.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/timeout.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/trans-id.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/core-cml/version.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/tests/primes-multicast.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/tests/primes.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/util/assert.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/util/assert.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/util/critical.sig
U mlton/branches/on-20050822-x86_64-branch/lib/cml/util/imp-queue.sml
U mlton/branches/on-20050822-x86_64-branch/lib/cml/util/local-assert.fun
U mlton/branches/on-20050822-x86_64-branch/lib/cml/util/local-debug.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlnlffi/c.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlnlffi/internals/c-int.x86-linux.mlb
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/alpha-beta.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/alpha-beta.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/append-list.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/append-list.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/array.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/array.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/array2.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/array2.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/assert.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/base64.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/base64.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/binary-search.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/bool.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/bounded-order.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/buffer.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/buffer.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/char-buffer.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/char-buffer.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/char-pred.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/char.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/char0.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/choice-pattern.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/circular-list.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/circular-list.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/clearable-promise.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/computation.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/console.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/console.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/counter.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/counter.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/date.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/date.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/dir.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/dir.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/directed-graph.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/directed-sub-graph.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/dot-color.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/dot.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/dot.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/doubly-linked.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/engine.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/engine.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/env.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/env.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/error.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/escape.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/euclidean-ring.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/euclidean-ring.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/exn.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/exn0.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/export.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/field.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/file-desc.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/file.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/fold.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/fold.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/format.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/format.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/function.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/hash-set.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/hash-table.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/hash-table.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/html.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/html.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/http.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/http.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/init-script.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/instream.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/instream.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/instream0.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/int-inf.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/int-inf.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/int.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/integer.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/intermediate-computation.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/intermediate-computation.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/iterate.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/justify.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/justify.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/layout.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/layout.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/linked-list.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/linked-list.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/list.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/list.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/mark.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/mark.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/max-pow-2-that-divides.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/merge-sort.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/mono-container.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/mono-list.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/mono-option.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/my-dirs.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/net.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/number.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/number.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/option.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/ordered-ring.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/ordered-ring.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/outstream.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/outstream0.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/parse.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/parse.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/pid.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/pointer.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/pointer.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/popt.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/popt.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/port.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/port.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/postscript.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/postscript.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/power.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/process.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/process.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/promise.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/property-list.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/property.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/property.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/ps.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/quick-sort.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/quick-sort.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/random.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/random.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/rational.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/rational.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/rdb.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/rdb.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/reader.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/real.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/real.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/ref.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/regexp.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/regexp.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/relation0.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/resizable-array.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/resizable-array.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/result.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/result.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/ring-with-identity.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/ring-with-identity.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/ring.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/ring.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/sexp.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/signal.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/stream.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/stream.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/string-map.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/string.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/string.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/string0.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/string1.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/substring.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/substring.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/sum.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/t.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/tab.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/time.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/time.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/trace.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/trace.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/tree.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/tree.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/unique-id.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/unique-set.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/unique-set.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/url.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/url.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/vector.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/vector.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/word.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/basic/word.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/directed-graph/shortest-path-check.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/directed-graph/shortest-path-check.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/directed-graph/shortest-path.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/directed-graph/sources.cm
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/array-finite-function.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/basic-env-to-env.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/cache.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/cache.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/finite-function.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/finite-function.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/mono-env.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/mono-env.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/move-to-front.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/poly-cache-ref.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/poly-cache.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/poly-cache.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/env/splay-env.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/heap/binary.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/heap/binomial.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/heap/fibonacci.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/heap/forest.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/heap/forest.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/heap/heap.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/heap/test.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/pervasive/pervasive.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/append-reverse.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/append-reverse.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/circular.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/early.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/ephemeral.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/explicit-append-reverse.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/incremental-append-reverse.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/incremental.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/lazy-append-reverse.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/linked-list.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/list.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/persistent.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/persistent.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/queue.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/test.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/two-list.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/queue/unbounded-ephemeral.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/disjoint-collection.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/disjoint-collection.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/disjoint-max.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/disjoint-max.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/disjoint.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/disjoint.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/hashed-unique-set.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/object-oriented.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/ordered-unique-set.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/poly-set.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/poly-unordered.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/poly-unordered2.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/set.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/test.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/type.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/universe-equal.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/universe-type-check.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/universe.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/unordered-universe.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/set/unordered.fun
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/sources.cm
U mlton/branches/on-20050822-x86_64-branch/lib/mlton/sources.mlb
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/array.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/bin-io.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/int-inf.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/io.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/mlton.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/platform.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/process.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/random.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/random.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/real.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/rlimit.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/rusage.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/signal.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/syslog.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/thread.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/vector.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs/word.sig
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/array.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/char.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/import.cm
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/int-inf.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/os.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/real.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/socket.sml
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/sources.cm
U mlton/branches/on-20050822-x86_64-branch/lib/mlton-stubs-in-smlnj/word.sml
U mlton/branches/on-20050822-x86_64-branch/mlprof/main.sml
U mlton/branches/on-20050822-x86_64-branch/mlprof/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/admits-equality.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/admits-equality.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-atoms.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-atoms.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-const.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-core.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-core.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-mlbs.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-mlbs.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-modules.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-modules.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/ast-programs.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/char-size.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/field.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/field.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/int-size.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/longid.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-cons.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/prim-tycons.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/real-size.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/record.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/record.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/symbol.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/symbol.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/tycon-kind.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/tycon-kind.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/tyvar.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/word-size.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ast/word-size.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/atoms.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/c-function.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/c-function.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/c-type.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/cases.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/con-.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/const-type.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/const-type.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/const.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/const.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/ffi.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/ffi.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/generic-scheme.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/hash-type.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/id.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/prim.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/prim.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/profile-exp.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/profile-label.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/profile-label.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/real-x.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/real-x.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/source-info.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/source-info.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/tycon.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/type-ops.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/type-ops.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/unary-tycon.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/unary-tycon.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/var.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/word-x-vector.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/word-x-vector.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/word-x.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/atoms/word-x.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/allocate-registers.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/allocate-registers.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/backend.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/backend.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/chunkify.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/equivalence-graph.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/equivalence-graph.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/err.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/implement-handlers.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/implement-handlers.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/limit-check.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/limit-check.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/live.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/machine.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/machine.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/object-type.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/packed-representation.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/pointer-tycon.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/pointer-tycon.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/profile.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/rep-type.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/representation.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/runtime.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/scale.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/signal-check.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/small-int-inf.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/small-int-inf.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/ssa-to-rssa.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/ssa-to-rssa.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/switch.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/backend/switch.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/closure-convert/abstract-value.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/closure-convert/abstract-value.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/closure-convert/closure-convert.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/closure-convert/globalize.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/closure-convert/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/cm/parse.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/bytecode/bytecode.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/c-codegen/c-codegen.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/peephole.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/peephole.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-allocate-registers.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-codegen.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-generate-transfers.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-jump-info.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-live-transfers.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-liveness.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-loop-info.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-loop-info.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-mlton-basic.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-mlton-basic.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-mlton.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-pseudo.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-simplify.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-translate.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/control/bits.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/control/control-flags.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/control/control-flags.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/control/control.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/control/control.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/control/pretty.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/control/region.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/control/region.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/control/source-pos.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/control/source.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/control/source.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/control/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/control/system.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/core-ml/core-ml.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/defunctorize/defunctorize.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/decs.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-env.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-env.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-mlbs.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-sigexp.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/interface.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/interface.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/precedence-parse.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/precedence-parse.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/type-env.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/front-end.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/front-end.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/ml.grm
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/ml.lex
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/mlb-front-end.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/mlb.grm
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/mlb.lex
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/sources.mlb
U mlton/branches/on-20050822-x86_64-branch/mlton/main/compile.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/main/lookup-constant.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/main/main.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/main/main.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/match-compile/match-compile.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/match-compile/match-compile.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/match-compile/nested-pat.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/match-compile/nested-pat.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/match-compile/sources.cm
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/analyze.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/analyze.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/analyze2.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/analyze2.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/common-arg.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/common-arg.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/common-block.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/common-block.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/common-subexp.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/common-subexp.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/constant-propagation.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/constant-propagation.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/contify.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/contify.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/deep-flatten.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/deep-flatten.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/direct-exp.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/direct-exp2.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/equatable.sml
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/flat-lattice.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/flat-lattice.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/flatten.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/flatten.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/global.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/inline.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/introduce-loops.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/known-case.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/known-case.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/local-flatten.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/loop-invariant.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/multi.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/n-point-lattice.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/poly-equal.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/prepasses.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/redundant-tests.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/redundant-tests.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/redundant.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/redundant.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ref-flatten.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ref-flatten.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/remove-unused.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/remove-unused.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/remove-unused2.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/remove-unused2.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/restore.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/restore2.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/shrink.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/shrink2.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/simplify-types.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/simplify.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/simplify.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/simplify2.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-to-ssa2.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-tree.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-tree.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-tree2.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-tree2.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/three-point-lattice.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/three-point-lattice.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/two-point-lattice.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/two-point-lattice.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/type-check.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/type-check.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/type-check2.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/type-check2.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/useless.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/useless.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/zone.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/ssa/zone.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/call-count.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/implement-exceptions.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/implement-suffix.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/monomorphise.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/polyvariance.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/polyvariance.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/scc-funs.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/shrink.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/shrink.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/simplify-types.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/sxml-simplify.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/sxml-simplify.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/type-check.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/uncurry.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/uncurry.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/xml-simplify.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/xml-simplify.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/xml-tree.fun
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/xml-tree.sig
U mlton/branches/on-20050822-x86_64-branch/mlton/xml/xml-type.sig
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Itimer/set.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Net/Socket/INetSock.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Net/Socket/UnixSock.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/FileSys/Dirstream.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/exitStatus.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/nanosleep.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/stopSig.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/termSig.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Signal.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/Math-fns.h
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/gdtoa.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/strto.c
U mlton/branches/on-20050822-x86_64-branch/runtime/basis/Word/Word-ops.h
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/array-allocate.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/array.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/cheney-copy.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/copy-thread.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/done.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/foreach.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/forward.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/frame.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/garbage-collection.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/generational.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/hash-cons.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/heap.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/init-world.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/init.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/int-inf.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/invariant.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/mark-compact.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/object-size.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/objptr.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/profiling.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/rusage.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/share.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/sources.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/stack.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/switch-thread.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
U mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c
U mlton/branches/on-20050822-x86_64-branch/runtime/platform/cygwin.c
U mlton/branches/on-20050822-x86_64-branch/runtime/platform/mingw.c
U mlton/branches/on-20050822-x86_64-branch/runtime/platform/sysctl.c
U mlton/branches/on-20050822-x86_64-branch/runtime/platform/windows.c
U mlton/branches/on-20050822-x86_64-branch/runtime/util/die.c
U mlton/branches/on-20050822-x86_64-branch/runtime/util/endian.h
U mlton/branches/on-20050822-x86_64-branch/runtime/util/read_write.h
U mlton/branches/on-20050822-x86_64-branch/runtime/util/safe.h
U mlton/branches/on-20050822-x86_64-branch/runtime/util/to-string.c
U mlton/branches/on-20050822-x86_64-branch/util/cm2mlb/cm2mlb.sml
U mlton/branches/on-20050822-x86_64-branch/util/cm2mlb/sources.cm
U mlton/branches/on-20050822-x86_64-branch/util/cmcat/cmcat.sml
U mlton/branches/on-20050822-x86_64-branch/util/cmcat/sources.cm
----------------------------------------------------------------------
Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/README
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/README 2006-11-28 22:08:04 UTC (rev 4866)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/README 2006-11-28 22:47:29 UTC (rev 4867)
@@ -11,7 +11,7 @@
posix/primitve.sml
These are not Standard ML. They describe all of the primitives and
C routines used in the basis.
-
+
top-level/overloads.sml
Not Standard ML.
Uses the notation _overload <var> : <ty> as <var> (and <var>)*
@@ -30,6 +30,6 @@
declarations from the basis so that there are no free variables in the
user program (or basis). It has a special hack to include all
bindings of the form
-
+
val _ = ...
Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/array2.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/array2.sml 2006-11-28 22:08:04 UTC (rev 4866)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/array2.sml 2006-11-28 22:47:29 UTC (rev 4867)
@@ -152,7 +152,7 @@
andalso (geu (r, rows) orelse geu (c, cols))
then raise Subscript
else unsafeSpot' (a, r, c)
-
+
fun unsafeSub' (a as {array, ...}: 'a array, r, c) =
Array.unsafeSub' (array, unsafeSpot' (a, r, c))
fun sub' (a as {array, ...}: 'a array, r, c) =
Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-array-slice.sig
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-array-slice.sig 2006-11-28 22:08:04 UTC (rev 4866)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-array-slice.sig 2006-11-28 22:47:29 UTC (rev 4867)
@@ -5,7 +5,7 @@
type slice
type vector
type vector_slice
-
+
val length: slice -> int
val sub: slice * int -> elem
val update: slice * int * elem -> unit
Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-array2.sig
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-array2.sig 2006-11-28 22:08:04 UTC (rev 4866)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/arrays-and-vectors/mono-array2.sig 2006-11-28 22:47:29 UTC (rev 4867)
@@ -10,7 +10,7 @@
col: int,
nrows: int opti...
[truncated message content] |
|
From: Matthew F. <fl...@ml...> - 2006-11-28 14:08:07
|
Merge trunk revisions 4851:4865 into x86_64 branch
----------------------------------------------------------------------
U mlton/branches/on-20050822-x86_64-branch/Makefile
U mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/Makefile
U mlton/branches/on-20050822-x86_64-branch/benchmark/Makefile
U mlton/branches/on-20050822-x86_64-branch/doc/examples/ffi/Makefile
U mlton/branches/on-20050822-x86_64-branch/doc/examples/finalizable/Makefile
U mlton/branches/on-20050822-x86_64-branch/doc/examples/profiling/Makefile
U mlton/branches/on-20050822-x86_64-branch/doc/examples/save-world/Makefile
U mlton/branches/on-20050822-x86_64-branch/doc/hacker-guide/Makefile
U mlton/branches/on-20050822-x86_64-branch/doc/library-guide/Makefile
U mlton/branches/on-20050822-x86_64-branch/doc/mlb-formal/Makefile
U mlton/branches/on-20050822-x86_64-branch/doc/style-guide/Makefile
U mlton/branches/on-20050822-x86_64-branch/lib/mlnlffi/memory/memalloc-a4-unix.sml
U mlton/branches/on-20050822-x86_64-branch/lib/opengl/Makefile
U mlton/branches/on-20050822-x86_64-branch/mllex/Makefile
U mlton/branches/on-20050822-x86_64-branch/mlnlffigen/Makefile
U mlton/branches/on-20050822-x86_64-branch/mlprof/Makefile
U mlton/branches/on-20050822-x86_64-branch/mlton/Makefile
U mlton/branches/on-20050822-x86_64-branch/mlton/front-end/Makefile
U mlton/branches/on-20050822-x86_64-branch/mlyacc/Makefile
U mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
U mlton/branches/on-20050822-x86_64-branch/runtime/platform/darwin.c
U mlton/branches/on-20050822-x86_64-branch/runtime/platform/mingw.c
----------------------------------------------------------------------
Modified: mlton/branches/on-20050822-x86_64-branch/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,46 +6,51 @@
# See the file MLton-LICENSE for details.
##
-export TARGET = self
-export TARGET_ARCH = $(shell bin/host-arch)
-export TARGET_OS = $(shell bin/host-os)
-ROOT = $(shell pwd)
-BUILD = $(ROOT)/build
-SRC = $(ROOT)
-BIN = $(BUILD)/bin
-LIB = $(BUILD)/lib
-INC = $(LIB)/include
-COMP = $(SRC)/mlton
-MLTON = $(BIN)/mlton
-AOUT = mlton-compile
+export TARGET := self
+export TARGET_ARCH := $(shell bin/host-arch)
+export TARGET_OS := $(shell bin/host-os)
+ROOT := $(shell pwd)
+BUILD := $(ROOT)/build
+SRC := $(ROOT)
+BIN := $(BUILD)/bin
+LIB := $(BUILD)/lib
+INC := $(LIB)/include
+COMP := $(SRC)/mlton
+RUN := $(SRC)/runtime
+MLTON := $(BIN)/mlton
+AOUT := mlton-compile
ifeq (mingw, $(TARGET_OS))
-EXE = .exe
+EXE := .exe
else
-EXE =
+EXE :=
endif
-MLBPATHMAP = $(LIB)/mlb-path-map
-TARGETMAP = $(LIB)/target-map
-SPEC = package/rpm/mlton.spec
-LEX = mllex
-PROF = mlprof
-YACC = mlyacc
-NLFFIGEN = mlnlffigen
-PATH = $(BIN):$(SRC)/bin:$(shell echo $$PATH)
-CP = /bin/cp -fpR
-GZIP = gzip --force --best
-RANLIB = ranlib
+MLBPATHMAP := $(LIB)/mlb-path-map
+TARGETMAP := $(LIB)/target-map
+SPEC := package/rpm/mlton.spec
+LEX := mllex
+PROF := mlprof
+YACC := mlyacc
+NLFFIGEN := mlnlffigen
+PATH := $(BIN):$(SRC)/bin:$(shell echo $$PATH)
+CP := /bin/cp -fpR
+GZIP := gzip --force --best
+RANLIB := ranlib
# If we're compiling with another version of MLton, then we want to do
# another round of compilation so that we get a MLton built without
# stubs.
ifeq (other, $(shell if [ ! -x "$(BIN)/mlton" ]; then echo other; fi))
- BOOTSTRAP_OTHER=true
+ BOOTSTRAP_OTHER:=true
else
- BOOTSTRAP_OTHER=false
+ BOOTSTRAP_OTHER:=false
endif
-VERSION ?= $(shell date +%Y%m%d)
-RELEASE ?= 1
+ifeq ($(origin VERSION), undefined)
+ VERSION := $(shell date +%Y%m%d)
+endif
+ifeq ($(origin RELEASE), undefined)
+ RELEASE := 1
+endif
.PHONY: all
all:
@@ -108,7 +113,7 @@
./tmp >"$(LIB)/$(TARGET)/constants"
rm -f tmp tmp.c
-DEBSRC = mlton-$(VERSION).orig
+DEBSRC := mlton-$(VERSION).orig
.PHONY: deb
deb:
$(MAKE) clean clean-svn version
@@ -156,7 +161,7 @@
bin/make-pdf-guide; \
fi
-BSDSRC = /tmp/mlton-$(VERSION)
+BSDSRC := /tmp/mlton-$(VERSION)
.PHONY: freebsd
freebsd:
$(MAKE) clean clean-svn version
@@ -168,7 +173,7 @@
# do not change "make" to "$(MAKE)" in the following line
cd "$(BSDSRC)/package/freebsd" && MAINTAINER_MODE=yes make build-package
-LIBRARIES = ckit-lib cml mlnlffi-lib mlyacc-lib smlnj-lib
+LIBRARIES := ckit-lib cml mlnlffi-lib mlyacc-lib smlnj-lib
.PHONY: libraries-no-check
libraries-no-check:
@@ -257,8 +262,8 @@
chmod a+x "$(MLTON).$$t"; \
done
-TOPDIR = 'TOPDIR-unset'
-SOURCEDIR = $(TOPDIR)/SOURCES/mlton-$(VERSION)
+TOPDIR := 'TOPDIR-unset'
+SOURCEDIR := $(TOPDIR)/SOURCES/mlton-$(VERSION)
.PHONY: rpms
rpms:
$(MAKE) clean clean-svn version
@@ -352,44 +357,44 @@
# The TBIN and TLIB are where the files are going to be after installing.
# The DESTDIR and is added onto them to indicate where the Makefile actually
# puts them.
-DESTDIR = $(CURDIR)/install
-PREFIX = /usr
+DESTDIR := $(CURDIR)/install
+PREFIX := /usr
ifeq ($(TARGET_OS), cygwin)
-PREFIX = /
+PREFIX := /
endif
ifeq ($(TARGET_OS), darwin)
-PREFIX = /usr/local
+PREFIX := /usr/local
endif
ifeq ($(TARGET_OS), mingw)
-PREFIX = /mingw
+PREFIX := /mingw
endif
ifeq ($(TARGET_OS), solaris)
-PREFIX = /usr/local
+PREFIX := /usr/local
endif
-prefix = $(PREFIX)
-MAN_PREFIX_EXTRA =
-TBIN = $(DESTDIR)$(prefix)/bin
-ULIB = lib/mlton
-TLIB = $(DESTDIR)$(prefix)/$(ULIB)
-TMAN = $(DESTDIR)$(prefix)$(MAN_PREFIX_EXTRA)/man/man1
-TDOC = $(DESTDIR)$(prefix)/share/doc/mlton
+prefix := $(PREFIX)
+MAN_PREFIX_EXTRA :=
+TBIN := $(DESTDIR)$(prefix)/bin
+ULIB := lib/mlton
+TLIB := $(DESTDIR)$(prefix)/$(ULIB)
+TMAN := $(DESTDIR)$(prefix)$(MAN_PREFIX_EXTRA)/man/man1
+TDOC := $(DESTDIR)$(prefix)/share/doc/mlton
ifeq ($(TARGET_OS), cygwin)
-TDOC = $(DESTDIR)$(prefix)/usr/share/doc/mlton
+TDOC := $(DESTDIR)$(prefix)/usr/share/doc/mlton
endif
ifeq ($(TARGET_OS), solaris)
-TDOC = $(DESTDIR)$(prefix)/doc/mlton
+TDOC := $(DESTDIR)$(prefix)/doc/mlton
endif
-TEXM = $(TDOC)/examples
+TEXM := $(TDOC)/examples
-GZIP_MAN = true
+GZIP_MAN := true
ifeq ($(TARGET_OS), solaris)
-GZIP_MAN = false
+GZIP_MAN := false
endif
.PHONY: install
install: install-docs install-no-docs
-MAN_PAGES = \
+MAN_PAGES := \
mllex.1 \
mlnlffigen.1 \
mlprof.1 \
@@ -447,7 +452,7 @@
find "$(TEXM)/" -name .svn -type d | xargs rm -rf
find "$(TEXM)/" -name .ignore -type f | xargs rm -rf
-TDOCBASE = $(DESTDIR)$(prefix)/share/doc-base
+TDOCBASE := $(DESTDIR)$(prefix)/share/doc-base
.PHONY: post-install-debian
post-install-debian:
Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/libs/basis-2002/top-level/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -5,7 +5,7 @@
# See the file MLton-LICENSE for details.
##
-GEN = generate-overloads
+GEN := generate-overloads
overloads.sml: $(GEN).sml
mlton $(GEN).sml
Modified: mlton/branches/on-20050822-x86_64-branch/benchmark/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/benchmark/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/benchmark/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,17 +6,17 @@
# See the file MLton-LICENSE for details.
##
-SRC = $(shell cd .. && pwd)
-BUILD = $(SRC)/build
-BIN = $(BUILD)/bin
-LIB = $(BUILD)/lib
-MLTON = mlton
-TARGET = self
-FLAGS = -target $(TARGET) \
+SRC := $(shell cd .. && pwd)
+BUILD := $(SRC)/build
+BIN := $(BUILD)/bin
+LIB := $(BUILD)/lib
+MLTON := mlton
+TARGET := self
+FLAGS := -target $(TARGET) \
-default-ann 'sequenceNonUnit warn' \
-default-ann 'warnUnused true'
-NAME = benchmark
-PATH = $(BIN):$(shell echo $$PATH)
+NAME := benchmark
+PATH := $(BIN):$(shell echo $$PATH)
all: $(NAME)
@@ -40,19 +40,19 @@
tags:
etags *.fun *.sig *.sml
-BENCH = barnes-hut boyer checksum count-graphs DLXSimulator fft fib flat-array hamlet imp-for knuth-bendix lexgen life logic mandelbrot matrix-multiply md5 merge mlyacc model-elimination mpuz nucleic output1 peek psdes-random ratio-regions ray raytrace simple smith-normal-form tailfib tak tensor tsp tyan vector-concat vector-rev vliw wc-input1 wc-scanStream zebra zern
-FPBENCH = barnes-hut fft hamlet mandelbrot matrix-multiply nucleic ray raytrace simple tensor tsp tyan vliw zern
+BENCH := barnes-hut boyer checksum count-graphs DLXSimulator fft fib flat-array hamlet imp-for knuth-bendix lexgen life logic mandelbrot matrix-multiply md5 merge mlyacc model-elimination mpuz nucleic output1 peek psdes-random ratio-regions ray raytrace simple smith-normal-form tailfib tak tensor tsp tyan vector-concat vector-rev vliw wc-input1 wc-scanStream zebra zern
+FPBENCH := barnes-hut fft hamlet mandelbrot matrix-multiply nucleic ray raytrace simple tensor tsp tyan vliw zern
-BFLAGS = -mlton "/usr/bin/mlton" -mlton "mlton -optimize-ssa {false,true}"
-BFLAGS = -wiki -mlton "/usr/bin/mlton" -mlkit -mosml -poly -smlnj
-BFLAGS = -mlton "$(BIN)/mlton"
+BFLAGS := -mlton "/usr/bin/mlton" -mlton "mlton -optimize-ssa {false,true}"
+BFLAGS := -wiki -mlton "/usr/bin/mlton" -mlkit -mosml -poly -smlnj
+BFLAGS := -mlton "$(BIN)/mlton"
.PHONY: test
test: $(NAME)
cd tests && ../benchmark $(BFLAGS) $(BENCH)
-QBENCH = $(BENCH)
-QBFLAGS = -mlton "mlton{-stable,.cvs.HEAD -detect-overflow {false,true}}"
+QBENCH := $(BENCH)
+QBFLAGS := -mlton "mlton{-stable,.cvs.HEAD -detect-overflow {false,true}}"
.PHONY: qtest
qtest: $(NAME)
Modified: mlton/branches/on-20050822-x86_64-branch/doc/examples/ffi/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/examples/ffi/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/doc/examples/ffi/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,9 +6,9 @@
# See the file MLton-LICENSE for details.
##
-PATH = ../../../build/bin:$(shell echo $$PATH)
+PATH := ../../../build/bin:$(shell echo $$PATH)
-mlton = mlton -default-ann 'allowFFI true'
+mlton := mlton -default-ann 'allowFFI true'
.PHONY: all
all: import import2 export iimport test_quot
Modified: mlton/branches/on-20050822-x86_64-branch/doc/examples/finalizable/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/examples/finalizable/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/doc/examples/finalizable/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -5,9 +5,9 @@
# See the file MLton-LICENSE for details.
##
-PATH = ../../../build/bin:$(shell echo $$PATH)
+PATH := ../../../build/bin:$(shell echo $$PATH)
-mlton = mlton -default-ann 'allowFFI true'
+mlton := mlton -default-ann 'allowFFI true'
all:
$(mlton) finalizable.sml cons.c
Modified: mlton/branches/on-20050822-x86_64-branch/doc/examples/profiling/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/examples/profiling/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/doc/examples/profiling/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,14 +6,14 @@
# See the file MLton-LICENSE for details.
##
-mlton = mlton
-mlprof = mlprof
-ALLOC_EX = list-rev
-COUNT_EX = tak
-MULT_EX = fib-tak
-TIME_EX = tak
+mlton := mlton
+mlprof := mlprof
+ALLOC_EX := list-rev
+COUNT_EX := tak
+MULT_EX := fib-tak
+TIME_EX := tak
-PATH = ../../../build/bin:$(shell echo $$PATH)
+PATH := ../../../build/bin:$(shell echo $$PATH)
.PHONY: all
all: profile-time profile-alloc profile-count profile-stack profile-multiple
Modified: mlton/branches/on-20050822-x86_64-branch/doc/examples/save-world/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/examples/save-world/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/doc/examples/save-world/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,9 +6,9 @@
# See the file MLton-LICENSE for details.
##
-PATH = ../../../build/bin:$(shell echo $$PATH)
+PATH := ../../../build/bin:$(shell echo $$PATH)
-mlton = mlton
+mlton := mlton
all: test
Modified: mlton/branches/on-20050822-x86_64-branch/doc/hacker-guide/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/hacker-guide/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/doc/hacker-guide/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,7 +6,7 @@
# See the file MLton-LICENSE for details.
##
-TEX_FILES = \
+TEX_FILES := \
abstract.tex \
basis-library.tex \
main.tex \
@@ -16,7 +16,7 @@
runtime.tex \
sources.tex \
-FIG_FILES = \
+FIG_FILES := \
structure.ps \
all: main.ps
Modified: mlton/branches/on-20050822-x86_64-branch/doc/library-guide/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/library-guide/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/doc/library-guide/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,12 +6,12 @@
# See the file MLton-LICENSE for details.
##
-TEX_FILES = \
+TEX_FILES := \
abstract.tex \
main.tex \
macros.tex \
-FIG_FILES = \
+FIG_FILES := \
all: main.ps
Modified: mlton/branches/on-20050822-x86_64-branch/doc/mlb-formal/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/mlb-formal/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/doc/mlb-formal/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -5,7 +5,7 @@
# See the file MLton-LICENSE for details.
##
-TEX_FILES = \
+TEX_FILES := \
bib.bib \
mlb-formal.tex
Modified: mlton/branches/on-20050822-x86_64-branch/doc/style-guide/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/style-guide/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/doc/style-guide/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,12 +6,12 @@
# See the file MLton-LICENSE for details.
##
-TEX_FILES = \
+TEX_FILES := \
abstract.tex \
main.tex \
macros.tex \
-FIG_FILES = \
+FIG_FILES := \
all: main.ps
Modified: mlton/branches/on-20050822-x86_64-branch/lib/mlnlffi/memory/memalloc-a4-unix.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/lib/mlnlffi/memory/memalloc-a4-unix.sml 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/lib/mlnlffi/memory/memalloc-a4-unix.sml 2006-11-28 22:08:04 UTC (rev 4866)
@@ -21,6 +21,7 @@
type addr = Ptr.t
type addr' = addr
+(*
structure DL = DynLinkage
fun main's s = DL.lib_symbol (DL.main_lib, s)
@@ -37,8 +38,8 @@
let val p_u = _import * : MLton.Pointer.t -> addr -> unit;
in p_u (DL.addr free_h) a
end
+*)
-(*
fun sys_malloc (n : Word32.word) =
let val w_p = _import "malloc" : Word32.word -> addr;
val a = w_p n
@@ -49,7 +50,6 @@
let val p_u = _import "free" : addr -> unit;
in p_u a
end
-*)
fun alloc bytes = sys_malloc bytes
fun free a = sys_free a
Modified: mlton/branches/on-20050822-x86_64-branch/lib/opengl/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/lib/opengl/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/lib/opengl/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -1,11 +1,11 @@
-mlton = mlton
-MLTON_FLAGS = \
+mlton := mlton
+MLTON_FLAGS := \
-default-ann 'allowFFI true' \
-target-link-opt cygwin '-L/lib/w32api -lglut32 -lglu32 -lopengl32' \
-target-link-opt darwin '-framework GLUT -framework OpenGL -framework Foundation' \
-target-link-opt linux '-lglut -lGLU -lGL'
-GL_OBJS = GL_c.o GLUT_c.o
+GL_OBJS := GL_c.o GLUT_c.o
%_h.h: %.cm %.sig %.sml
$(mlton) $(MLTON_FLAGS) -export-header $@ -stop tc $<
Modified: mlton/branches/on-20050822-x86_64-branch/mllex/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mllex/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/mllex/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,15 +6,15 @@
# See the file MLton-LICENSE for details.
##
-SRC = $(shell cd .. && pwd)
-BUILD = $(SRC)/build
-BIN = $(BUILD)/bin
-LIB = $(BUILD)/lib
-MLTON = mlton
-TARGET = self
-FLAGS = -target $(TARGET)
-NAME = mllex
-PATH = $(BIN):$(shell echo $$PATH)
+SRC := $(shell cd .. && pwd)
+BUILD := $(SRC)/build
+BIN := $(BUILD)/bin
+LIB := $(BUILD)/lib
+MLTON := mlton
+TARGET := self
+FLAGS := -target $(TARGET)
+NAME := mllex
+PATH := $(BIN):$(shell echo $$PATH)
all: $(NAME)
Modified: mlton/branches/on-20050822-x86_64-branch/mlnlffigen/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlnlffigen/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/mlnlffigen/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -5,15 +5,15 @@
# See the file MLton-LICENSE for details.
##
-SRC = $(shell cd .. && pwd)
-BUILD = $(SRC)/build
-BIN = $(BUILD)/bin
-LIB = $(BUILD)/lib
-MLTON = mlton
-TARGET = self
-FLAGS = -target $(TARGET) -default-ann 'sequenceNonUnit warn'
-NAME = mlnlffigen
-PATH = $(BIN):$(shell echo $$PATH)
+SRC := $(shell cd .. && pwd)
+BUILD := $(SRC)/build
+BIN := $(BUILD)/bin
+LIB := $(BUILD)/lib
+MLTON := mlton
+TARGET := self
+FLAGS := -target $(TARGET) -default-ann 'sequenceNonUnit warn'
+NAME := mlnlffigen
+PATH := $(BIN):$(shell echo $$PATH)
all: $(NAME)
Modified: mlton/branches/on-20050822-x86_64-branch/mlprof/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlprof/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/mlprof/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,15 +6,15 @@
# See the file MLton-LICENSE for details.
##
-SRC = $(shell cd .. && pwd)
-BUILD = $(SRC)/build
-BIN = $(BUILD)/bin
-LIB = $(BUILD)/lib
-MLTON = mlton
-TARGET = self
-FLAGS = -target $(TARGET) -default-ann 'sequenceNonUnit warn' -default-ann 'warnUnused true'
-NAME = mlprof
-PATH = $(BIN):$(shell echo $$PATH)
+SRC := $(shell cd .. && pwd)
+BUILD := $(SRC)/build
+BIN := $(BUILD)/bin
+LIB := $(BUILD)/lib
+MLTON := mlton
+TARGET := self
+FLAGS := -target $(TARGET) -default-ann 'sequenceNonUnit warn' -default-ann 'warnUnused true'
+NAME := mlprof
+PATH := $(BIN):$(shell echo $$PATH)
all: $(NAME)
Modified: mlton/branches/on-20050822-x86_64-branch/mlton/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,38 +6,38 @@
# See the file MLton-LICENSE for details.
##
-SRC = $(shell cd .. && pwd)
-BUILD = $(SRC)/build
-BIN = $(BUILD)/bin
-HOST_ARCH = $(shell "$(SRC)/bin/host-arch")
-HOST_OS = $(shell "$(SRC)/bin/host-os")
-LIB = $(BUILD)/lib
-MLTON = mlton
-TARGET = self
-AOUT = mlton-compile
-UP = upgrade-basis.sml
-PATH = $(BIN):$(shell echo $$PATH)
+SRC := $(shell cd .. && pwd)
+BUILD := $(SRC)/build
+BIN := $(BUILD)/bin
+HOST_ARCH := $(shell "$(SRC)/bin/host-arch")
+HOST_OS := $(shell "$(SRC)/bin/host-os")
+LIB := $(BUILD)/lib
+MLTON := mlton
+TARGET := self
+AOUT := mlton-compile
+UP := upgrade-basis.sml
+PATH := $(BIN):$(shell echo $$PATH)
-FLAGS = @MLton max-heap 640m ram-slop 0.7 gc-summary $(RUNTIME_ARGS) --
+FLAGS := @MLton max-heap 640m ram-slop 0.7 gc-summary $(RUNTIME_ARGS) --
ifeq (self, $(shell if [ -x "$(BIN)/mlton" ]; then echo self; fi))
# We're compiling MLton with itself, so don't use any stubs.
- FILE = mlton.mlb
+ FILE := mlton.mlb
FLAGS += -default-ann 'sequenceNonUnit warn'
FLAGS += -default-ann 'warnUnused true'
else
ifeq (cygwin, $(HOST_OS))
# The stubs don't work on Cygwin, since they define spawn in terms of
# fork, and fork doesn't work on Cygwin. So, make without the stubs.
- FILE = mlton.cm
+ FILE := mlton.cm
else
ifeq (mingw, $(HOST_OS))
# Ditto for MinGW.
- FILE = mlton.cm
+ FILE := mlton.cm
else
# We're compiling MLton with an older version of itself, so use the stubs for
# the MLton structure.
- FILE = mlton-stubs.cm
+ FILE := mlton-stubs.cm
endif
endif
endif
@@ -54,7 +54,7 @@
endif
FLAGS += $(COMPILE_ARGS)
-SOURCES = \
+SOURCES := \
$(FILE) \
$(UP) \
front-end/ml.lex.sml \
@@ -102,7 +102,7 @@
# Manager (CM) installed. You may need to replace the following with
# 'sml-cm'.
#
-SML = sml
+SML := sml
.PHONY: def-use
def-use:
Modified: mlton/branches/on-20050822-x86_64-branch/mlton/front-end/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/front-end/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/front-end/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,10 +6,10 @@
# See the file MLton-LICENSE for details.
##
-SRC = $(shell cd ../.. && pwd)
-BUILD = $(SRC)/build
-BIN = $(BUILD)/bin
-PATH = $(BIN):$(shell echo $$PATH)
+SRC := $(shell cd ../.. && pwd)
+BUILD := $(SRC)/build
+BIN := $(BUILD)/bin
+PATH := $(BIN):$(shell echo $$PATH)
.PHONY: all
all: ml.lex.sml ml.grm.sig ml.grm.sml mlb.lex.sml mlb.grm.sig mlb.grm.sml
Modified: mlton/branches/on-20050822-x86_64-branch/mlyacc/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlyacc/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/mlyacc/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,15 +6,15 @@
# See the file MLton-LICENSE for details.
##
-SRC = $(shell cd .. && pwd)
-BUILD = $(SRC)/build
-BIN = $(BUILD)/bin
-LIB = $(BUILD)/lib
-MLTON = mlton
-TARGET = self
-FLAGS = -target $(TARGET)
-NAME = mlyacc
-PATH = $(BIN):$(shell echo $$PATH)
+SRC := $(shell cd .. && pwd)
+BUILD := $(SRC)/build
+BIN := $(BUILD)/bin
+LIB := $(BUILD)/lib
+MLTON := mlton
+TARGET := self
+FLAGS := -target $(TARGET)
+NAME := mlyacc
+PATH := $(BIN):$(shell echo $$PATH)
all: $(NAME)
Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile 2006-11-28 22:08:04 UTC (rev 4866)
@@ -6,26 +6,26 @@
# See the file MLton-LICENSE for details.
##
-PATH = ../bin:$(shell echo $$PATH)
+PATH := ../bin:$(shell echo $$PATH)
-TARGET = self
-TARGET_ARCH = $(shell ../bin/host-arch)
-TARGET_OS = $(shell ../bin/host-os)
-GCC_MAJOR_VERSION = \
+TARGET := self
+TARGET_ARCH := $(shell ../bin/host-arch)
+TARGET_OS := $(shell ../bin/host-os)
+GCC_MAJOR_VERSION := \
$(shell gcc -v 2>&1 | grep 'gcc version' | \
sed 's/.*gcc version \([0-9][0-9]*\)\.\([0-9][0-9]*\).*/\1/')
-GCC_MINOR_VERSION = \
+GCC_MINOR_VERSION := \
$(shell gcc -v 2>&1 | grep 'gcc version' | \
sed 's/.*gcc version \([0-9][0-9]*\)\.\([0-9][0-9]*\).*/\2/')
-GCC_VERSION = $(GCC_MAJOR_VERSION).$(GCC_MINOR_VERSION)
+GCC_VERSION := $(GCC_MAJOR_VERSION).$(GCC_MINOR_VERSION)
-FLAGS =
-OPTFLAGS = -fomit-frame-pointer
-GCOPTFLAGS =
-DEBUGFLAGS =
-WARNFLAGS =
-OPTWARNFLAGS =
-DEBUGWARNFLAGS =
+FLAGS :=
+OPTFLAGS := -O2 -fomit-frame-pointer
+GCOPTFLAGS :=
+DEBUGFLAGS :=
+WARNFLAGS :=
+OPTWARNFLAGS :=
+DEBUGWARNFLAGS :=
ifeq ($(TARGET_ARCH), x86)
ifeq ($(findstring $(GCC_MAJOR_VERSION), 3 4),$(GCC_MAJOR_VERSION))
@@ -86,20 +86,20 @@
endif
ifeq ($(TARGET), self)
-AR = ar rc
-RANLIB = ranlib
+AR := ar rc
+RANLIB := ranlib
else
-AR = $(TARGET)-ar rc
-RANLIB = $(TARGET)-ranlib
+AR := $(TARGET)-ar rc
+RANLIB := $(TARGET)-ranlib
FLAGS += -b $(TARGET)
endif
-CC = gcc -std=gnu99
-CFLAGS = -I. -Iplatform $(FLAGS)
-OPTCFLAGS = $(CFLAGS) -O2 $(OPTFLAGS)
-DEBUGCFLAGS = $(CFLAGS) -g2 -O1 -DASSERT=1 $(DEBUGFLAGS)
+CC := gcc -std=gnu99
+CFLAGS := -I. -Iplatform $(FLAGS)
+OPTCFLAGS := $(CFLAGS) $(OPTFLAGS)
+DEBUGCFLAGS := $(CFLAGS) -g2 -O1 -DASSERT=1 $(DEBUGFLAGS)
GCOPTCFLAGS = $(GCOPTFLAGS)
-WARNCFLAGS =
+WARNCFLAGS :=
WARNCFLAGS += -pedantic -Wall
ifeq ($(findstring $(GCC_MAJOR_VERSION), 3),$(GCC_MAJOR_VERSION))
WARNCFLAGS += -W
@@ -142,34 +142,34 @@
WARNCFLAGS += -Wlong-long
# WARNCFLAGS += -Wunreachable-code
WARNCFLAGS += $(WARNFLAGS)
-OPTWARNCFLAGS = $(WARNCFLAGS) -Wdisabled-optimization $(OPTWARNFLAGS)
-DEBUGWARNCFLAGS = $(WARNCFLAGS) $(DEBUGWARNFLAGS)
+OPTWARNCFLAGS := $(WARNCFLAGS) -Wdisabled-optimization $(OPTWARNFLAGS)
+DEBUGWARNCFLAGS := $(WARNCFLAGS) $(DEBUGWARNFLAGS)
# GCC doesn't recognize the %I64 format specifier which means %ll on windows
ifeq ($(TARGET_OS), mingw)
WARNCFLAGS += -Wno-format -Wno-missing-format-attribute
endif
-UTILCFILES = \
+UTILCFILES := \
$(shell find util -type f | grep '\.c$$')
-UTILHFILES = \
+UTILHFILES := \
$(shell find util -type f | grep '\.h$$')
-UTILOFILES = $(foreach f, $(UTILCFILES), $(basename $(f)).o)
+UTILOFILES := $(foreach f, $(UTILCFILES), $(basename $(f)).o)
-GCCFILES = \
+GCCFILES := \
$(shell find gc -type f | grep '\.c$$')
-GCHFILES = \
+GCHFILES := \
$(shell find gc -type f | grep '\.h$$')
-BASISHFILES = \
+BASISHFILES := \
$(shell find basis -type f | grep '\.h$$')
-BYTECFILES = \
+BYTECFILES := \
$(shell find bytecode -type f | grep '\.c$$')
-BYTEHFILES = \
+BYTEHFILES := \
$(shell find bytecode -type f | grep '\.h$$')
-CFILES = \
+CFILES := \
$(UTILCFILES) \
$(shell find basis -type f | grep '\.c$$' | grep -v Real/) \
gc.c \
@@ -179,7 +179,7 @@
CFILES += bytecode/interpret.c
endif
-HFILES = \
+HFILES := \
cenv.h \
$(UTILHFILES) \
util.h \
@@ -193,23 +193,23 @@
platform/$(TARGET_ARCH).h \
$(BASISHFILES)
-FILES = $(basename $(CFILES))
+FILES := $(basename $(CFILES))
# EXTRA_CFILES is for files that we don't want compiled in the big
# lump when compiling COMPILE_FAST.
# Real/*.c can't be there because gcc -O2 messes some of them up.
-EXTRA_CFILES = \
+EXTRA_CFILES := \
$(shell find basis/Real -type f | grep '\.c$$') \
platform/$(TARGET_OS).c
-EXTRA_FILES = $(basename $(EXTRA_CFILES))
+EXTRA_FILES := $(basename $(EXTRA_CFILES))
ifeq ($(COMPILE_FAST), yes)
- OBJS = runtime.o
- DEBUG_OBJS = runtime-gdb.o
+ OBJS := runtime.o
+ DEBUG_OBJS := runtime-gdb.o
else
- OBJS = $(foreach f, $(FILES), $(f).o)
- DEBUG_OBJS = $(foreach f, $(FILES), $(f)-gdb.o)
+ OBJS := $(foreach f, $(FILES), $(f).o)
+ DEBUG_OBJS := $(foreach f, $(FILES), $(f)-gdb.o)
endif
OBJS += $(foreach f, $(EXTRA_FILES), $(f).o)
Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/darwin.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/darwin.c 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/darwin.c 2006-11-28 22:08:04 UTC (rev 4866)
@@ -18,7 +18,7 @@
void *address;
const struct mach_header *mh;
- _dyld_lookup_and_bind ("_main", &address, 0);
+ _dyld_lookup_and_bind ("_main", &address, NULL);
mh = _dyld_get_image_header_containing_address (address);
return (code_pointer)mh;
}
Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/mingw.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/mingw.c 2006-11-28 19:39:53 UTC (rev 4865)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/mingw.c 2006-11-28 22:08:04 UTC (rev 4866)
@@ -936,3 +936,91 @@
fprintf(stderr, "%s: %s: %s\n", logident, severity[priority], msg);
}
}
+
+/* ------------------------------------------------- */
+/* libdl */
+/* ------------------------------------------------- */
+
+static DWORD dlerror_last = ERROR_SUCCESS;
+/* This is for emulating the ugly stateful behavior of dlerror. */
+
+static HMODULE dl_main_module = NULL;
+/* Handle to the main module returned by GetModuleHandle(NULL). It is
+ * assumed that the main module isn't freed during the lifetime of the
+ * process.
+ */
+
+void *dlopen(const char *filename, int flag_IGNORED) {
+ if (!filename) {
+ if (!dl_main_module)
+ dl_main_module = GetModuleHandle(NULL);
+
+ if (!dl_main_module)
+ dlerror_last = GetLastError();
+
+ return dl_main_module;
+ }
+
+ {
+ HMODULE result = LoadLibrary(filename);
+
+ if (!result)
+ dlerror_last = GetLastError();
+
+ return result;
+ }
+}
+
+const char *dlerror(void) {
+ if (ERROR_SUCCESS == dlerror_last) {
+ return NULL;
+ } else {
+ static char buffer[256];
+
+ if (!FormatMessage(FORMAT_MESSAGE_IGNORE_INSERTS |
+ FORMAT_MESSAGE_FROM_SYSTEM,
+ NULL, dlerror_last, 0,
+ buffer, sizeof(buffer),
+ NULL))
+ snprintf(buffer, sizeof(buffer),
+ "Failed to format error message");
+
+ dlerror_last = ERROR_SUCCESS;
+
+ return buffer;
+ }
+}
+
+void *dlsym(void *void_hmodule, const char *symbol) {
+ HMODULE hmodule = void_hmodule;
+
+ if (!hmodule) {
+ dlerror_last = ERROR_INVALID_HANDLE;
+ return NULL;
+ }
+
+ {
+ void* result = GetProcAddress(hmodule, symbol);
+
+ if (!result)
+ dlerror_last = GetLastError();
+
+ return result;
+ }
+}
+
+int dlclose(void *void_hmodule) {
+ HMODULE hmodule = void_hmodule;
+
+ if (!hmodule || hmodule == dl_main_module)
+ return 0;
+
+ {
+ int result = !FreeLibrary(hmodule);
+
+ if (result)
+ dlerror_last = GetLastError();
+
+ return result;
+ }
+}
|
