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
|
Oct
|
Nov
|
Dec
|
|
From: Stephen W. <sw...@ml...> - 2005-12-02 10:20:58
|
Caught up with wiki changes.
----------------------------------------------------------------------
U mlton/trunk/doc/guide/MLNLFFIImplementation
U mlton/trunk/doc/guide/ZZZOrphanedPages
----------------------------------------------------------------------
Modified: mlton/trunk/doc/guide/MLNLFFIImplementation
===================================================================
--- mlton/trunk/doc/guide/MLNLFFIImplementation 2005-12-02 18:10:42 UTC (rev 4282)
+++ mlton/trunk/doc/guide/MLNLFFIImplementation 2005-12-02 18:20:57 UTC (rev 4283)
@@ -54,7 +54,7 @@
<li>
<p>
- MLton cannot utilize the <tt>Unsafe.cast</tt> "cheat" described in Section 3.7 of <a href = "References#Blume01">Blume01</a>. (MLton's representation of <a class="nonexistent" href="Closures">closures</a> and <a href="PackedRepresentation">aggressive representation</a> optimizations make an <tt>Unsafe.cast</tt> even more "unsafe" than in other implementations.) We have considered two solutions:
+ MLton cannot utilize the <tt>Unsafe.cast</tt> "cheat" described in Section 3.7 of <a href = "References#Blume01">Blume01</a>. (MLton's representation of <a href="Closure">closures</a> and <a href="PackedRepresentation">aggressive representation</a> optimizations make an <tt>Unsafe.cast</tt> even more "unsafe" than in other implementations.) We have considered two solutions:
</p>
</li>
@@ -187,7 +187,6 @@
-<p>
<hr>
-Last edited on 2005-08-19 15:53:05 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-12-02 05:11:01 by <span title="209-6-203-188.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com"><a href="http://mlton.org/MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/ZZZOrphanedPages
===================================================================
--- mlton/trunk/doc/guide/ZZZOrphanedPages 2005-12-02 18:10:42 UTC (rev 4282)
+++ mlton/trunk/doc/guide/ZZZOrphanedPages 2005-12-02 18:20:57 UTC (rev 4283)
@@ -49,24 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-The contents of these pages have been moved to other pages.
- <ul>
-
- <li>
-<p>
- <a class="nonexistent" href="Papers">Papers</a>
-</p>
-</li>
- <li>
-<p>
- <a class="nonexistent" href="UserGuide">UserGuide</a>
-</p>
-</li>
-
- </ul>
-
-
-<p>
+The contents of these pages have been moved to other pages. <p>
These templates are used by other pages.
</p>
@@ -86,9 +69,6 @@
</div>
-
-
-<p>
<hr>
-Last edited on 2004-12-26 19:11:47 by <span title="adsl-10-6-82.mia.bellsouth.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-12-02 05:11:48 by <span title="209-6-203-188.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com"><a href="http://mlton.org/MatthewFluet">MatthewFluet</a></span>.
</body></html>
|
|
From: Stephen W. <sw...@ml...> - 2005-12-02 10:10:43
|
Added a script that runs GNU sed. This is necessary for FreeBSD,
where sed is different than gsed. This allowed me to eliminate the
sole FreeBSD patch file, which was causing problems on Windows
platforms because the file name contains colons. If we ever need file
names with colons in the future (hopefully not), we'll have to do
something to prevent Windows from seeing them.
----------------------------------------------------------------------
U mlton/trunk/bin/make-pdf-guide
A mlton/trunk/bin/msed
D mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide
----------------------------------------------------------------------
Modified: mlton/trunk/bin/make-pdf-guide
===================================================================
--- mlton/trunk/bin/make-pdf-guide 2005-12-02 13:39:14 UTC (rev 4281)
+++ mlton/trunk/bin/make-pdf-guide 2005-12-02 18:10:42 UTC (rev 4282)
@@ -5,6 +5,7 @@
name=`basename $0`
dir=`dirname $0`
src=`cd $dir/.. && pwd`
+bin="$src/bin"
die () {
echo >&2 "$1"
@@ -52,7 +53,7 @@
s;<td colspan = 3;<td align = right;
s;<img src=\"\(http://mlton.org[^>]*\)>;<img src="moin-www.png"><a href=\"\1>image</a>;g
EOF
- sed -f $script <$f >.tmp
+ $bin/msed -f $script <$f >.tmp
mv .tmp $f
done
Added: mlton/trunk/bin/msed
===================================================================
--- mlton/trunk/bin/msed 2005-12-02 13:39:14 UTC (rev 4281)
+++ mlton/trunk/bin/msed 2005-12-02 18:10:42 UTC (rev 4282)
@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+
+set -e
+
+die () {
+ echo $1 >&2
+ exit 1
+}
+
+if gsed --version >/dev/null 2>&1; then
+ sed='gsed'
+elif sed --version 2>&1 | grep -q GNU; then
+ sed=`which sed`
+else
+ die 'Can'\''t find GNU sed'
+fi
+
+exec $sed "$@"
Property changes on: mlton/trunk/bin/msed
___________________________________________________________________
Name: svn:executable
+ *
Deleted: mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide
===================================================================
--- mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide 2005-12-02 13:39:14 UTC (rev 4281)
+++ mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide 2005-12-02 18:10:42 UTC (rev 4282)
@@ -1,12 +0,0 @@
---- bin/make-pdf-guide.orig Wed Nov 30 00:44:19 2005
-+++ bin/make-pdf-guide Wed Nov 30 00:44:33 2005
-@@ -52,7 +52,7 @@
- s;<td colspan = 3;<td align = right;
- s;<img src=\"\(http://mlton.org[^>]*\)>;<img src="moin-www.png"><a href=\"\1>image</a>;g
- EOF
-- sed -f $script <$f >.tmp
-+ gsed -f $script <$f >.tmp
- mv .tmp $f
- done
-
-
|
|
From: Matthew F. <fl...@ml...> - 2005-12-02 05:39:16
|
Added 'sequenceNonUnit' annotation to added list
----------------------------------------------------------------------
U mlton/trunk/doc/changelog
----------------------------------------------------------------------
Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog 2005-12-02 07:26:33 UTC (rev 4280)
+++ mlton/trunk/doc/changelog 2005-12-02 13:39:14 UTC (rev 4281)
@@ -18,7 +18,7 @@
* Removed: _ffi.
o ML Basis annotations.
* Added: allowFFI, nonexhaustiveExnMatch, nonexhaustiveMatch,
- redundantMatch.
+ redundantMatch, sequenceNonUnit.
* Deprecated: allowExport, allowImport, sequenceUnit, warnMatch.
+ Libraries
o Basis Library.
|
|
From: Stephen W. <sw...@ml...> - 2005-12-01 23:26:37
|
Wiki additions and removals. ---------------------------------------------------------------------- D mlton/trunk/doc/guide/EXene A mlton/trunk/doc/guide/Glade D mlton/trunk/doc/guide/Papers D mlton/trunk/doc/guide/UserGuide A mlton/trunk/doc/guide/eXene ---------------------------------------------------------------------- Deleted: mlton/trunk/doc/guide/EXene =================================================================== --- mlton/trunk/doc/guide/EXene 2005-12-02 07:24:15 UTC (rev 4279) +++ mlton/trunk/doc/guide/EXene 2005-12-02 07:26:33 UTC (rev 4280) @@ -1,62 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> -<html> -<head> -<meta name="robots" content="index,nofollow"> - - - -<title>EXene - MLton Standard ML Compiler (SML Compiler)</title> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css"> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css"> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css"> - - -<link rel="Start" href="Home"> - - -</head> - -<body lang="en" dir="ltr"> - -<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%> - <tr> - <td style = " - border: 0px; - color: darkblue; - font-size: 150%; - text-align: left;"> - <a class = mltona href="Home">MLton 20051115</a> - <td style = " - border: 0px; - font-size: 150%; - text-align: center; - width: 50%;"> - EXene - <td style = " - border: 0px; - text-align: right;"> - <table cellspacing = 0 style = "border: 0px"> - <tr style = "vertical-align: middle;"> - </table> - <tr style = "background-color: white;"> - <td colspan = 3 - style = " - border: 0px; - font-size:70%; - text-align: right;"> - <a href = "Home">Home</a> - <a href = "Index">Index</a> - -</table> -<div id="content" lang="en" dir="ltr"> -<a class="external" href="http://people.cs.uchicago.edu/~jhr/eXene/index.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">eXene</a> is a multi-threaded X Window System toolkit written in <a href="ConcurrentML">ConcurrentML</a>. <p> -There is a group at K-State working toward <a class="external" href="http://www.cis.ksu.edu/~stough/eXene/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">eXene 2.0</a>. -</p> -</div> - - - -<p> -<hr> -Last edited on 2005-08-17 12:07:27 by <span title="net-79206.roam.fas.harvard.edu"><a href="MatthewFluet">MatthewFluet</a></span>. -</body></html> Added: mlton/trunk/doc/guide/Glade =================================================================== --- mlton/trunk/doc/guide/Glade 2005-12-02 07:24:15 UTC (rev 4279) +++ mlton/trunk/doc/guide/Glade 2005-12-02 07:26:33 UTC (rev 4280) @@ -0,0 +1,72 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> +<html> +<head> +<meta name="robots" content="index,nofollow"> + + + +<title>Glade - MLton Standard ML Compiler (SML Compiler)</title> +<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css"> +<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css"> +<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css"> + + +<link rel="Start" href="Home"> + + +</head> + +<body lang="en" dir="ltr"> + +<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%> + <tr> + <td style = " + border: 0px; + color: darkblue; + font-size: 150%; + text-align: left;"> + <a class = mltona href="Home">MLton 20051202</a> + <td style = " + border: 0px; + font-size: 150%; + text-align: center; + width: 50%;"> + Glade + <td style = " + border: 0px; + text-align: right;"> + <table cellspacing = 0 style = "border: 0px"> + <tr style = "vertical-align: middle;"> + </table> + <tr style = "background-color: white;"> + <td colspan = 3 + style = " + border: 0px; + font-size:70%; + text-align: right;"> + <a href = "Home">Home</a> + <a href = "Index">Index</a> + +</table> +<div id="content" lang="en" dir="ltr"> +<a class="external" href="http://glade.gnome.org/features.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Glade</a> is a tool for generating Gtk user interfaces. <p> +<a href="WesleyTerpstra">WesleyTerpstra</a> is working on a Glade->mGTK converter. +</p> + + <ul> + + <li> +<p> + <a href="http://mlton.org/pipermail/mlton/2004-December/016865.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2004-December/016865.html</a> +</p> +</li> +</ul> + +</div> + + + +<p> +<hr> +Last edited on 2005-12-02 07:11:13 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>. +</body></html> Deleted: mlton/trunk/doc/guide/Papers =================================================================== --- mlton/trunk/doc/guide/Papers 2005-12-02 07:24:15 UTC (rev 4279) +++ mlton/trunk/doc/guide/Papers 2005-12-02 07:26:33 UTC (rev 4280) @@ -1,61 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> -<html> -<head> -<meta name="robots" content="index,nofollow"> - - - -<title>Papers - MLton Standard ML Compiler (SML Compiler)</title> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css"> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css"> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css"> - - -<link rel="Start" href="Home"> - - -<link rel="Appendix" title="00-esop.ps.gz" href="http://mlton.org/pages/Papers/attachments/00-esop.ps.gz"> -<link rel="Appendix" title="01-icfp.ps.gz" href="http://mlton.org/pages/Papers/attachments/01-icfp.ps.gz"> -</head> - -<body lang="en" dir="ltr"> - -<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%> - <tr> - <td style = " - border: 0px; - color: darkblue; - font-size: 150%; - text-align: left;"> - <a class = mltona href="Home">MLton 20051115</a> - <td style = " - border: 0px; - font-size: 150%; - text-align: center; - width: 50%;"> - Papers - <td style = " - border: 0px; - text-align: right;"> - <table cellspacing = 0 style = "border: 0px"> - <tr style = "vertical-align: middle;"> - </table> - <tr style = "background-color: white;"> - <td colspan = 3 - style = " - border: 0px; - font-size:70%; - text-align: right;"> - <a href = "Home">Home</a> - <a href = "Index">Index</a> - -</table> -<div id="content" lang="en" dir="ltr"> -See <a href="References">References</a>. </div> - - - -<p> -<hr> -Last edited on 2004-12-05 18:51:41 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>. -</body></html> Deleted: mlton/trunk/doc/guide/UserGuide =================================================================== --- mlton/trunk/doc/guide/UserGuide 2005-12-02 07:24:15 UTC (rev 4279) +++ mlton/trunk/doc/guide/UserGuide 2005-12-02 07:26:33 UTC (rev 4280) @@ -1,59 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> -<html> -<head> -<meta name="robots" content="index,nofollow"> - - - -<title>UserGuide - MLton Standard ML Compiler (SML Compiler)</title> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css"> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css"> -<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css"> - - -<link rel="Start" href="Home"> - - -</head> - -<body lang="en" dir="ltr"> - -<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%> - <tr> - <td style = " - border: 0px; - color: darkblue; - font-size: 150%; - text-align: left;"> - <a class = mltona href="Home">MLton 20051115</a> - <td style = " - border: 0px; - font-size: 150%; - text-align: center; - width: 50%;"> - UserGuide - <td style = " - border: 0px; - text-align: right;"> - <table cellspacing = 0 style = "border: 0px"> - <tr style = "vertical-align: middle;"> - </table> - <tr style = "background-color: white;"> - <td colspan = 3 - style = " - border: 0px; - font-size:70%; - text-align: right;"> - <a href = "Home">Home</a> - <a href = "Index">Index</a> - -</table> -<div id="content" lang="en" dir="ltr"> -See <a href="Documentation">Documentation</a>. </div> - - - -<p> -<hr> -Last edited on 2004-12-05 19:27:29 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>. -</body></html> Added: mlton/trunk/doc/guide/eXene =================================================================== --- mlton/trunk/doc/guide/eXene 2005-12-02 07:24:15 UTC (rev 4279) +++ mlton/trunk/doc/guide/eXene 2005-12-02 07:26:33 UTC (rev 4280) @@ -0,0 +1,62 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> +<html> +<head> +<meta name="robots" content="index,nofollow"> + + + +<title>eXene - MLton Standard ML Compiler (SML Compiler)</title> +<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css"> +<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css"> +<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css"> + + +<link rel="Start" href="Home"> + + +</head> + +<body lang="en" dir="ltr"> + +<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%> + <tr> + <td style = " + border: 0px; + color: darkblue; + font-size: 150%; + text-align: left;"> + <a class = mltona href="Home">MLton 20051202</a> + <td style = " + border: 0px; + font-size: 150%; + text-align: center; + width: 50%;"> + eXene + <td style = " + border: 0px; + text-align: right;"> + <table cellspacing = 0 style = "border: 0px"> + <tr style = "vertical-align: middle;"> + </table> + <tr style = "background-color: white;"> + <td colspan = 3 + style = " + border: 0px; + font-size:70%; + text-align: right;"> + <a href = "Home">Home</a> + <a href = "Index">Index</a> + +</table> +<div id="content" lang="en" dir="ltr"> +<a class="external" href="http://people.cs.uchicago.edu/~jhr/eXene/index.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">eXene</a> is a multi-threaded X Window System toolkit written in <a href="ConcurrentML">ConcurrentML</a>. <p> +There is a group at K-State working toward <a class="external" href="http://www.cis.ksu.edu/~stough/eXene/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">eXene 2.0</a>. +</p> +</div> + + + +<p> +<hr> +Last edited on 2005-12-01 04:04:43 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>. +</body></html> |
|
From: Stephen W. <sw...@ml...> - 2005-12-01 23:24:45
|
Ran grab-wiki for release.
----------------------------------------------------------------------
U mlton/trunk/doc/guide/AST
U mlton/trunk/doc/guide/AccessControl
U mlton/trunk/doc/guide/AdmitsEquality
U mlton/trunk/doc/guide/Alice
U mlton/trunk/doc/guide/AllocateRegisters
U mlton/trunk/doc/guide/AndreiFormiga
U mlton/trunk/doc/guide/BasisLibrary
U mlton/trunk/doc/guide/Bug
U mlton/trunk/doc/guide/Bugs20041109
U mlton/trunk/doc/guide/CKitLibrary
U mlton/trunk/doc/guide/CallGraph
U mlton/trunk/doc/guide/CallingFromCToSML
U mlton/trunk/doc/guide/CallingFromSMLToC
U mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
U mlton/trunk/doc/guide/ChrisClearwater
U mlton/trunk/doc/guide/Chunkify
U mlton/trunk/doc/guide/Closure
U mlton/trunk/doc/guide/ClosureConvert
U mlton/trunk/doc/guide/CommonArg
U mlton/trunk/doc/guide/CommonBlock
U mlton/trunk/doc/guide/CommonSubexp
U mlton/trunk/doc/guide/CompilationManager
U mlton/trunk/doc/guide/CompileTimeOptions
U mlton/trunk/doc/guide/CompilerOverview
U mlton/trunk/doc/guide/CompilerPassTemplate
U mlton/trunk/doc/guide/ConcurrentML
U mlton/trunk/doc/guide/ConcurrentMLImplementation
U mlton/trunk/doc/guide/ConstantPropagation
U mlton/trunk/doc/guide/Contact
U mlton/trunk/doc/guide/Contify
U mlton/trunk/doc/guide/CoreML
U mlton/trunk/doc/guide/CoreMLSimplify
U mlton/trunk/doc/guide/CreatingPages
U mlton/trunk/doc/guide/Credits
U mlton/trunk/doc/guide/CrossCompiling
U mlton/trunk/doc/guide/DeadCode
U mlton/trunk/doc/guide/DeepFlatten
U mlton/trunk/doc/guide/DefineTypeBeforeUse
U mlton/trunk/doc/guide/DefinitionOfStandardML
U mlton/trunk/doc/guide/Defunctorize
U mlton/trunk/doc/guide/Developers
U mlton/trunk/doc/guide/Development
U mlton/trunk/doc/guide/Documentation
U mlton/trunk/doc/guide/Drawbacks
U mlton/trunk/doc/guide/Eclipse
U mlton/trunk/doc/guide/EditingPages
U mlton/trunk/doc/guide/Elaborate
U mlton/trunk/doc/guide/Emacs
U mlton/trunk/doc/guide/Enscript
U mlton/trunk/doc/guide/EqualityType
U mlton/trunk/doc/guide/EqualityTypeVariable
U mlton/trunk/doc/guide/Experimental
U mlton/trunk/doc/guide/FAQ
U mlton/trunk/doc/guide/Features
U mlton/trunk/doc/guide/FirstClassPolymorphism
U mlton/trunk/doc/guide/Flatten
U mlton/trunk/doc/guide/ForLoops
U mlton/trunk/doc/guide/ForeignFunctionInterface
U mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax
U mlton/trunk/doc/guide/ForeignFunctionInterfaceTypes
U mlton/trunk/doc/guide/FrontEnd
U mlton/trunk/doc/guide/FunctionalRecordUpdate
U mlton/trunk/doc/guide/GarbageCollection
U mlton/trunk/doc/guide/GenerativeDatatype
U mlton/trunk/doc/guide/GenerativeException
U mlton/trunk/doc/guide/Globalize
U mlton/trunk/doc/guide/GnuMP
U mlton/trunk/doc/guide/HaMLet
U mlton/trunk/doc/guide/HenryCejtin
U mlton/trunk/doc/guide/History
U mlton/trunk/doc/guide/Home
U mlton/trunk/doc/guide/HowProfilingWorks
U mlton/trunk/doc/guide/Identifier
U mlton/trunk/doc/guide/Immutable
U mlton/trunk/doc/guide/ImperativeTypeVariable
U mlton/trunk/doc/guide/ImplementExceptions
U mlton/trunk/doc/guide/ImplementHandlers
U mlton/trunk/doc/guide/ImplementProfiling
U mlton/trunk/doc/guide/ImplementSuffix
U mlton/trunk/doc/guide/Index
U mlton/trunk/doc/guide/InfixingOperators
U mlton/trunk/doc/guide/Inline
U mlton/trunk/doc/guide/InsertLimitChecks
U mlton/trunk/doc/guide/InsertSignalChecks
U mlton/trunk/doc/guide/Installation
U mlton/trunk/doc/guide/IntermediateLanguage
U mlton/trunk/doc/guide/IntroduceLoops
U mlton/trunk/doc/guide/JesperLouisAndersen
U mlton/trunk/doc/guide/JohnnyAndersen
U mlton/trunk/doc/guide/KnownCase
U mlton/trunk/doc/guide/LambdaFree
U mlton/trunk/doc/guide/LanguageChanges
U mlton/trunk/doc/guide/Lazy
U mlton/trunk/doc/guide/Libraries
U mlton/trunk/doc/guide/License
U mlton/trunk/doc/guide/LineDirective
U mlton/trunk/doc/guide/LocalFlatten
U mlton/trunk/doc/guide/LocalRef
U mlton/trunk/doc/guide/LoopInvariant
U mlton/trunk/doc/guide/ML
U mlton/trunk/doc/guide/MLBasis
U mlton/trunk/doc/guide/MLBasisAnnotationExamples
U mlton/trunk/doc/guide/MLBasisAnnotations
U mlton/trunk/doc/guide/MLBasisAvailableLibraries
U mlton/trunk/doc/guide/MLBasisExamples
U mlton/trunk/doc/guide/MLBasisPathMap
U mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics
U mlton/trunk/doc/guide/MLKit
U mlton/trunk/doc/guide/MLNLFFI
U mlton/trunk/doc/guide/MLNLFFIImplementation
U mlton/trunk/doc/guide/MLj
U mlton/trunk/doc/guide/MLtonArray
U mlton/trunk/doc/guide/MLtonBinIO
U mlton/trunk/doc/guide/MLtonCont
U mlton/trunk/doc/guide/MLtonExn
U mlton/trunk/doc/guide/MLtonFinalizable
U mlton/trunk/doc/guide/MLtonGC
U mlton/trunk/doc/guide/MLtonIO
U mlton/trunk/doc/guide/MLtonIntInf
U mlton/trunk/doc/guide/MLtonItimer
U mlton/trunk/doc/guide/MLtonPlatform
U mlton/trunk/doc/guide/MLtonPointer
U mlton/trunk/doc/guide/MLtonProcEnv
U mlton/trunk/doc/guide/MLtonProcess
U mlton/trunk/doc/guide/MLtonProfile
U mlton/trunk/doc/guide/MLtonRandom
U mlton/trunk/doc/guide/MLtonRlimit
U mlton/trunk/doc/guide/MLtonRusage
U mlton/trunk/doc/guide/MLtonSignal
U mlton/trunk/doc/guide/MLtonSocket
U mlton/trunk/doc/guide/MLtonStructure
U mlton/trunk/doc/guide/MLtonSyslog
U mlton/trunk/doc/guide/MLtonTextIO
U mlton/trunk/doc/guide/MLtonThread
U mlton/trunk/doc/guide/MLtonVector
U mlton/trunk/doc/guide/MLtonWeak
U mlton/trunk/doc/guide/MLtonWord
U mlton/trunk/doc/guide/MLtonWorld
U mlton/trunk/doc/guide/Machine
U mlton/trunk/doc/guide/ManualPage
U mlton/trunk/doc/guide/MatchCompilation
U mlton/trunk/doc/guide/MatchCompile
U mlton/trunk/doc/guide/MatthewFluet
U mlton/trunk/doc/guide/MichaelNorrish
U mlton/trunk/doc/guide/MikeThomas
U mlton/trunk/doc/guide/MoinMoin
U mlton/trunk/doc/guide/Monomorphise
U mlton/trunk/doc/guide/MoscowML
U mlton/trunk/doc/guide/Multi
U mlton/trunk/doc/guide/Mutable
U mlton/trunk/doc/guide/OCaml
U mlton/trunk/doc/guide/ObjectOrientedProgramming
U mlton/trunk/doc/guide/OpenGL
U mlton/trunk/doc/guide/OperatorPrecedence
U mlton/trunk/doc/guide/OptionalArguments
U mlton/trunk/doc/guide/OrphanedPages
U mlton/trunk/doc/guide/OtherSites
U mlton/trunk/doc/guide/Overloading
U mlton/trunk/doc/guide/PackedRepresentation
U mlton/trunk/doc/guide/PageSize
U mlton/trunk/doc/guide/ParallelMove
U mlton/trunk/doc/guide/Performance
U mlton/trunk/doc/guide/PhantomType
U mlton/trunk/doc/guide/PlatformSpecificNotes
U mlton/trunk/doc/guide/PolyEqual
U mlton/trunk/doc/guide/PolyML
U mlton/trunk/doc/guide/PolymorphicEquality
U mlton/trunk/doc/guide/Polyvariance
U mlton/trunk/doc/guide/Poplog
U mlton/trunk/doc/guide/PortingMLton
U mlton/trunk/doc/guide/PrecedenceParse
U mlton/trunk/doc/guide/Printf
U mlton/trunk/doc/guide/PrintfGentle
U mlton/trunk/doc/guide/ProductType
U mlton/trunk/doc/guide/Profiling
U mlton/trunk/doc/guide/ProfilingAllocation
U mlton/trunk/doc/guide/ProfilingCounts
U mlton/trunk/doc/guide/ProfilingTheStack
U mlton/trunk/doc/guide/ProfilingTime
U mlton/trunk/doc/guide/Projects
U mlton/trunk/doc/guide/Pronounce
U mlton/trunk/doc/guide/PropertyList
U mlton/trunk/doc/guide/RSSA
U mlton/trunk/doc/guide/RSSAShrink
U mlton/trunk/doc/guide/RSSASimplify
U mlton/trunk/doc/guide/RayRacine
U mlton/trunk/doc/guide/Redundant
U mlton/trunk/doc/guide/RedundantTests
U mlton/trunk/doc/guide/RefFlatten
U mlton/trunk/doc/guide/References
U mlton/trunk/doc/guide/Regions
U mlton/trunk/doc/guide/ReleaseChecklist
U mlton/trunk/doc/guide/RemoveUnused
U mlton/trunk/doc/guide/Restore
U mlton/trunk/doc/guide/RunTimeOptions
U mlton/trunk/doc/guide/RunningOnCygwin
U mlton/trunk/doc/guide/RunningOnDarwin
U mlton/trunk/doc/guide/RunningOnFreeBSD
U mlton/trunk/doc/guide/RunningOnLinux
U mlton/trunk/doc/guide/RunningOnMinGW
U mlton/trunk/doc/guide/RunningOnNetBSD
U mlton/trunk/doc/guide/RunningOnOpenBSD
U mlton/trunk/doc/guide/RunningOnPowerPC
U mlton/trunk/doc/guide/RunningOnSolaris
U mlton/trunk/doc/guide/RunningOnSparc
U mlton/trunk/doc/guide/SMLNET
U mlton/trunk/doc/guide/SMLNJ
U mlton/trunk/doc/guide/SMLNJDeviations
U mlton/trunk/doc/guide/SMLNJLibrary
U mlton/trunk/doc/guide/SMLofNJStructure
U mlton/trunk/doc/guide/SSA
U mlton/trunk/doc/guide/SSA2
U mlton/trunk/doc/guide/SSA2Simplify
U mlton/trunk/doc/guide/SSASimplify
U mlton/trunk/doc/guide/SXML
U mlton/trunk/doc/guide/SXMLShrink
U mlton/trunk/doc/guide/SXMLSimplify
U mlton/trunk/doc/guide/ScopeInference
U mlton/trunk/doc/guide/SelfCompiling
U mlton/trunk/doc/guide/Serialization
U mlton/trunk/doc/guide/ShowBasis
U mlton/trunk/doc/guide/Shrink
U mlton/trunk/doc/guide/SimplifyTypes
U mlton/trunk/doc/guide/Sources
U mlton/trunk/doc/guide/SpaceSafety
U mlton/trunk/doc/guide/StandardML
U mlton/trunk/doc/guide/StandardMLBooks
U mlton/trunk/doc/guide/StandardMLHistory
U mlton/trunk/doc/guide/StandardMLImplementations
U mlton/trunk/doc/guide/StandardMLPortability
U mlton/trunk/doc/guide/StandardMLTutorials
U mlton/trunk/doc/guide/StephenWeeks
U mlton/trunk/doc/guide/StyleGuide
U mlton/trunk/doc/guide/Subversion
U mlton/trunk/doc/guide/SureshJagannathan
U mlton/trunk/doc/guide/Survey
U mlton/trunk/doc/guide/SurveyDone
U mlton/trunk/doc/guide/Swerve
U mlton/trunk/doc/guide/SyntacticConventions
U mlton/trunk/doc/guide/SystemInfo
U mlton/trunk/doc/guide/TILT
U mlton/trunk/doc/guide/Talk
U mlton/trunk/doc/guide/TalkDiveIn
U mlton/trunk/doc/guide/TalkFolkLore
U mlton/trunk/doc/guide/TalkFromSMLTo
U mlton/trunk/doc/guide/TalkHowHigherOrder
U mlton/trunk/doc/guide/TalkHowModules
U mlton/trunk/doc/guide/TalkHowPolymorphism
U mlton/trunk/doc/guide/TalkMLtonApproach
U mlton/trunk/doc/guide/TalkMLtonFeatures
U mlton/trunk/doc/guide/TalkMLtonHistory
U mlton/trunk/doc/guide/TalkStandardML
U mlton/trunk/doc/guide/TalkTemplate
U mlton/trunk/doc/guide/TalkWholeProgram
U mlton/trunk/doc/guide/ToMachine
U mlton/trunk/doc/guide/ToRSSA
U mlton/trunk/doc/guide/ToSSA2
U mlton/trunk/doc/guide/TomMurphy
U mlton/trunk/doc/guide/TrustedGroup
U mlton/trunk/doc/guide/TypeChecking
U mlton/trunk/doc/guide/TypeConstructor
U mlton/trunk/doc/guide/TypeVariableScope
U mlton/trunk/doc/guide/Unicode
U mlton/trunk/doc/guide/UniversalType
U mlton/trunk/doc/guide/UnresolvedBugs
U mlton/trunk/doc/guide/UnsafeStructure
U mlton/trunk/doc/guide/Useless
U mlton/trunk/doc/guide/Users
U mlton/trunk/doc/guide/ValueRestriction
U mlton/trunk/doc/guide/Variant
U mlton/trunk/doc/guide/VesaKarvonen
U mlton/trunk/doc/guide/WantedPages
U mlton/trunk/doc/guide/WebSite
U mlton/trunk/doc/guide/WesleyTerpstra
U mlton/trunk/doc/guide/WholeProgramOptimization
U mlton/trunk/doc/guide/WikiMacros
U mlton/trunk/doc/guide/WikiName
U mlton/trunk/doc/guide/WikiTool
U mlton/trunk/doc/guide/XML
U mlton/trunk/doc/guide/XMLShrink
U mlton/trunk/doc/guide/XMLSimplify
U mlton/trunk/doc/guide/XMLSimplifyTypes
U mlton/trunk/doc/guide/ZZZOrphanedPages
U mlton/trunk/doc/guide/Zone
U mlton/trunk/doc/guide/fxp
U mlton/trunk/doc/guide/index.html
U mlton/trunk/doc/guide/mGTK
----------------------------------------------------------------------
Modified: mlton/trunk/doc/guide/AST
===================================================================
--- mlton/trunk/doc/guide/AST 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/AST 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,28 +49,28 @@
</table>
<div id="content" lang="en" dir="ltr">
-An <a href="IntermediateLanguage">IntermediateLanguage</a>, produced by the <a href="FrontEnd">FrontEnd</a> and translated by <a href="Elaborate">Elaborate</a> to <a href="CoreML">CoreML</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
+AST is the <a href="IntermediateLanguage">IntermediateLanguage</a> produced by the <a href="FrontEnd">FrontEnd</a> and translated by <a href="Elaborate">Elaborate</a> to <a href="CoreML">CoreML</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
<p>
The abstract syntax tree produced by the <a href="FrontEnd">FrontEnd</a>.
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
The AST <a href="IntermediateLanguage">IntermediateLanguage</a> has no independent type checker. Type inference is performed on an AST program as part of <a href="Elaborate">Elaborate</a>.
@@ -82,5 +82,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:43:32 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-30 19:55:04 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/AccessControl
===================================================================
--- mlton/trunk/doc/guide/AccessControl 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/AccessControl 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -50,7 +50,7 @@
</table>
<div id="content" lang="en" dir="ltr">
<a href="MoinMoin">MoinMoin</a> supports a lot of <a class="external" href="http://moinmaster.wikiwikiweb.de/HelpOnAccessControlLists"><img src="moin-www.png" alt="[WWW]" height="11" width="11">access control features</a>. <p>
-Because people download binaries from the MLton web site, and we are worried about malicious users either changing those binaries, or changing the links that should point at those binaries, we only allow editing of some pages (in particular, <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a>, <a href="Home">Home</a>, and <a href="Experimental">Experimental</a>) by <a href="TrustedGroup">TrustedGroup</a> members.
+Because people download binaries from the MLton web site, and we are worried about malicious users either changing those binaries, or changing the links that should point at those binaries, we allow editing of some pages (in particular, <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a>, <a href="Home">Home</a>, and <a href="Experimental">Experimental</a>) only by <a href="TrustedGroup">TrustedGroup</a> members.
</p>
<p>
All other pages are freely editable by any user with an account.
@@ -61,5 +61,5 @@
<p>
<hr>
-Last edited on 2004-10-29 22:30:46 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-11-30 19:54:23 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/AdmitsEquality
===================================================================
--- mlton/trunk/doc/guide/AdmitsEquality 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/AdmitsEquality 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -113,7 +113,7 @@
</p>
<p>
-type constructor <tt>t</tt> does not admit equality becuase <tt>real * int</tt> is not equality type.
+type constructor <tt>t</tt> does not admit equality because <tt>real * int</tt> is not equality type.
</p>
<p>
We can check that a type constructor admits equality using an <tt>eqtype</tt> specification.
@@ -141,7 +141,7 @@
<p>
On <tt>structure Bad</tt>, MLton reports the following error.
<pre>Type t admits equality in signature but not in structure.
- not equality: real * _ * _
+ not equality: [real] * _ * _
</pre>The <tt>not equality</tt> section provides an explanation of why the type did not admit equality, highlighting the problematic component (<tt>real</tt>).
</p>
<h2 id="head-c494234542affd2943bc7247d524477b03bc18bc">Datatype declarations</h2>
@@ -214,7 +214,7 @@
</p>
<pre>Type t admits equality in signature but not in structure.
- not equality: B of real * _
+ not equality: B of [real] * _
</pre><p>
MLton indicates the problematic constructor (<tt>B</tt>), as well as the problematic component of the constructor's argument.
</p>
@@ -270,20 +270,20 @@
</p>
<p>
-Unfortunately, due to a bug in error reporting, MLton 20041109 prints an obscure internal bug message (<tt>Type.deArrow</tt>) and exits. The problem has been fixed, and MLton now reports
+MLton reports the following error.
</p>
<pre>Error: z.sml 1.16.
Type t admits equality in signature but not in structure.
- not equality: B of u * real
+ not equality: B of [u] * [real]
Error: z.sml 1.16.
Type u admits equality in signature but not in structure.
- not equality: D of t
+ not equality: D of [t]
</pre></div>
<p>
<hr>
-Last edited on 2005-01-26 20:48:53 by <span title="cfs36.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-12-02 06:44:43 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Alice
===================================================================
--- mlton/trunk/doc/guide/Alice 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/Alice 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/AllocateRegisters 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,15 +49,15 @@
</table>
<div id="content" lang="en" dir="ltr">
-An analysis pass for the <a href="RSSA">RSSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="ToMachine">ToMachine</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
+AllocateRegisters is an analysis pass for the <a href="RSSA">RSSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="ToMachine">ToMachine</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
<p>
Computes an allocation of <a href="RSSA">RSSA</a> variables as <a href="Machine">Machine</a> register or stack operands.
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/allocate-registers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/backend/allocate-registers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/allocate-registers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/backend/allocate-registers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
@@ -65,5 +65,5 @@
<p>
<hr>
-Last edited on 2005-11-14 23:11:30 by <span title="fox.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-30 19:54:55 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/AndreiFormiga
===================================================================
--- mlton/trunk/doc/guide/AndreiFormiga 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/AndreiFormiga 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/BasisLibrary
===================================================================
--- mlton/trunk/doc/guide/BasisLibrary 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/BasisLibrary 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -99,7 +99,18 @@
</p>
<h2 id="head-f3c583ffa7ae975564fe862325a230f0750a322b">Top-level exception constructors</h2>
<p>
-<tt>Bind</tt>, <tt>Chr</tt>, <tt>Div</tt>, <tt>Domain</tt>, <tt>Empty</tt>, <tt>Fail</tt>, <tt>Match</tt>, <tt>Option</tt>, <tt>Overflow</tt>, <tt>Size</tt>, <tt>Span</tt>, <tt>Subscript</tt>.
+<tt>Bind</tt> <br>
+<tt>Chr</tt> <br>
+<tt>Div</tt> <br>
+<tt>Domain</tt> <br>
+<tt>Empty</tt> <br>
+<tt>Fail of string</tt> <br>
+<tt>Match</tt> <br>
+<tt>Option</tt> <br>
+<tt>Overflow</tt> <br>
+<tt>Size</tt> <br>
+<tt>Span</tt> <br>
+<tt>Subscript</tt>
</p>
<h2 id="head-ee76afd3593ec7eebc14e2997b54ea6c04a954e4">Top-level values</h2>
<p>
@@ -202,7 +213,6 @@
<p>
-<br>
<tt>structure CharArray: MONO_ARRAY</tt> <br>
<tt>structure CharArray2: MONO_ARRAY2</tt> <br>
<tt>structure CharArraySlice: MONO_ARRAY_SLICE</tt> <br>
@@ -226,6 +236,7 @@
<tt>structure INetSock: INET_SOCK</tt> <br>
<tt>structure IO: IO</tt> <br>
<tt>structure Int: INTEGER</tt> <br>
+<tt>structure Int1: INTEGER</tt> <br>
<tt>structure Int2: INTEGER</tt> <br>
<tt>structure Int3: INTEGER</tt> <br>
<tt>structure Int4: INTEGER</tt> <br>
@@ -337,7 +348,6 @@
<p>
-<br>
<tt>structure String: STRING</tt>
</p>
@@ -348,7 +358,6 @@
<p>
-<br>
<tt>structure StringCvt: STRING_CVT</tt> <br>
<tt>structure Substring: SUBSTRING</tt> <br>
<tt>structure SysWord: WORD</tt> <br>
@@ -362,6 +371,7 @@
<tt>structure Vector: VECTOR</tt> <br>
<tt>structure VectorSlice: VECTOR_SLICE</tt> <br>
<tt>structure Word: WORD</tt> <br>
+<tt>structure Word1: WORD</tt> <br>
<tt>structure Word2: WORD</tt> <br>
<tt>structure Word3: WORD</tt> <br>
<tt>structure Word4: WORD</tt> <br>
@@ -425,5 +435,5 @@
<p>
<hr>
-Last edited on 2005-09-06 23:28:14 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-30 23:04:45 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Bug
===================================================================
--- mlton/trunk/doc/guide/Bug 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/Bug 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-To report a bug, please send mail to <a class="external" href="mailto:ML...@ml..."><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:ML...@ml...</a>. Please include the complete SML program that caused the problem and a log of a compile of the program with <tt>-verbose 2</tt>. For large messages (over 512K), please send an email containing the discussion text and a link to any large files. You may use our <a href="http://mlton.org/TemporaryUpload"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryUpload</a> page for uploading large files. <p>
+To report a bug, please send mail to <a class="external" href="mailto:ML...@ml..."><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">ML...@ml...</a>. Please include the complete SML program that caused the problem and a log of a compile of the program with <tt>-verbose 2</tt>. For large messages (over 256K), please send an email containing the discussion text and a link to any large files. You may use our <a href="http://mlton.org/TemporaryUpload"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryUpload</a> page for uploading large files. <p>
There are some <a href="UnresolvedBugs">UnresolvedBugs</a> that we don't plan to fix.
</p>
<p>
@@ -71,5 +71,5 @@
<p>
<hr>
-Last edited on 2005-09-06 23:18:45 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-30 23:04:27 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Bugs20041109
===================================================================
--- mlton/trunk/doc/guide/Bugs20041109 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/Bugs20041109 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -50,6 +50,24 @@
</table>
<div id="content" lang="en" dir="ltr">
Here are the known bugs in MLton 20041109, listed in reverse chronological order of date reported. <p>
+<a id="17"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ <tt>MLton.Finalizable.touch</tt> doesn't necessarily keep values alive long enough. Our SVN has a patch to the compiler. You must rebuild the compiler in order for the patch to take effect.
+</p>
+<p>
+ Thanks to Florian Weimer for reporting this bug.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
<a id="16"></a>
</p>
@@ -60,7 +78,7 @@
A bug in an optimization pass may incorrectly transform a program to flatten ref cells into their containing data structure, yielding a type-error in the transformed program. Our CVS has a <a class="external" href="http://mlton.org/cgi-bin/viewcvs.cgi/mlton/mlton/mlton/ssa/ref-flatten.fun.diff?r1=1.35&r2=1.37"><img src="moin-www.png" alt="[WWW]" height="11" width="11">patch</a> to the compiler. You must rebuild the compiler in order for the patch to take effect.
</p>
<p>
- Thanks to Vesa Karvonen for reporting this bug.
+ Thanks to <a href="VesaKarvonen">VesaKarvonen</a> for reporting this bug.
</p>
</li>
@@ -348,5 +366,5 @@
<p>
<hr>
-Last edited on 2005-07-28 16:28:29 by <span title="adsl-64-166-225-145.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-12-01 05:16:27 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CKitLibrary
===================================================================
--- mlton/trunk/doc/guide/CKitLibrary 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/CKitLibrary 2005-12-02 07:24:15 UTC (rev 4279)
@@ -27,7 +27,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -51,8 +51,8 @@
</table>
<div id="content" lang="en" dir="ltr">
-The <a class="external" href="http://www.smlnj.org/doc/ckit"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit Library</a> is a C front end written in SML that translates C source code (after preprocessing) into abstract syntax represented as a set of SML datatypes and is distributed with SML/NJ. Due to differences between SML/NJ and MLton, this library will not work out-of-the box with MLton. <p>
-MLton ???????? includes a port of the ckit Library (from SML/NJ version 110.55).
+The <a class="external" href="http://www.smlnj.org/doc/ckit"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit Library</a> is a C front end written in SML that translates C source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. The ckit Library is distributed with SML/NJ. Due to differences between SML/NJ and MLton, this library will not work out-of-the box with MLton. <p>
+As of 20050818, MLton includes a port of the ckit Library synchronized with SML/NJ version 110.57.
</p>
<h2 id="head-0bb18642b70b9f8a9c12ccf39487328f306b8e19">Usage</h2>
@@ -60,34 +60,14 @@
<li>
<p>
- You can import the ckit Library by referencing the appropriate <tt>.mlb</tt> file:
+ You can import the ckit Library into an MLB file with <tt>$(SML_LIB)/ckit-lib/ckit-lib.mlb</tt>
</p>
</li>
-
- <ul>
-
-
-<div>
-<table>
- <tr>
-<td align="center">
-MLB file</td>
-</tr>
- <tr>
-<td>
-<tt>$(SML_LIB)/ckit-lib/src/ckit-lib.mlb</tt></td>
-</tr>
-</table>
-</div>
-
- </ul>
-
-
- <li>
+ <li class="gap">
<p>
- If you are porting a project from SML/NJ's <a href="CompilationManager">CompilationManager</a> to MLton's <a href="MLBasis"> ML Basis system</a> using <tt>cm2mlb</tt>, you will find it helpful to add the following to your <tt>.mlton/cm2mlb-map</tt>:
-<pre>ckit-lib $(SML_LIB)/ckit-lib/src
-</pre> This will automatically convert a <tt>$/ckit-lib.cm</tt> import in an input <tt>.cm</tt> file into a <tt>$(SML_LIB)/ckit-lib/src/ckit-lib.mlb</tt> import in the output <tt>.mlb</tt> file.
+ If you are porting a project from SML/NJ's <a href="CompilationManager">CompilationManager</a> to MLton's <a href="MLBasis"> ML Basis system</a> using <tt>cm2mlb</tt>, note that the following map is included by default:
+<pre>$ckit-lib.cm/ckit-lib.cm $(SML_LIB)/ckit-lib/ckit-lib.mlb
+</pre> This will automatically convert a <tt>$/ckit-lib.cm</tt> import in an input <tt>.cm</tt> file into a <tt>$(SML_LIB)/ckit-lib/ckit-lib.mlb</tt> import in the output <tt>.mlb</tt> file.
</p>
</li>
@@ -167,7 +147,7 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/lib/ckit-lib/ckit.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit.patch</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/lib/ckit-lib/ckit.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit.patch</a>
</p>
</li>
@@ -179,5 +159,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:56:56 by <span title="net-79206.roam.fas.harvard.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-30 23:24:50 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CallGraph
===================================================================
--- mlton/trunk/doc/guide/CallGraph 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/CallGraph 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-For easier visualization of profiling data, <tt>mlprof</tt> can create a call graph of the program in dot format, from which you can use the <a class="external" href="http://www.research.att.com/sw/tools/graphviz/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">graphviz</a> software package to create a postscript graph. For example,
+For easier visualization of <a href="Profiling">profiling</a> data, <tt>mlprof</tt> can create a call graph of the program in dot format, from which you can use the <a class="external" href="http://www.research.att.com/sw/tools/graphviz/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">graphviz</a> software package to create a postscript graph. For example,
<pre>mlprof -call-graph foo.dot foo mlmon.out</pre> will create <tt>foo.dot</tt> with a complete call graph. For each source function, there will be one node in the graph that contains the function name (and source position with <tt>-show-line true</tt>), as well as the percentage of ticks. If you want to create a call graph for your program without any profiling data, you can simply call <tt>mlprof</tt> without any <tt>mlmon.out</tt> files, as in
<pre>mlprof -call-graph foo.dot foo</pre><p>
Because SML has higher-order functions, the call graph is is dependent on MLton's analysis of which functions call each other. This analysis depends on many implementation details and might display spurious edges that a human could conclude are impossible. However, in practice, the call graphs tend to be very accurate.
@@ -147,5 +147,5 @@
<p>
<hr>
-Last edited on 2004-11-01 18:47:41 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-11-30 23:11:25 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CallingFromCToSML
===================================================================
--- mlton/trunk/doc/guide/CallingFromCToSML 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/CallingFromCToSML 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,13 +49,13 @@
</table>
<div id="content" lang="en" dir="ltr">
-MLton's <a href="ForeignFunctionInterface">ForeignFunctionInterface</a> allows programs to <em>export</em> SML functions to be called from C. Suppose you would like export from SML a function of type <tt>real * char -> int</tt> as the C function <tt>foo</tt>. MLton extends the syntax of SML to allow expressions like the following:
+MLton's <a href="ForeignFunctionInterface">ForeignFunctionInterface</a> allows programs to <em>export</em> SML functions to be called from C. Suppose you would like export from SML a function of type <tt>real * char -> int</tt> as the C function <tt>foo</tt>. MLton extends the syntax of SML to allow expressions like the following:
<pre>_export "foo": (real * char -> int) -> unit;
-</pre>The above expression exports a C function named <tt>foo</tt>, with prototype
+</pre>The above expression exports a C function named <tt>foo</tt>, with prototype
<pre>Int32 foo (Real64 x0, Char x1);
-</pre>The <tt>_export</tt> expression denotes a function of type <tt>(real * char -> int) -> unit</tt> that when called with a function <tt>f</tt> arranges for the exported <tt>foo</tt> function to call <tt>f</tt> when <tt>foo</tt> is called. So, for example, the following exports and defines <tt>foo</tt>.
+</pre>The <tt>_export</tt> expression denotes a function of type <tt>(real * char -> int) -> unit</tt> that when called with a function <tt>f</tt>, arranges for the exported <tt>foo</tt> function to call <tt>f</tt> when <tt>foo</tt> is called. So, for example, the following exports and defines <tt>foo</tt>.
<pre class=code>
-<B><FONT COLOR="#A020F0">val</FONT></B> e = _export <FONT COLOR="#BC8F8F"><B>"foo"</FONT></B>: real * char -> int;
+<B><FONT COLOR="#A020F0">val</FONT></B> e = _export <FONT COLOR="#BC8F8F"><B>"foo"</FONT></B>: (real * char -> int) -> unit;
<B><FONT COLOR="#A020F0">val</FONT></B> _ = e (<B><FONT COLOR="#A020F0">fn</FONT></B> (x, c) => <B><FONT COLOR="#5F9EA0">13</FONT></B> + Real.floor x + Char.ord c)
</PRE>
<p>
@@ -70,7 +70,7 @@
The type and the semicolon are not optional. As with <tt>_import</tt>, a sequence of attributes may follow the function name.
</p>
<p>
-MLton's <tt>-export-header</tt> option generates a C header file with prototypes for all of the functions exported from SML. Include this header file in your C files to type check calls to functions exported from SML. This header file includes <tt>typedef</tt>s for the types that can be passed between SML and C, as described in the next section.
+MLton's <tt>-export-header</tt> option generates a C header file with prototypes for all of the functions exported from SML. Include this header file in your C files to type check calls to functions exported from SML. This header file includes <tt>typedef</tt>s for the <a href="ForeignFunctionInterfaceTypes"> types that can be passed between SML and C</a>.
</p>
<h2 id="head-0f01ed56a1e32a05e5ef96e4d779f34784af9a96">Example</h2>
<p>
@@ -118,8 +118,7 @@
Create the header file with <tt>-export-header</tt>.
</p>
-<pre>% mlton -default-ann 'allowExport true' \
- -default-ann 'allowImport true' \
+<pre>% mlton -default-ann 'allowFFI true' \
-export-header export.h \
-stop tc \
export.sml
@@ -127,10 +126,11 @@
<tt>export.h</tt> now contains the following C prototypes.
</p>
-<pre>Word8 f (Word32 x0, Real64 x1, Word8 x2);
+<pre>Int8 f (Int32 x0, Real64 x1, Int8 x2);
Pointer f2 (Word8 x0);
void f3 ();
-void f4 (Word32 x0);
+void f4 (Int32 x0);
+extern Int32 zzz;
</pre><p>
Use <tt>export.h</tt> in a C program, <tt>ffi-export.c</tt>, as follows.
</p>
@@ -176,8 +176,7 @@
<p>
Compile <tt>ffi-export.c</tt> and <tt>export.sml</tt>.
<pre>% gcc -c ffi-export.c
-% mlton -default-ann 'allowExport true' \
- -default-ann 'allowImport true' \
+% mlton -default-ann 'allowFFI true' \
export.sml ffi-export.o
</pre>
</p>
@@ -197,14 +196,14 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/export.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">export.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051202-release/doc/examples/ffi/export.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">export.sml</a>
</p>
</li>
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/ffi-export.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-export.c</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051202-release/doc/examples/ffi/ffi-export.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-export.c</a>
</p>
</li>
@@ -216,5 +215,5 @@
<p>
<hr>
-Last edited on 2005-11-13 23:08:49 by <span title="pool-68-162-172-153.pitt.east.verizon.net">AdamGoode</span>.
+Last edited on 2005-11-30 23:11:45 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CallingFromSMLToC
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToC 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/CallingFromSMLToC 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -50,16 +50,16 @@
</table>
<div id="content" lang="en" dir="ltr">
MLton's <a href="ForeignFunctionInterface">ForeignFunctionInterface</a> allows an SML program to <em>import</em> C functions. Suppose you would like to import from C a function with the following prototype:
-<pre>int foo (double d, unsigned char c);
+<pre>int foo (double d, char c);
</pre>MLton extends the syntax of SML to allow expressions like the following:
<pre>_import "foo": real * char -> int;
</pre>This expression denotes a function of type <tt>real * char -> int</tt> whose behavior is implemented by calling the C function whose name is <tt>foo</tt>. Thinking in terms of C, imagine that there are C variables <tt>d</tt> of type <tt>double</tt>, <tt>c</tt> of type <tt>unsigned char</tt>, and <tt>i</tt> of type <tt>int</tt>. Then, the C statement <tt>i = foo (d, c)</tt> is executed and <tt>i</tt> is returned. <p>
-The general form of an <tt>_import</tt> expresion is:
+The general form of an <tt>_import</tt> expression is:
<pre>_import "C function name" attr... : cFuncTy;
</pre>The type and the semicolon are not optional.
</p>
<p>
-The function name is followed by a (possibly empty) sequence of attributes, analogous to C <tt>_attribute__</tt> specifiers. For now, the only attributes supported are <tt>cdecl</tt> and <tt>stdcall</tt>. These specify the calling convention of the C function on Cygwin/Windows, and are ignored on all other platforms. The default is <tt>cdecl</tt>. You must use <tt>stdcall</tt> in order to correctly call Windows API functions.
+The function name is followed by a (possibly empty) sequence of attributes, analogous to C <tt>__attribute__</tt> specifiers. For now, the only attributes supported are <tt>cdecl</tt> and <tt>stdcall</tt>. These specify the calling convention of the C function on Cygwin/Windows, and are ignored on all other platforms. The default is <tt>cdecl</tt>. You must use <tt>stdcall</tt> in order to correctly call Windows API functions.
</p>
<h2 id="head-0f01ed56a1e32a05e5ef96e4d779f34784af9a96">Example</h2>
<p>
@@ -121,7 +121,7 @@
</p>
<p>
Compile and run the program.
-<pre>% mlton -default-ann 'allowImport true' import.sml ffi-import.c
+<pre>% mlton -default-ann 'allowFFI true' import.sml ffi-import.c
% ./import
13
success
@@ -134,14 +134,14 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/import.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">import.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051202-release/doc/examples/ffi/import.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">import.sml</a>
</p>
</li>
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/ffi-import.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-import.c</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051202-release/doc/examples/ffi/ffi-import.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-import.c</a>
</p>
</li>
@@ -166,5 +166,5 @@
<p>
<hr>
-Last edited on 2005-08-09 07:33:27 by <span title="pool-71-243-2-249.bos.east.verizon.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-12-02 04:17:30 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -191,7 +191,7 @@
</p>
<p>
Compile and run <tt>iimport.sml</tt>.
-<pre>% mlton -default-ann 'allowImport true' \
+<pre>% mlton -default-ann 'allowFFI true' \
-target-link-opt linux -ldl \
-target-link-opt solaris -ldl \
iimport.sml
@@ -210,7 +210,7 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/iimport.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">iimport.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051202-release/doc/examples/ffi/iimport.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">iimport.sml</a>
</p>
</li>
@@ -222,5 +222,5 @@
<p>
<hr>
-Last edited on 2005-08-09 07:34:19 by <span title="pool-71-243-2-249.bos.east.verizon.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-30 23:18:27 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/ChrisClearwater
===================================================================
--- mlton/trunk/doc/guide/ChrisClearwater 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/ChrisClearwater 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,11 +49,11 @@
</table>
<div id="content" lang="en" dir="ltr">
-Describe ChrisClearwater here. </div>
+</div>
<p>
<hr>
-Last edited on 2004-11-16 03:14:21 by <span title="ip68-108-35-167.lv.lv.cox.net"><a href="ChrisClearwater">ChrisClearwater</a></span>.
+Last edited on 2005-11-30 23:18:55 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Chunkify
===================================================================
--- mlton/trunk/doc/guide/Chunkify 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/Chunkify 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,15 +49,15 @@
</table>
<div id="content" lang="en" dir="ltr">
-An analysis pass for the <a href="RSSA">RSSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="ToMachine">ToMachine</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
+Chunkify is an analysis pass for the <a href="RSSA">RSSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="ToMachine">ToMachine</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
<p>
-Partitions all the labels (function and block) in a <a href="RSSA">RSSA</a> program into disjoint sets, referred to as chunks.
+It partitions all the labels (function and block) in an <a href="RSSA">RSSA</a> program into disjoint sets, referred to as chunks.
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/chunkify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/backend/chunkify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/chunkify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/backend/chunkify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Breaking large <a href="RSSA">RSSA</a> functions into chunks is necessary for reasonable <tt>gcc</tt> compile times with the <a class="nonexistent" href="CCodegen">CCodegen</a>.
@@ -68,5 +68,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:43:04 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-30 23:19:46 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Closure
===================================================================
--- mlton/trunk/doc/guide/Closure 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/Closure 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -65,7 +65,7 @@
</p>
<p>
-the closure for <tt>fn y => x + y</tt> contains a pointer to a piece of code that knows to take its argument and add the value of <tt>x</tt> to it, plus the environment recording the value of <tt>x</tt> as<tt>5</tt>.
+the closure for <tt>fn y => x + y</tt> contains a pointer to a piece of code that knows to take its argument and add the value of <tt>x</tt> to it, plus the environment recording the value of <tt>x</tt> as <tt>5</tt>.
</p>
<p>
To call a function, the code pointer is extracted and jumped to, passing in some agreed upon location the environment and the argument.
@@ -80,5 +80,5 @@
<p>
<hr>
-Last edited on 2005-01-26 20:36:54 by <span title="cfs36.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-30 23:25:36 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/ClosureConvert
===================================================================
--- mlton/trunk/doc/guide/ClosureConvert 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/ClosureConvert 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,9 +49,9 @@
</table>
<div id="content" lang="en" dir="ltr">
-An translation pass from the <a href="SXML">SXML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> to the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
+ClosureConvert is a translation pass from the <a href="SXML">SXML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> to the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
<p>
-Converts a <a href="SXML">SXML</a> program into a <a href="SSA">SSA</a> program.
+It converts an <a href="SXML">SXML</a> program into an <a href="SSA">SSA</a> program.
</p>
<p>
<a class="nonexistent" href="Defunctionalization">Defunctionalization</a> is the technique used to eliminate <a href="Closure">Closure</a>s (see <a href = "References#CejtinEtAl00">CejtinEtAl00</a>).
@@ -61,9 +61,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/closure-convert/closure-convert.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/closure-convert/closure-convert.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/closure-convert/closure-convert.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/closure-convert/closure-convert.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
@@ -71,5 +71,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:42:48 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-12-02 04:17:57 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CommonArg
===================================================================
--- mlton/trunk/doc/guide/CommonArg 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/CommonArg 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,9 +49,9 @@
</table>
<div id="content" lang="en" dir="ltr">
-An optimization pass for the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="SSASimplify">SSASimplify</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
+CommonArg is an optimization pass for the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="SSASimplify">SSASimplify</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
<p>
-Optimizes instances of <tt>Goto</tt> transfers that pass the same arguments to the same label; e.g.
+It optimizes instances of <tt>Goto</tt> transfers that pass the same arguments to the same label; e.g.
<pre>L_1 ()
...
z1 = ?
@@ -82,9 +82,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/common-arg.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ssa/common-arg.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/common-arg.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051202-release/mlton/ssa/common-arg.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Three analyses were originally proposed to drive the optimization transformation. Only the <em>Dominator Analysis</em> is currently implemented. (Implementations of the other analyses are available in the Subversion repository.)
@@ -255,5 +255,5 @@
<p>
<hr>
-Last edited on 2005-11-13 23:14:11 by <span title="pool-68-162-172-153.pitt.east.verizon.net">AdamGoode</span>.
+Last edited on 2005-11-30 23:32:23 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CommonBlock
===================================================================
--- mlton/trunk/doc/guide/CommonBlock 2005-12-02 07:14:25 UTC (rev 4278)
+++ mlton/trunk/doc/guide/CommonBlock 2005-12-02 07:24:15 UTC (rev 4279)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20051115</a>
+ <a class = mltona href="Home">MLton 20051202</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,18 +49,15 @@
</table>
<div i...
[truncated message content] |
|
From: Stephen W. <sw...@ml...> - 2005-12-01 23:14:30
|
Removed MLton.Pointer.free. I'm not sure why it was there.
----------------------------------------------------------------------
U mlton/trunk/basis-library/misc/primitive.sml
U mlton/trunk/basis-library/mlton/pointer.sig
----------------------------------------------------------------------
Modified: mlton/trunk/basis-library/misc/primitive.sml
===================================================================
--- mlton/trunk/basis-library/misc/primitive.sml 2005-12-02 07:10:17 UTC (rev 4277)
+++ mlton/trunk/basis-library/misc/primitive.sml 2005-12-02 07:14:25 UTC (rev 4278)
@@ -1255,7 +1255,7 @@
(* val + = _prim "Pointer_add": t * t -> t; *)
(* val op < = _prim "Pointer_lt": t * t -> bool; *)
(* val - = _prim "Pointer_sub": t * t -> t; *)
- val free = _import "free": t -> unit;
+(* val free = _import "free": t -> unit; *)
val getInt8 = _prim "Pointer_getWord8": t * int -> Int8.int;
val getInt16 = _prim "Pointer_getWord16": t * int -> Int16.int;
val getInt32 = _prim "Pointer_getWord32": t * int -> Int32.int;
Modified: mlton/trunk/basis-library/mlton/pointer.sig
===================================================================
--- mlton/trunk/basis-library/mlton/pointer.sig 2005-12-02 07:10:17 UTC (rev 4277)
+++ mlton/trunk/basis-library/mlton/pointer.sig 2005-12-02 07:14:25 UTC (rev 4278)
@@ -12,7 +12,7 @@
val add: t * word -> t
val compare: t * t -> order
val diff: t * t -> word
- val free: t -> unit
+(* val free: t -> unit *)
val getInt8: t * int -> Int8.int
val getInt16: t * int -> Int16.int
val getInt32: t * int -> Int32.int
|
|
From: Stephen W. <sw...@ml...> - 2005-12-01 23:10:18
|
Tweaked man pages, getting ready for release.
----------------------------------------------------------------------
U mlton/trunk/man/mlnlffigen.1
U mlton/trunk/man/mlprof.1
U mlton/trunk/man/mlton.1
----------------------------------------------------------------------
Modified: mlton/trunk/man/mlnlffigen.1
===================================================================
--- mlton/trunk/man/mlnlffigen.1 2005-12-02 06:53:46 UTC (rev 4276)
+++ mlton/trunk/man/mlnlffigen.1 2005-12-02 07:10:17 UTC (rev 4277)
@@ -1,4 +1,4 @@
-.TH mlnlffigen 1 "August 1, 2005"
+.TH mlnlffigen 1 "August 25, 2005"
.SH NAME
\fBmlnlffigen\fP \- glue-code generator for use with the new "NLFFI" foreign function interface for Standard ML and MLton
.SH SYNOPSIS
Modified: mlton/trunk/man/mlprof.1
===================================================================
--- mlton/trunk/man/mlprof.1 2005-12-02 06:53:46 UTC (rev 4276)
+++ mlton/trunk/man/mlprof.1 2005-12-02 07:10:17 UTC (rev 4277)
@@ -1,4 +1,4 @@
-.TH mlprof 1 "February 27, 2004"
+.TH mlprof 1 "December 1, 2005"
.SH NAME
\fBmlprof\fP \- display profiling information for a MLton-compiled executable
.SH SYNOPSIS
@@ -62,4 +62,4 @@
Print a warning about broken \fBmlmon.out\fP files, but do not exit.
.SH "SEE ALSO"
.BR mlton (1)
-and the \fBMLton User Guide\fP.
+and the \fBMLton Guide\fP.
Modified: mlton/trunk/man/mlton.1
===================================================================
--- mlton/trunk/man/mlton.1 2005-12-02 06:53:46 UTC (rev 4276)
+++ mlton/trunk/man/mlton.1 2005-12-02 07:10:17 UTC (rev 4277)
@@ -1,4 +1,4 @@
-.TH mlton 1 "November 9, 2004"
+.TH mlton 1 "December 1, 2005"
.SH NAME
\fBmlton\fP \- whole-program compiler for the Standard ML (SML) programming
language
@@ -9,29 +9,30 @@
.PP
\fBMLton\fP is run from the command line with a collection of options
followed by a file name and a list of files to compile, assemble, and
-link with. The simplest case is to run \fBmlton foo.sml\fP, which
-will produce an executable \fBfoo\fP. Since \fBMLton\fP does not
-support separate compilation, the program must be the entire program
-you wish to compile. However, the program may refer to signatures and
-structures defined in the Basis Library.
+link with. The simplest case is to run \fBmlton foo.sml\fP, where
+\fBfoo.sml\fP contains a valid SML program, in which case MLton
+compiles the program to produce an executable \fBfoo\fP. Since
+\fBMLton\fP does not support separate compilation, the program must be
+the entire program you wish to compile. However, the program may
+refer to signatures and structures defined in the Basis Library.
Larger programs, spanning many files, may be compiled with the ML
Basis system. In this case, \fBmlton foo.mlb\fP will compile
the complete SML program described by the basis \fBfoo.mlb\fP, which
may specify both SML files and additional bases. See the \fBMLton
-User Guide\fP for details.
+Guide\fP for details.
\fBMLton\fP also supports a limited subset of SML/NJ Compilation
Manager (CM) files. For example, \fBmlton foo.cm\fP will compile the
complete SML program consisting of the concatenation of all the SML
files referred to (either directly or indirectly) by \fBfoo.cm\fP.
-\fBMLton\fP's compile-time control the name of the output
+\fBMLton\fP's compile-time options control the name of the output
file, the verbosity of compile-time messages, and whether or not
certain optimizations are performed. They also can specify
which intermediate files are saved and can stop the compilation process
early, at some intermediate pass, in which case compilation can be
-resumed by passing the resulting files to \fBMLton\fP. \fBMLton\fP
+resumed by passing the generated files to \fBMLton\fP. \fBMLton\fP
uses the input file suffix to determine the type of input program.
The possibilities are \fB.c\fP, \fB.cm\fP, \fB.mlb\fP, \fB.o\fP, and \fB.sml\fP.
@@ -85,9 +86,12 @@
.TP
\fB-disable-ann \fIann\fP\fR
Ignore the specified ML Basis annotation in every ML Basis File. For example,
-to see \fIall\fP match and unused warnings, compile with \fB-default-ann 'warnUnused true'
--disable-ann forceUsed -disable-ann nonexhaustiveMatch -disable-ann redundantMatch
--disable-ann warnUnused\fP.
+to see \fIall\fP match and unused warnings, compile with
+\fB-default-ann 'warnUnused true'\fP,
+\fB-disable-ann forceUsed\fP,
+\fB-disable-ann nonexhaustiveMatch\fP,
+\fB-disable-ann redundantMatch\fP,
+and \fB-disable-ann warnUnused\fP.
.TP
\fB-export-header \fIfile\fP\fR
@@ -98,7 +102,7 @@
\fB-ieee-fp \fI{\fBfalse\fP|\fBtrue\fP}\fP\fR
Cause the native code generator to be pedantic about following the IEEE
floating point standard. By default, it is not, because of the
-performance cost. This only has an effect with h\fB-codegen native\fP.
+performance cost. This only has an effect with \fB-codegen native\fP.
.TP
\fB-inline \fIn\fP\fR
@@ -170,11 +174,11 @@
argument to be treated as a sequence of words by the runtime. For
example, the command line:
.in +.5i
-mlton -runtime 'ram-slop 0.4' foo.sml
+\fBmlton -runtime 'ram-slop 0.4' foo.sml\fP
.in -.5i
will cause foo to run as if it had been called like
.in +.5i
-foo @MLton ram-slop 0.4 --
+\fBfoo @MLton ram-slop 0.4 --\fP
.in -.5i
An executable created with \fB-runtime stop\fP doesn't proces any
@@ -194,7 +198,7 @@
.TP
\fB-stop \fI{\fBf\fP|\fBg\fP|\fBo\fP|\fBsml\fP|\fBtc\fP}\fP\fR
-Specify pass to stop at.
+Specify when to stop.
.in +.5i
\fBf\fP list of files on stdout (only makes sense when input is \fBfoo.cm\fP or \fBfoo.mlb\fP)
.br
@@ -215,7 +219,7 @@
Generate an executable that runs on the specified platform. The
default is \fBself\fP, which means to compile for the machine that
\fBMLton\fP is running on. To use any other target, you must first
-install a cross compiler. See the \fBMLton User Guide\fP for
+install a cross compiler. See the \fBMLton Guide\fP for
details.
.TP
@@ -266,29 +270,29 @@
\fBCommandLine.arguments\fP. For example, a valid call to
\fBhello-world\fP is:
.in +.5i
-hello-world @MLton gc-summary fixed-heap 10k -- a b c
+\fBhello-world @MLton gc-summary fixed-heap 10k -- a b c\fP
.in -.5i
In the above example,
\fBCommandLine.arguments () = ["a", "b", "c"]\fP.
It is allowed to have a sequence of \fB@MLton\fP arguments, as in:
.in +.5i
-hello-world @MLton gc-summary -- @MLton fixed-heap 10k -- a b c
+\fBhello-world @MLton gc-summary -- @MLton fixed-heap 10k -- a b c\fP
.in -.5i
Run-time options can also control \fBMLton\fP, as in
.in +.5i
-mlton @MLton fixed-heap 0.5g -- foo.sml
+\fBmlton @MLton fixed-heap 0.5g -- foo.sml\fP
.in -.5i
.TP
-\fBfixed-heap \fIx{\fBk\fP|\fBm\fP|\fBg\fP}\fP\fR
+\fBfixed-heap \fIx{\fBk\fP|\fBK\fP|\fBm\fP|\fBM\fP|\fBg\fP|\fBG\fP}\fP\fR
Use a fixed size heap of size \fIx\fP, where \fIx\fP is a real number
and the trailing letter indicates its units.
.in +.5i
\fBk\fP or \fBK\fP 1024
.br
-\fPm\fP or \fBM\fP 1,048,576
+\fPm\fP or \fBM\fP 1,048,576
.br
\fBg\fP or \fBG\fP 1,073,741,824
.in -.5i
@@ -316,7 +320,7 @@
executable.
.TP
-\fBmax-heap \fIx{\fBk\fP|\fBm\fP|\fBg\fP}\fP\fR
+\fBmax-heap \fIx{\fBk\fP|\fBK\fP|\fBm\fP|\fBM\fP|\fBg\fP|\fBG\fP}\fP\fR
Run the computation with an automatically resized heap that is never
larger than \fIx\fP, where \fIx\fP is a real number and the trailing
letter indicates the units as with \fBfixed-heap\fP. The
@@ -350,5 +354,5 @@
http://mlton.org/Emacs.
.SH "SEE ALSO"
-.BR mlprof (1)
-and the \fBMLton User Guide\fP.
+.BR mlprof (1)
+and the \fBMLton Guide\fP.
|
|
From: Stephen W. <sw...@ml...> - 2005-12-01 22:53:47
|
Added changelog entry for Debian package. ---------------------------------------------------------------------- U mlton/trunk/package/debian/changelog ---------------------------------------------------------------------- Modified: mlton/trunk/package/debian/changelog =================================================================== --- mlton/trunk/package/debian/changelog 2005-12-02 06:46:36 UTC (rev 4275) +++ mlton/trunk/package/debian/changelog 2005-12-02 06:53:46 UTC (rev 4276) @@ -1,3 +1,9 @@ +mlton (20051202-1) unstable; urgency=low + + * new upstream version + + -- Stephen Weeks <sw...@sw...> Thu, 01 Dec 2005 22:53:04 -0800 + mlton (20051109-1) unstable; urgency=low * new upstream version |
|
From: Stephen W. <sw...@ml...> - 2005-12-01 22:46:40
|
Preparing for release. ---------------------------------------------------------------------- U mlton/trunk/doc/changelog ---------------------------------------------------------------------- Modified: mlton/trunk/doc/changelog =================================================================== --- mlton/trunk/doc/changelog 2005-12-02 06:42:14 UTC (rev 4274) +++ mlton/trunk/doc/changelog 2005-12-02 06:46:36 UTC (rev 4275) @@ -1,5 +1,39 @@ -Here are the changes since version 20041109. +Here are the changes from version 20041109 to version 20051202. +Summary: + + New license: BSD-style instead of GPL. + + New platforms: + o hppa: Debian Linux. + o x86: MinGW. + + Compiler. + o improved exception history. + o Command-line switches. + * Added: -as-opt, -mlb-path-map, -target-as-opt, -target-cc-opt. + * Deprecated: none. + * Removed: -native, -sequence-unit, -warn-match, -warn-unused. + + Language. + o FFI syntax changes and extensions. + * Added: _symbol. + * Changed: _export, _import. + * Removed: _ffi. + o ML Basis annotations. + * Added: allowFFI, nonexhaustiveExnMatch, nonexhaustiveMatch, + redundantMatch. + * Deprecated: allowExport, allowImport, sequenceUnit, warnMatch. + + Libraries + o Basis Library. + * Added: Int1, Word1. + o MLton structure. + * Added: Process.create, ProcEnv.setgroups, Rusage.measureGC, + Socket.fdToSock Socket.Ctl.getError. + * Changed: MLton.Platform.Arch. + o Other libraries. + * Added: ckit library, ML-NLFFI library, SML/NJ library. + + Tools. + o updates of mllex and mlyacc from SML/NJ. + o added mlnlffigen. + o profiling supports better inclusion/exclusion of code. + * 2005-11-19 - Updated SML/NJ Library and CKit Library from SML/NJ 110.57. |
|
From: Stephen W. <sw...@ml...> - 2005-12-01 22:42:19
|
Changed explanation of "not equality" to use brackets to indicate the
problematic part(s) of the type.
----------------------------------------------------------------------
U mlton/trunk/mlton/elaborate/elaborate-env.fun
----------------------------------------------------------------------
Modified: mlton/trunk/mlton/elaborate/elaborate-env.fun
===================================================================
--- mlton/trunk/mlton/elaborate/elaborate-env.fun 2005-12-02 04:39:34 UTC (rev 4273)
+++ mlton/trunk/mlton/elaborate/elaborate-env.fun 2005-12-02 06:42:14 UTC (rev 4274)
@@ -78,7 +78,9 @@
structure Type =
struct
open Type
-
+
+ fun bracket l = let open Layout in seq [str "[", l, str "]"] end
+
fun explainDoesNotAdmitEquality (t: t): Layout.t =
let
open Layout
@@ -98,7 +100,8 @@
in
case ! (Tycon.admitsEquality c) of
Always => NONE
- | Never => SOME (keep {showInside = false})
+ | Never => SOME (bracket (#1 (keep {showInside = false})),
+ {isChar = false, needsParen = false})
| Sometimes =>
if Vector.exists (ts, Option.isSome)
then SOME (keep {showInside = true})
@@ -113,6 +116,11 @@
NONE =>
let
val v = SortedRecord.toVector r
+ val ending =
+ if SortedRecord.exists (r, Option.isNone) then
+ ", ...}"
+ else
+ "}"
in
(seq
[str "{",
@@ -125,7 +133,7 @@
| SOME (z, _) =>
seq [Field.layout f, str ": ", z] :: ac),
",")),
- str "}"],
+ str ending],
{isChar = false, needsParen = false})
end
| SOME v =>
|
|
From: Matthew F. <fl...@ml...> - 2005-12-01 20:39:35
|
Catching up with wiki changes
----------------------------------------------------------------------
U mlton/trunk/man/mlton.1
----------------------------------------------------------------------
Modified: mlton/trunk/man/mlton.1
===================================================================
--- mlton/trunk/man/mlton.1 2005-12-02 02:30:59 UTC (rev 4272)
+++ mlton/trunk/man/mlton.1 2005-12-02 04:39:34 UTC (rev 4273)
@@ -4,19 +4,19 @@
language
.SH SYNOPSIS
\fBmlton\fP \fI[option ...] file\fB.\fP{\fBc\fP|\fBcm\fP|\fBmlb\fP|\fBo\fP|\fBsml\fP}
-[file\fB.\fP{\fBc\fP|\fBS\fP|\fBo\fP} ...]\fR
+[file\fB.\fP{\fBc\fP|\fBo\fP|\fBs\fP|\fBS\fP} ...]\fR
.SH DESCRIPTION
.PP
\fBMLton\fP is run from the command line with a collection of options
followed by a file name and a list of files to compile, assemble, and
-link. The simplest case is to run \fBmlton foo.sml\fP, which
+link with. The simplest case is to run \fBmlton foo.sml\fP, which
will produce an executable \fBfoo\fP. Since \fBMLton\fP does not
support separate compilation, the program must be the entire program
you wish to compile. However, the program may refer to signatures and
-structures defined in the SML Basis Library.
+structures defined in the Basis Library.
Larger programs, spanning many files, may be compiled with the ML
-Basis system (MLBs). In this case, \fBmlton foo.mlb\fP will compile
+Basis system. In this case, \fBmlton foo.mlb\fP will compile
the complete SML program described by the basis \fBfoo.mlb\fP, which
may specify both SML files and additional bases. See the \fBMLton
User Guide\fP for details.
@@ -26,7 +26,7 @@
complete SML program consisting of the concatenation of all the SML
files referred to (either directly or indirectly) by \fBfoo.cm\fP.
-\fBMLton\fP's options allow you to control the name of the output
+\fBMLton\fP's compile-time control the name of the output
file, the verbosity of compile-time messages, and whether or not
certain optimizations are performed. They also can specify
which intermediate files are saved and can stop the compilation process
@@ -42,16 +42,6 @@
(e.g. \fI{\fBtrue\fP|\fBfalse\fP}\fR), the first value listed is the
default.
-plain \fB bold \fP plain
-
-plain \fI italic \fR plain
-
-plain \fI italic \fB bold \fP italic \fR plain
-
-plain \fB bold \fI italic \fP bold \fR plain
-
-plain \fB bold \fI italic \fB bold \fP italic \fP bold \fR plain
-
.SH Compile-time options
.TP
\fB-align \fI{\fB4\fP|\fB8\fP}\fP\fR
@@ -163,8 +153,8 @@
.TP
\fB-profile-stack \fI{\fBfalse\fP|\fBtrue\fP}\fP\fR
-If true, the profiler will gather profiling data for each
-function on the stack, not just the topmost one.
+If true, the profiler will gather profiling data for all
+functions on the stack, not just the currently executing function.
.TP
\fB-runtime \fIarg\fP\fR
@@ -266,15 +256,33 @@
.in -.5i
.SH Runtime system options
-To control the runtime system, executables produced by \fBMLton\fP take
-several optional command line arguments before their usual arguments.
-To use these options, the first argument to the executable must be
-\fB@MLton\fP. The optional arguments then follow, must be terminated
-by \fB--\fP, and are followed by any arguments to the program.
-The optional arguments are \fInot\fP made available to the SML
-program via \fBCommandLine.arguments\fP.
+Executables produced by \fBMLton\fP take command line arguments that control
+the runtime system. These arguments are optional, and occur before
+the executable's usual arguments. To use these options, the first
+argument to the executable must be \fB@MLton\fP. The optional
+arguments then follow, must be terminated by \fB--\fP, and are
+followed by any arguments to the program. The optional arguments are
+\fInot\fP made available to the SML program via
+\fBCommandLine.arguments\fP. For example, a valid call to
+\fBhello-world\fP is:
+.in +.5i
+hello-world @MLton gc-summary fixed-heap 10k -- a b c
+.in -.5i
+In the above example,
+\fBCommandLine.arguments () = ["a", "b", "c"]\fP.
+
+It is allowed to have a sequence of \fB@MLton\fP arguments, as in:
+.in +.5i
+hello-world @MLton gc-summary -- @MLton fixed-heap 10k -- a b c
+.in -.5i
+
+Run-time options can also control \fBMLton\fP, as in
+.in +.5i
+mlton @MLton fixed-heap 0.5g -- foo.sml
+.in -.5i
+
.TP
-\fBfixed-heap \fIx{\fBk\fP|\fBm\fP|\fBg\fP}\fR
+\fBfixed-heap \fIx{\fBk\fP|\fBm\fP|\fBg\fP}\fP\fR
Use a fixed size heap of size \fIx\fP, where \fIx\fP is a real number
and the trailing letter indicates its units.
.in +.5i
@@ -284,39 +292,51 @@
.br
\fBg\fP or \fBG\fP 1,073,741,824
.in -.5i
-Upper case \fBK\fP, \fBM\fP, or \fBG\fP can also be used.
A value of \fB0\fP means to use almost all the RAM present on the machine.
+
+The heap size used by \fBfixed-heap\fP includes all memory
+allocated by SML code, including memory for the stack (or stacks,
+if there are multiple threads). It does not, however, include any
+memory used for code itself or memory used by C globals, the C
+stack, or malloc.
+
.TP
\fBgc-messages\fP
Print a message at the start and end of every garbage collection.
+
.TP
\fBgc-summary\fP
Print a summary of garbage collection statistics upon program
termination.
+
.TP
-\fBload-world \fIworld\fR
-Restart the computation with the file \fIworld\fP, which must have
+\fBload-world \fIworld\fP\fR
+Restart the computation with the file specified by \fIworld\fP, which must have
been created by a call to \fBMLton.World.save\fP by the same
executable.
+
.TP
-\fBmax-heap \fIx{\fBk\fP|\fBm\fP|\fBg\fP}\fR
+\fBmax-heap \fIx{\fBk\fP|\fBm\fP|\fBg\fP}\fP\fR
Run the computation with an automatically resized heap that is never
larger than \fIx\fP, where \fIx\fP is a real number and the trailing
-letter indicates the units as with \fBfixed-heap\fP.
+letter indicates the units as with \fBfixed-heap\fP. The
+heap size for \fBmax-heap\fP is accounted for as with
+\fBfixed-heap\fP.
-option.
.TP
\fB-no-load-world\fP
Disable \fBload-world\fP. This can be used as an argument to the
compiler via \fB-runtime no-load-world\fP to create executables that
will not load a world. This may be useful to ensure that set-uid
executables do not load some strange world.
+
.TP
-\fBram-slop \fIx\fR
+\fBram-slop \fIx\fP\fR
Multiply \fBx\fP by the amount of RAM on the machine to obtain what
the runtime views as the amount of RAM it can use. Typically \fBx\fP
is less than 1, and is used to account for space used by other
programs running on the same machine.
+
.TP
\fBstop\fP
Causes the runtime to stop processing \fB@MLton\fP arguments once the
|
|
From: Stephen W. <sw...@ml...> - 2005-12-01 18:31:00
|
Fixed SMLofNJ.SysInfo.getOSKind.
----------------------------------------------------------------------
U mlton/trunk/basis-library/sml-nj/sml-nj.sml
----------------------------------------------------------------------
Modified: mlton/trunk/basis-library/sml-nj/sml-nj.sml
===================================================================
--- mlton/trunk/basis-library/sml-nj/sml-nj.sml 2005-12-01 19:07:26 UTC (rev 4271)
+++ mlton/trunk/basis-library/sml-nj/sml-nj.sml 2005-12-02 02:30:59 UTC (rev 4272)
@@ -25,7 +25,20 @@
fun getHostArch () =
MLton.Platform.Arch.toString MLton.Platform.Arch.host
- fun getOSKind () = UNIX
+ fun getOSKind () =
+ let
+ open MLton.Platform.OS
+ in
+ case host of
+ Cygwin => UNIX
+ | Darwin => MACOS
+ | FreeBSD => UNIX
+ | Linux => UNIX
+ | MinGW => WIN32
+ | NetBSD => UNIX
+ | OpenBSD => UNIX
+ | Solaris => UNIX
+ end
fun getOSName () = MLton.Platform.OS.toString MLton.Platform.OS.host
end
|
|
From: Stephen W. <sw...@ml...> - 2005-12-01 11:07:28
|
Fixed more permission problems with CKit and SML/NJ lib. ---------------------------------------------------------------------- U mlton/trunk/Makefile U mlton/trunk/lib/ckit-lib/Makefile U mlton/trunk/lib/smlnj-lib/Makefile ---------------------------------------------------------------------- Modified: mlton/trunk/Makefile =================================================================== --- mlton/trunk/Makefile 2005-12-01 19:06:50 UTC (rev 4270) +++ mlton/trunk/Makefile 2005-12-01 19:07:26 UTC (rev 4271) @@ -450,4 +450,4 @@ $(CP) $(SRC)/debian/$$f.doc-base $(TDOCBASE)/$$f; \ done cd $(TDOC)/ && $(GZIP) changelog changelog.Debian - chown -R root.root $(TDOC) + chown -R root.root $(TDOC) $(TLIB) Modified: mlton/trunk/lib/ckit-lib/Makefile =================================================================== --- mlton/trunk/lib/ckit-lib/Makefile 2005-12-01 19:06:50 UTC (rev 4270) +++ mlton/trunk/lib/ckit-lib/Makefile 2005-12-01 19:07:26 UTC (rev 4271) @@ -11,6 +11,7 @@ ckit/README.mlton: ckit.tgz ckit.patch gzip -dc ckit.tgz | tar xf - chmod -R a+r ckit + chmod -R g-s ckit patch -p0 < ckit.patch .PHONY: clean Modified: mlton/trunk/lib/smlnj-lib/Makefile =================================================================== --- mlton/trunk/lib/smlnj-lib/Makefile 2005-12-01 19:06:50 UTC (rev 4270) +++ mlton/trunk/lib/smlnj-lib/Makefile 2005-12-01 19:07:26 UTC (rev 4271) @@ -11,6 +11,7 @@ smlnj-lib/README.mlton: smlnj-lib.tgz smlnj-lib.patch gzip -dc smlnj-lib.tgz | tar xf - chmod -R a+r smlnj-lib + chmod -R g-s smlnj-lib patch -p0 < smlnj-lib.patch mv smlnj-lib/LICENSE ../../doc/license/SMLNJ-LIB-LICENSE |
|
From: Stephen W. <sw...@ml...> - 2005-12-01 11:06:53
|
Changed usage message for consistency with wiki.
----------------------------------------------------------------------
U mlton/trunk/mlton/main/main.fun
----------------------------------------------------------------------
Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun 2005-12-01 04:34:17 UTC (rev 4269)
+++ mlton/trunk/mlton/main/main.fun 2005-12-01 19:06:50 UTC (rev 4270)
@@ -427,7 +427,7 @@
case !Control.ssa2PassesSet (OptPassesCustom s) of
Result.Yes () => ()
| Result.No s' => usage (concat ["invalid -ssa2-pass arg: ", s']))),
- (Normal, "stop", " {f|g|o|sml|tc}", "where to stop",
+ (Normal, "stop", " {f|g|o|sml|tc}", "when to stop",
SpaceString
(fn s =>
stop := (case s of
|
|
From: Matthew F. <fl...@ml...> - 2005-11-30 20:34:18
|
Catching up with wiki changes.
----------------------------------------------------------------------
U mlton/trunk/man/mlton.1
----------------------------------------------------------------------
Modified: mlton/trunk/man/mlton.1
===================================================================
--- mlton/trunk/man/mlton.1 2005-12-01 03:27:06 UTC (rev 4268)
+++ mlton/trunk/man/mlton.1 2005-12-01 04:34:17 UTC (rev 4269)
@@ -28,37 +28,46 @@
\fBMLton\fP's options allow you to control the name of the output
file, the verbosity of compile-time messages, and whether or not
-certain optimizations are performed. They also allow you to specify
-which intermediate files are saved and to stop the compilation process
+certain optimizations are performed. They also can specify
+which intermediate files are saved and can stop the compilation process
early, at some intermediate pass, in which case compilation can be
resumed by passing the resulting files to \fBMLton\fP. \fBMLton\fP
uses the input file suffix to determine the type of input program.
-The possibilities are \fB.c\fP, \fB.cm\fR, \fB.o\fR, and \fB.sml\fR.
+The possibilities are \fB.c\fP, \fB.cm\fP, \fB.mlb\fP, \fB.o\fP, and \fB.sml\fP.
With no arguments, \fBMLton\fP prints the version number and exits.
-For a usage message, run \fBMLton\fP with an invalid switch, e.g.,
-\fBmlton -\fP. In the explanation below and in the usage message,
-for flags that take a boolean argument
-(\fI{\fBtrue\fI|\fBfalse\fI}\fR), the first value listed is the
+For a usage message, run \fBMLton\fP with an invalid switch, e.g.
+\fBmlton -z\fP. In the explanation below and in the usage message,
+for flags that take a number of choices
+(e.g. \fI{\fBtrue\fP|\fBfalse\fP}\fR), the first value listed is the
default.
+plain \fB bold \fP plain
+
+plain \fI italic \fR plain
+
+plain \fI italic \fB bold \fP italic \fR plain
+
+plain \fB bold \fI italic \fP bold \fR plain
+
+plain \fB bold \fI italic \fB bold \fP italic \fP bold \fR plain
+
.SH Compile-time options
.TP
-\fB-align \fI{\fB4\fP|\fB8\fP}\fP
+\fB-align \fI{\fB4\fP|\fB8\fP}\fP\fR
Aligns object sizes and doubles in memory by the specified alignment.
-On x86, the default is \fB4\fP and on Sparc the default is
-\fB8\fP.
+The default varies depending on architecture.
.TP
-\fB-as-opt \fIopt\fR
-Pass the option to \fBgcc\fP when assembling.
+\fB-as-opt \fIoption\fP\fR
+Pass \fIoption\fP to \fBgcc\fP when assembling.
.TP
-\fB-cc-opt \fIoption\fP\fP
-Pass the option to \fBgcc\fP when compiling C code.
+\fB-cc-opt \fIoption\fP\fR
+Pass \fIoption\fP to \fBgcc\fP when compiling C code.
.TP
-\fB-codegen \fI{\fBnative\fI|\fBbytecode|\fBc\fI}\fR
+\fB-codegen \fI{\fBnative\fP|\fBbytecode\fP|\fBc\fP}\fP\fR
Generate native code, byte code, or C code. With \fB-codegen
native\fP, \fBMLton\fP typically compiles more quickly and generates
better code.
@@ -68,60 +77,59 @@
Set the value of a compile-time constant. Here is a list of available
constants, their default values, and what they control.
-\fBExn.keepHistory \fI{\fBfalse\fP|\fBtrue\fP}\fR
+\fBExn.keepHistory \fI{\fBfalse\fP|\fBtrue\fP}\fP\fR
.in +.5i
-Enable \fBExn.history\fP. There is a performance cost to setting this
+Enable \fBMLton.Exn.history\fP. There is a performance cost to setting this
to \fBtrue\fP, both in memory usage of exceptions and in run time,
because of additional work that must be performed at each exception
construction, raise, and handle.
.in -.5i
.TP
-\fB-default-ann \fIann\fR
-Specify the default annotation values for \fBmlb\fP files. For
+\fB-default-ann \fIann\fP\fR
+Specify default ML Basis annotations. For
example, \fB-default-ann 'warnUnused true'\fP
causes unused variable warnings to be enabled by default.
-Defaults may be overridden by an annotation in an \fBmlb\fP file.
+Defaults may be overridden by an annotation in an ML Basis file.
.TP
-\fB-disable-ann \fIann\fR
-Ignore the specified annotation in every \fBmlb\fP file. For example,
-to see \fIall\fP match and unused warnings, use \fB-disable-ann
-'warnMatch' -disable-ann 'warnUnused' -disable-ann 'forceUsed'
--default-ann 'warnUnused true'\fP.
+\fB-disable-ann \fIann\fP\fR
+Ignore the specified ML Basis annotation in every ML Basis File. For example,
+to see \fIall\fP match and unused warnings, compile with \fB-default-ann 'warnUnused true'
+-disable-ann forceUsed -disable-ann nonexhaustiveMatch -disable-ann redundantMatch
+-disable-ann warnUnused\fP.
.TP
-\fB-export-header \fIfile\fR
+\fB-export-header \fIfile\fP\fR
Write to \fIfile\fP C prototypes for all of the functions exported
-from SML to C. This flag is useful for programs that use
-\fB_export\fP expressions.
+from SML to C.
.TP
-\fB-ieee-fp \fI{\fBfalse\fP|\fBtrue\fP}\fR
-Cause the code generator to be pedantic about following the IEEE
+\fB-ieee-fp \fI{\fBfalse\fP|\fBtrue\fP}\fP\fR
+Cause the native code generator to be pedantic about following the IEEE
floating point standard. By default, it is not, because of the
-performance cost. This has no effect with \fB-codegen c\fP.
+performance cost. This only has an effect with h\fB-codegen native\fP.
.TP
-\fB-inline \fIn\fR
+\fB-inline \fIn\fP\fR
Set the inlining threshold used in the optimizer. The threshold is an
approximate measure of code size of a procedure. The default is 320.
.TP
-\fB-keep \fI{\fBg\fP|\fBo\fP|\fBsml\fP}\fR
+\fB-keep \fI{\fBg\fP|\fBo\fP|\fBsml\fP}\fP\fR
Save intermediate files. If no \fB-keep\fP argument is given, then
only the output file is saved.
.in +.5i
-\fBg\fP generated \fB.S\fP and \fB.c\fP files passed to gcc
+\fBg\fP generated \fB.S\fP and \fB.c\fP files passed to gcc and the assembler
.br
-\fBo\fP object (\fB.o\fR) files
+\fBo\fP object (\fB.o\fP) files
.br
\fBsml\fP SML file
.in -.5i
.TP
-\fB-link-opt \fIopt\fR
-Pass the option to \fBgcc\fP when linking. You can use this to
+\fB-link-opt \fIoption\fP\fR
+Pass \fIoption\fP to \fBgcc\fP when linking. You can use this to
specify library search paths, e.g. \fB-link-opt -Lpath\fP, and
libraries to link with, e.g. \fB-link-opt -lfoo\fP, or even both at
the same time, e.g. \fB-link-opt '-Lpath -lfoo'\fP. If you wish to
@@ -129,62 +137,80 @@
syntax, e.g., \fB-link-opt '-Wl,--export-dynamic'\fP.
.TP
-\fB-mlb-path-map \fIfile\fR
-Use file as an MLB path map to define additional MLB path variables.
+\fB-mlb-path-map \fIfile\fP\fR
+Use \fIfile\fP as an ML Basis path map to define additional MLB path variables.
Multiple uses of \fB-mlb-path-map\fP are allowed, with variable
definitions in later path maps taking precendence over earlier ones.
.TP
-\fB-output \fIfile\fR
+\fB-output \fIfile\fP\fR
Specify the name of the final output file.
The default name is the input file name with its suffix removed and an
appropriate, possibly empty, suffix added.
.TP
-\fB-profile \fI{\fBno\fP|\fBalloc\fP|\fBcount\fP|\fBtime\fP}\fR
-Produce an executable that will gather profiling information. When
+\fB-profile \fI{\fBno\fP|\fBalloc\fP|\fBcount\fP|\fBtime\fP}\fP\fR
+Produce an executable that gathers profiling data. When
such an executable is run, it will produce an \fBmlmon.out\fP file.
The man page on \fBmlprof\fP describes how to extract information from
this file.
.TP
-\fB-profile-branch \fI{\fBfalse\fP|\fBtrue\fP}\fR
-If true, the profiler will separately count the time spent (or bytes
-allocated) in each branch of a function definition, \fBcase\fP
+\fB-profile-branch \fI{\fBfalse\fP|\fBtrue\fP}\fP\fR
+If true, the profiler will separately gather profiling data
+for each branch of a function definition, \fBcase\fP
expression, and \fBif\fP expression.
.TP
-\fB-profile-stack \fI{\fBfalse\fP|\fBtrue\fP}\fR
-If true, the profiler will count the time spent (or bytes allocated)
-while a function is on the stack.
+\fB-profile-stack \fI{\fBfalse\fP|\fBtrue\fP}\fP\fR
+If true, the profiler will gather profiling data for each
+function on the stack, not just the topmost one.
.TP
-\fB-runtime \fIarg\fP\fP
+\fB-runtime \fIarg\fP\fR
Pass argument to the runtime system via \fB@MLton\fP. The argument
will be processed before other \fB@MLton\fP command line switches.
Multiple uses of \fB-runtime\fP are allowed, and will pass all the
arguments in order. If the same runtime switch occurs more than once,
-then the last setting will dominate, except for \fBno-load-world\fP.
+then the last setting will take effect. There is no need to supply the
+leading \fB@MLton\fP or the trailing \fB--\fP; these will be
+supplied automatically.
+An argument to \fB-runtime\fP may contain spaces, which will cause the
+argument to be treated as a sequence of words by the runtime. For
+example, the command line:
+.in +.5i
+mlton -runtime 'ram-slop 0.4' foo.sml
+.in -.5i
+will cause foo to run as if it had been called like
+.in +.5i
+foo @MLton ram-slop 0.4 --
+.in -.5i
+
+An executable created with \fB-runtime stop\fP doesn't proces any
+\fB@MLton\fP arguments. This is useful to create an executable,
+e.g. \fBecho\fP, that must treat \fB@MLton\fP like any other
+command-line argument.
+
.TP
-\fB-show-basis \fIfile\fR
+\fB-show-basis \fIfile\fP\fR
Pretty print to \fIfile\fP the basis defined by the input program.
.TP
-\fB-show-def-use \fIfile\fR
+\fB-show-def-use \fIfile\fP\fR
Output def-use information to \fIfile\fP. Each identifier that is
defined appears on a line, follwed on subequent lines by the position
of each use.
.TP
-\fB-stop \fI{\fBf\fP|\fBg\fP|\fBo\fP|\fBsml\fP|\fBtc\fP}\fR
+\fB-stop \fI{\fBf\fP|\fBg\fP|\fBo\fP|\fBsml\fP|\fBtc\fP}\fP\fR
Specify pass to stop at.
.in +.5i
\fBf\fP list of files on stdout (only makes sense when input is \fBfoo.cm\fP or \fBfoo.mlb\fP)
.br
\fBg\fP generated \fB.S\fP and \fB.c\fP files
.br
-\fBo\fP object file (\fI*\fB.o\fR).
+\fBo\fP object (\fB.o\fP) files
.br
\fBsml\fP SML file (only makes sense when input is \fBfoo.cm\fP or \fBfoo.mlb\fP)
.br
@@ -195,7 +221,7 @@
or \fB.o\fP files.
.TP
-\fB-target \fI{\fBself\fP|\fI...}\fR
+\fB-target \fI{\fBself\fP|...}\fP\fR
Generate an executable that runs on the specified platform. The
default is \fBself\fP, which means to compile for the machine that
\fBMLton\fP is running on. To use any other target, you must first
@@ -203,58 +229,42 @@
details.
.TP
-\fB-target-as-opt \fItarget\fP \fIopt\fR
-Like \fB-as-opt\fP, this passes \fIopt\fP to \fBgcc\fP when assembling,
-except it only passes \fIopt\fP when the target architecture or
+\fB-target-as-opt \fItarget\fP \fIoption\fP\fR
+Like \fB-as-opt\fP, this passes \fIoption\fP to \fBgcc\fP when assembling,
+except it only passes \fIoption\fP when the target architecture or
operating system is \fItarget\fP.
-Valid values for \fItarget\fP are as for \fB-target-cc-opt\fP.
+Valid values for \fItarget\fP are:
+\fBhppa\fP, \fBpowerpc\fP, \fBsparc\fP, \fBx86\fP,
+\fBcygwin\fP, \fBdarwin\fP, \fBfreebsd\fP, \fBlinux\fP,
+\fBmingw\fP, \fBnetbsd\fP, \fBopenbsd\fP, \fBsolaris\fP.
.TP
-\fB-target-cc-opt \fItarget\fP \fIopt\fR
-Like \fB-cc-opt\fP, this passes \fIopt\fP to \fBgcc\fP when compiling
-C code, except it only passes \fIopt\fP when the target architecture
-or operating system is \fItarget\fP.
-Valid values for \fItarget\fP are:
-\fBpowerpc\fP,
-\fBsparc\fP,
-\fBx86\fP,
-\fBcygwin\fP,
-\fBdarwin\fP,
-\fBfreebsd\fP,
-\fBlinux\fP,
-\fBmingw\fP,
-\fBnetbsd\fP,
-\fBopenbsd\fP,
-and \fBsolaris\fP.
+\fB-target-cc-opt \fItarget\fP \fIoption\fP\fR
+Like \fB-cc-opt\fP, this passes \fIoption\fP to \fBgcc\fP when compiling
+C code, except it only passes \fIoption\fP when the target architecture
+or operating system is \fItarget\fP. Valid values for \fItarget\fR
+are as for \fB-target-as-opt\fP.
.TP
-\fB-target-link-opt \fItarget\fP \fIopt\fR
-Like \fB-link-opt\fP, this passes \fIopt\fP to \fBgcc\fP when linking,
-except it only passes \fIopt\fP when the target architecture or
+\fB-target-link-opt \fItarget\fP \fIoption\fP\fR
+Like \fB-link-opt\fP, this passes \fIoption\fP to \fBgcc\fP when linking,
+except it only passes \fIoption\fP when the target architecture or
operating system is \fItarget\fP.
-Valid values for \fItarget\fP are as for \fB-target-cc-opt\fP.
+Valid values for \fItarget\fP are as for \fB-target-as-opt\fP.
.TP
-\fB-verbose\fP \fI{\fB0\fP|\fB1\fP|\fB2\fP|\fB3\fP}\fP
-Be verbose about what passes are running. The default is 0.
+\fB-verbose \fI{\fB0\fP|\fB1\fP|\fB2\fP|\fB3\fP}\fP\fR
+How verbose to be about what passes are running. The default is 0.
.in +.5i
\fB0\fP silent
.br
\fB1\fP calls to compiler, assembler, and linker
.br
-\fB2\fP 1 + intermediate compiler passes
+\fB2\fP 1, plus intermediate compiler passes
.br
-\fB3\fP 2 + some data structure sizes
+\fB3\fP 2, plus some data structure sizes
.in -.5i
-.TP
-\fB-warn-match \fI{\fBtrue\fP|\fBfalse\fP}\fR
-Report nonexhaustive and redundant matches.
-
-.TP
-\fB-warn-unused \fI{\fBfalse\fP|\fBtrue\fP}\fR
-Report unused identifiers.
-
.SH Runtime system options
To control the runtime system, executables produced by \fBMLton\fP take
several optional command line arguments before their usual arguments.
|
|
From: Matthew F. <fl...@ml...> - 2005-11-30 19:27:09
|
Fixed rev4267's "Fixed bootstrapping problem." ---------------------------------------------------------------------- U mlton/trunk/Makefile ---------------------------------------------------------------------- Modified: mlton/trunk/Makefile =================================================================== --- mlton/trunk/Makefile 2005-12-01 02:22:17 UTC (rev 4267) +++ mlton/trunk/Makefile 2005-12-01 03:27:06 UTC (rev 4268) @@ -36,6 +36,15 @@ 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 +else + BOOTSTRAP_OTHER=false +endif + VERSION ?= $(shell date +%Y%m%d) RELEASE ?= 1 @@ -46,14 +55,11 @@ .PHONY: all-no-docs all-no-docs: $(MAKE) dirs runtime compiler world-no-check script mlbpathmap targetmap constants libraries tools -# 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. Remove $(AOUT) so that the $(MAKE) compiler below will -# remake MLton. +# Remove $(AOUT) so that the $(MAKE) compiler below will remake MLton. # We also want to re-run the just-built tools (mllex and mlyacc) # because they may be better than those that were used for the first # round of compilation. So, we clean out the front end. -ifeq (other, $(shell if [ ! -x $(BIN)/mlton ]; then echo other; fi)) +ifeq (true, $(BOOTSTRAP_OTHER)) rm -f $(COMP)/$(AOUT)$(EXE) $(MAKE) -C $(COMP)/front-end clean endif |
|
From: Stephen W. <sw...@ml...> - 2005-11-30 18:22:18
|
Fixed bootstrapping problem. ---------------------------------------------------------------------- U mlton/trunk/Makefile ---------------------------------------------------------------------- Modified: mlton/trunk/Makefile =================================================================== --- mlton/trunk/Makefile 2005-11-30 22:48:15 UTC (rev 4266) +++ mlton/trunk/Makefile 2005-12-01 02:22:17 UTC (rev 4267) @@ -45,7 +45,7 @@ .PHONY: all-no-docs all-no-docs: - $(MAKE) dirs runtime compiler world-no-check libraries tools + $(MAKE) dirs runtime compiler world-no-check script mlbpathmap targetmap constants libraries tools # 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. Remove $(AOUT) so that the $(MAKE) compiler below will @@ -57,7 +57,7 @@ rm -f $(COMP)/$(AOUT)$(EXE) $(MAKE) -C $(COMP)/front-end clean endif - $(MAKE) script mlbpathmap targetmap constants compiler world libraries tools + $(MAKE) compiler world @echo 'Build of MLton succeeded.' .PHONY: basis-no-check |
|
From: Stephen W. <sw...@ml...> - 2005-11-30 14:48:17
|
Caused mllex and mlyacc to be built and run between the first and second round of bootstrapping. This ensures that the second round self compile will use the latest tools, which may be improved relative to an earlier version. ---------------------------------------------------------------------- U mlton/trunk/Makefile U mlton/trunk/mlton/front-end/Makefile ---------------------------------------------------------------------- Modified: mlton/trunk/Makefile =================================================================== --- mlton/trunk/Makefile 2005-11-30 22:36:56 UTC (rev 4265) +++ mlton/trunk/Makefile 2005-11-30 22:48:15 UTC (rev 4266) @@ -45,13 +45,17 @@ .PHONY: all-no-docs all-no-docs: - $(MAKE) dirs runtime compiler world-no-check + $(MAKE) dirs runtime compiler world-no-check libraries tools # 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. Remove $(AOUT) so that the $(MAKE) compiler below will # remake MLton. +# We also want to re-run the just-built tools (mllex and mlyacc) +# because they may be better than those that were used for the first +# round of compilation. So, we clean out the front end. ifeq (other, $(shell if [ ! -x $(BIN)/mlton ]; then echo other; fi)) rm -f $(COMP)/$(AOUT)$(EXE) + $(MAKE) -C $(COMP)/front-end clean endif $(MAKE) script mlbpathmap targetmap constants compiler world libraries tools @echo 'Build of MLton succeeded.' Modified: mlton/trunk/mlton/front-end/Makefile =================================================================== --- mlton/trunk/mlton/front-end/Makefile 2005-11-30 22:36:56 UTC (rev 4265) +++ mlton/trunk/mlton/front-end/Makefile 2005-11-30 22:48:15 UTC (rev 4266) @@ -6,6 +6,11 @@ # See the file MLton-LICENSE for details. ## +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 |
|
From: Stephen W. <sw...@ml...> - 2005-11-30 14:36:59
|
Expressed the default basis via a single mlb, default.mlb.
Ordered things in default.mlb to prefer basis type names to MLton type
names.
----------------------------------------------------------------------
A mlton/trunk/basis-library/default.mlb
U mlton/trunk/basis-library/libs/basis-2002/top-level/top-level.sml
U mlton/trunk/mlton/main/compile.fun
----------------------------------------------------------------------
Added: mlton/trunk/basis-library/default.mlb
===================================================================
--- mlton/trunk/basis-library/default.mlb 2005-11-30 20:28:50 UTC (rev 4264)
+++ mlton/trunk/basis-library/default.mlb 2005-11-30 22:36:56 UTC (rev 4265)
@@ -0,0 +1,17 @@
+(* Copyright (C) 2005-2005 Henry Cejtin, Matthew Fluet, Suresh
+ * Jagannathan, and Stephen Weeks.
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(* Order here matters for choice of type names. In particular, we want
+ * basis.mlb to come last so that basis type names are preferred to MLton type
+ * names.
+ *)
+unsafe.mlb
+sml-nj.mlb
+mlton.mlb
+basis.mlb
+
+
Modified: mlton/trunk/basis-library/libs/basis-2002/top-level/top-level.sml
===================================================================
--- mlton/trunk/basis-library/libs/basis-2002/top-level/top-level.sml 2005-11-30 20:28:50 UTC (rev 4264)
+++ mlton/trunk/basis-library/libs/basis-2002/top-level/top-level.sml 2005-11-30 22:36:56 UTC (rev 4265)
@@ -13,6 +13,7 @@
*
* Order here matters! Do not alphabetize or otherwise reorder without thinking.
*)
+structure Posix = Posix
structure OS = OS
structure BoolArray = BoolArray
structure BoolVector = BoolVector
Modified: mlton/trunk/mlton/main/compile.fun
===================================================================
--- mlton/trunk/mlton/main/compile.fun 2005-11-30 20:28:50 UTC (rev 4264)
+++ mlton/trunk/mlton/main/compile.fun 2005-11-30 22:36:56 UTC (rev 4265)
@@ -654,10 +654,7 @@
local
fun genMLB {input: File.t list}: MLBString.t =
let
- val basis =
- String.concat
- (List.map (["basis", "mlton", "sml-nj", "unsafe"],
- fn s => concat ["$(SML_LIB)/basis/", s, ".mlb\n"]))
+ val basis = "$(SML_LIB)/basis/default.mlb"
in
MLBString.fromString
(case input of
@@ -668,7 +665,7 @@
in
String.concat
["local\n",
- basis,
+ basis, "\n",
"in\n",
String.concat (List.separate (input, "\n")), "\n",
"end\n"]
|
|
From: Stephen W. <sw...@ml...> - 2005-11-30 12:28:51
|
Added release number for FreeBSD packaging.
----------------------------------------------------------------------
U mlton/trunk/package/freebsd/Makefile
----------------------------------------------------------------------
Modified: mlton/trunk/package/freebsd/Makefile
===================================================================
--- mlton/trunk/package/freebsd/Makefile 2005-11-30 18:40:14 UTC (rev 4263)
+++ mlton/trunk/package/freebsd/Makefile 2005-11-30 20:28:50 UTC (rev 4264)
@@ -21,6 +21,8 @@
MAINTAINER= ML...@ml...
COMMENT= An optimizing Standard ML compiler
+RELEASE ?= 1
+
BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash
.if !defined(NOPORTDOCS)
BUILD_DEPENDS+= gsed:${PORTSDIR}/textproc/gsed \
|
|
From: Stephen W. <sw...@ml...> - 2005-11-30 10:40:17
|
Tweaked call to htmldoc. ---------------------------------------------------------------------- U mlton/trunk/bin/make-pdf-guide U mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide ---------------------------------------------------------------------- Modified: mlton/trunk/bin/make-pdf-guide =================================================================== --- mlton/trunk/bin/make-pdf-guide 2005-11-30 18:39:11 UTC (rev 4262) +++ mlton/trunk/bin/make-pdf-guide 2005-11-30 18:40:14 UTC (rev 4263) @@ -127,7 +127,7 @@ ) >$book echo 'Running htmldoc.' -htmldoc --batch $book +htmldoc --batch $book || true mv $pdf $src/doc/guide Modified: mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide =================================================================== --- mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide 2005-11-30 18:39:11 UTC (rev 4262) +++ mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide 2005-11-30 18:40:14 UTC (rev 4263) @@ -9,12 +9,4 @@ mv .tmp $f done -@@ -127,7 +127,7 @@ - ) >$book - echo 'Running htmldoc.' --htmldoc --batch $book -+htmldoc --batch $book || true - - mv $pdf $src/doc/guide - |
|
From: Stephen W. <sw...@ml...> - 2005-11-30 10:39:13
|
Another FreeBSD patch from Geoff Mainland.
----------------------------------------------------------------------
U mlton/trunk/bytecode/Makefile
U mlton/trunk/package/freebsd/Makefile
A mlton/trunk/package/freebsd/files/
A mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide
----------------------------------------------------------------------
Modified: mlton/trunk/bytecode/Makefile
===================================================================
--- mlton/trunk/bytecode/Makefile 2005-11-30 03:05:54 UTC (rev 4261)
+++ mlton/trunk/bytecode/Makefile 2005-11-30 18:39:11 UTC (rev 4262)
@@ -16,6 +16,10 @@
CFLAGS += -mtune=opteron -m32
endif
+ifeq ($(TARGET_OS), freebsd)
+CFLAGS += -I/usr/local/include
+endif
+
interpret.o: interpret.c interpret.h opcode.h
$(CC) $(CFLAGS) -c -O2 interpret.c
Modified: mlton/trunk/package/freebsd/Makefile
===================================================================
--- mlton/trunk/package/freebsd/Makefile 2005-11-30 03:05:54 UTC (rev 4261)
+++ mlton/trunk/package/freebsd/Makefile 2005-11-30 18:39:11 UTC (rev 4262)
@@ -23,7 +23,9 @@
BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash
.if !defined(NOPORTDOCS)
-BUILD_DEPENDS+= latex:${PORTSDIR}/print/teTeX
+BUILD_DEPENDS+= gsed:${PORTSDIR}/textproc/gsed \
+ htmldoc:${PORTSDIR}/textproc/htmldoc \
+ latex:${PORTSDIR}/print/teTeX
.endif
LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4
RUN_DEPENDS= bash:${PORTSDIR}/shells/bash
@@ -46,9 +48,6 @@
PATH=${WRKSRC}/build/bin:${BOOT_WRKSRC}/bin:${PATH} \
PREFIX=${PREFIX}
-# XXX Temporary, until docs install is fixed in main Makefile
-NOPORTDOCS= yes
-
.if defined(NOPORTDOCS)
INSTALL_TARGET= install-no-docs
.endif
@@ -61,6 +60,10 @@
LIB_DEPENDS+= c.5:${PORTSDIR}/misc/compat5x
.endif
+.if ${OSVERSION} >= 503000
+LIB_DEPENDS+= m.2:${PORTSDIR}/misc/compat4x
+.endif
+
BOOT_EXTRACT= --bzip2
BOOT_SUF= tbz
BOOT_VER= 20041109
@@ -72,6 +75,14 @@
"s|lib=\'${LOCALBASE}/|lib=\'${BOOT_WRKSRC}/|" \
${BOOT_WRKSRC}/bin/mlton
+post-patch:
+ @${REINPLACE_CMD} -e \
+ "s|FLAGS += -I/usr/local/include|FLAGS += -I${LOCALBASE}/include|" \
+ ${WRKSRC}/runtime/Makefile
+ @${REINPLACE_CMD} -e \
+ "s|CFLAGS += -I/usr/local/include|CFLAGS += -I${LOCALBASE}/include|" \
+ ${WRKSRC}/bytecode/Makefile
+
post-install:
.for bin in mllex mlnlffigen mlprof mlton mlyacc
${CHOWN} ${SHAREOWN}:${SHAREGRP} ${PREFIX}/bin/${bin} \
@@ -103,11 +114,11 @@
${MAKE} install
${MAKE} package
${MAKE} deinstall
- pkg_add ${PKGREPOSITORY}/${PORTNAME}-${PORTVERSION}.tbz
+ pkg_add ${PORTNAME}-${PORTVERSION}.tbz
${MAKE} deinstall
${MAKE} reinstall
${MAKE} package
- ${CP} ${PKGREPOSITORY}/${PORTNAME}-${PORTVERSION}.tbz \
+ ${CP} ${PORTNAME}-${PORTVERSION}.tbz \
${DISTDIR}/${PORTNAME}-${PORTVERSION}-${RELEASE}.i386-freebsd.tbz
${TAR} -cpf - Makefile distinfo pkg-descr pkg-plist | \
( ${MKDIR} ${PORTDIR} && cd ${PORTDIR} && ${TAR} -xpf - )
@@ -117,8 +128,7 @@
PLIST= ${.CURDIR}/pkg-plist
pkg-plist:
-# XXX Temporary, until docs install is fixed in main Makefile
- cd ${WRKSRC} && ${GMAKE} install-no-docs
+ cd ${WRKSRC} && ${GMAKE} install
cd ${WRKSRC}/install/usr && \
${FIND} -d * \! -type d | ${GREP} -v man/man | \
${SORT} >${PLIST}
Added: mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide
===================================================================
--- mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide 2005-11-30 03:05:54 UTC (rev 4261)
+++ mlton/trunk/package/freebsd/files/patch-bin::make-pdf-guide 2005-11-30 18:39:11 UTC (rev 4262)
@@ -0,0 +1,20 @@
+--- bin/make-pdf-guide.orig Wed Nov 30 00:44:19 2005
++++ bin/make-pdf-guide Wed Nov 30 00:44:33 2005
+@@ -52,7 +52,7 @@
+ s;<td colspan = 3;<td align = right;
+ s;<img src=\"\(http://mlton.org[^>]*\)>;<img src="moin-www.png"><a href=\"\1>image</a>;g
+ EOF
+- sed -f $script <$f >.tmp
++ gsed -f $script <$f >.tmp
+ mv .tmp $f
+ done
+
+@@ -127,7 +127,7 @@
+ ) >$book
+
+ echo 'Running htmldoc.'
+-htmldoc --batch $book
++htmldoc --batch $book || true
+
+ mv $pdf $src/doc/guide
+
|
|
From: Stephen W. <sw...@ml...> - 2005-11-29 19:05:55
|
Remove hevea from BUILD_DEPENDS, because it is no longer needed in
building the docs.
----------------------------------------------------------------------
U mlton/trunk/package/freebsd/Makefile
----------------------------------------------------------------------
Modified: mlton/trunk/package/freebsd/Makefile
===================================================================
--- mlton/trunk/package/freebsd/Makefile 2005-11-29 23:09:12 UTC (rev 4260)
+++ mlton/trunk/package/freebsd/Makefile 2005-11-30 03:05:54 UTC (rev 4261)
@@ -23,8 +23,7 @@
BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash
.if !defined(NOPORTDOCS)
-BUILD_DEPENDS+= hevea:${PORTSDIR}/textproc/hevea \
- latex:${PORTSDIR}/print/teTeX
+BUILD_DEPENDS+= latex:${PORTSDIR}/print/teTeX
.endif
LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4
RUN_DEPENDS= bash:${PORTSDIR}/shells/bash
|
|
From: Stephen W. <sw...@ml...> - 2005-11-29 15:09:14
|
Added -I/usr/local/include on FreeBSD to get gmp.h.
----------------------------------------------------------------------
U mlton/trunk/bin/mlton-script
U mlton/trunk/runtime/Makefile
----------------------------------------------------------------------
Modified: mlton/trunk/bin/mlton-script
===================================================================
--- mlton/trunk/bin/mlton-script 2005-11-29 18:46:19 UTC (rev 4259)
+++ mlton/trunk/bin/mlton-script 2005-11-29 23:09:12 UTC (rev 4260)
@@ -84,6 +84,7 @@
'-m32
-mtune=opteron' \
-target-cc-opt darwin '-I/sw/include' \
+ -target-cc-opt freebsd '-I/usr/local/include' \
-target-cc-opt solaris \
'-Wa,-xarch=v8plusa
-mcpu=ultrasparc' \
Modified: mlton/trunk/runtime/Makefile
===================================================================
--- mlton/trunk/runtime/Makefile 2005-11-29 18:46:19 UTC (rev 4259)
+++ mlton/trunk/runtime/Makefile 2005-11-29 23:09:12 UTC (rev 4260)
@@ -31,6 +31,10 @@
FLAGS += -mcpu=v8 -m32
endif
+ifeq ($(TARGET_OS), freebsd)
+FLAGS += -I/usr/local/include
+endif
+
ifeq ($(TARGET_OS), solaris)
FLAGS += -Wa,-xarch=v8plusa -funroll-all-loops -mcpu=ultrasparc
endif
|
|
From: Matthew F. <fl...@ml...> - 2005-11-29 10:46:22
|
Outdated PHONY target ---------------------------------------------------------------------- U mlton/trunk/Makefile ---------------------------------------------------------------------- Modified: mlton/trunk/Makefile =================================================================== --- mlton/trunk/Makefile 2005-11-29 18:45:55 UTC (rev 4258) +++ mlton/trunk/Makefile 2005-11-29 18:46:19 UTC (rev 4259) @@ -86,14 +86,6 @@ clean-svn: find . -type d | grep .svn | xargs rm -rf -.PHONY: cm -cm: - $(MAKE) -C $(COMP) mlton-stubs_cm - $(MAKE) -C $(LEX) mllex_cm - $(MAKE) -C $(PROF) mlprof_cm - $(MAKE) -C $(YACC) mlyacc_cm - $(MAKE) -C benchmark benchmark_cm - .PHONY: compiler compiler: $(MAKE) -C $(COMP) |
