Nabble - SML/NJ

Re: Problems porting from old Compilation Manager

2009-11-27T09:45:45Z

Documentation for the 110.0.7 version of CM can be found at

http://smlnj.org/doc/CM/Old/index.html

the new version is documented at

http://smlnj.org/doc/CM/new.pdf

The main difference is that the newer version of CM requires explicit
mention of the basis ($/basis.cm) in CM files and the role of groups
changed (which may not be an issue).

The other porting problems will have to do with the SML'97 Basis
specification, which 110.0.7 predated. The Basis library is documented
at

http://www.standardml.org/Basis/

Please let us know if you have any questions.

- John

On Nov 27, 2009, at 4:58 AM, Colin Fleming wrote:

> Hi all,
>
> I'm trying to compile MLj, the SML to JVM compiler. The project is
> pretty well abandoned, and they recommend compiling it with a very old
> version of SML/NJ (110.0.7) which I couldn't get to compile on OSX.
> That version uses the old CM, so when I try to compile with the most
> recent version, it fails. The culprit seems to be the build.sml file:
>
> val path =
> case OS.Process.getEnv "BOOTCLASSPATH" of
> NONE =>
> (print
> "\nSet BOOTCLASSPATH to the zip or jar file containing system classes\n";
> OS.Process.exit OS.Process.failure)
>
> | SOME path => path;
>
> val version_id = #version_id Compiler.version;
> val newer = hd version_id > 110 orelse hd (tl version_id) > 0;
> if newer then CM.set_root "sources2.cm" else ();
> OS.FileSys.chDir "src";
> CM.make ();
> Version.compileTime := Date.toString (Date.fromTimeLocal (Time.now ()));
> SMLofNJ.Internals.GC.messages false;
>
> PackageManager.setBootClassPath (Path.pathToList path);
>
> if Make.makeAndFreezeBasis (true, "build.log")
> then SMLofNJ.exportFn ("../bin/mlj-jdk1.1.1", TopLevel.main)
> else (print "\nFailed to build basis\n"; OS.Process.exit OS.Process.failure);
>
> I managed to make some progress by commenting the CM.set_root line and
> adjusting the CM.make command to 'CM.make "sources2.cm"', but then the
> subsequent lines fail because it can't find Version or PackageManager.
> Did something change with the visibility of compiled structures in the
> switch to the new CM? Can I explicitly import those structures somehow
> in the new one?
>
> Apologies if the question is very basic, I'm very new to SML.
>
> Thanks for any help,
> Colin
>
> ------------------------------------------------------------------------------
> Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
> trial. Simplify your report design, integration and deployment - and focus on
> what you do best, core application coding. Discover what's new with
> Crystal Reports now. http://p.sf.net/sfu/bobj-july
> _______________________________________________
> Smlnj-list mailing list
> Smlnj-list@...
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: Problems porting from old Compilation Manager

2009-11-27T06:48:41Z

Colin Fleming <colin.mailinglist@...> writes:

> Hi Joe,
>
> Thanks for the reply. Yes, both Version and PackageManager are part of
> MLj. I couldn't find a .cm file that looked likely anywhere, either in
> the binary or source distributions. I'll have to read up about the CM
> and see if I can figure it out.

My comment about .cm files only applied to those that are part of
SML/NJ. Sorry for any confusion.

Short summary of what I said: Most internal parts of SML/NJ are
available, if you can figure out the right argument to use with
CM.autoload. You can often figure out the right argument by looking
at the .cm files that installed with SML/NJ.

I thought that was what Colin was asking about, but given that both
Version and PackageManager are part of MLj, my comments don't help
in this case.

--
With my best regards,

Joe

> Thanks,
> Colin
>
> 2009/11/27 Joe Wells <jbw@...>:
>> Colin Fleming <colin.mailinglist@...> writes:
>>
>>> Hi all,
>>>
>>> I'm trying to compile MLj, the SML to JVM compiler. The project is
>>> pretty well abandoned, and they recommend compiling it with a very old
>>> version of SML/NJ (110.0.7) which I couldn't get to compile on OSX.
>>> That version uses the old CM, so when I try to compile with the most
>>> recent version, it fails. The culprit seems to be the build.sml file:
>>>
>>> val path =
>>> case OS.Process.getEnv "BOOTCLASSPATH" of
>>> NONE =>
>>> (print
>>> "\nSet BOOTCLASSPATH to the zip or jar file containing system classes\n";
>>> OS.Process.exit OS.Process.failure)
>>>
>>> | SOME path => path;
>>>
>>> val version_id = #version_id Compiler.version;
>>> val newer = hd version_id > 110 orelse hd (tl version_id) > 0;
>>> if newer then CM.set_root "sources2.cm" else ();
>>> OS.FileSys.chDir "src";
>>> CM.make ();
>>> Version.compileTime := Date.toString (Date.fromTimeLocal (Time.now ()));
>>> SMLofNJ.Internals.GC.messages false;
>>>
>>> PackageManager.setBootClassPath (Path.pathToList path);
>>>
>>> if Make.makeAndFreezeBasis (true, "build.log")
>>> then SMLofNJ.exportFn ("../bin/mlj-jdk1.1.1", TopLevel.main)
>>> else (print "\nFailed to build basis\n"; OS.Process.exit OS.Process.failure);
>>>
>>> I managed to make some progress by commenting the CM.set_root line and
>>> adjusting the CM.make command to 'CM.make "sources2.cm"', but then the
>>> subsequent lines fail because it can't find Version or PackageManager.
>>
>> PackageManager is probably part of MLj. I don't know about Version.
>>
>>> Did something change with the visibility of compiled structures in the
>>> switch to the new CM? Can I explicitly import those structures somehow
>>> in the new one?
>>
>> If you can find them in one of the installed binary .cm files, then
>> you can import them. For example, picking an internal function purely
>> at random, here is how you would get access to PickleUtil.pickle:
>>
>> Standard ML of New Jersey v110.70 [built: Thu Aug 27 23:53:55 2009]
>> - PickleUtil.pickle;
>> stdIn:1.1-1.18 Error: unbound structure: PickleUtil in path PickleUtil.pickle
>> - CM.autoload "$/pickle-lib.cm";
>> [autoloading]
>> [library $smlnj/cm/cm.cm is stable]
>> [library $smlnj/internal/cm-sig-lib.cm is stable]
>> [library $/pgraph.cm is stable]
>> [library $smlnj/internal/srcpath-lib.cm is stable]
>> [library $SMLNJ-BASIS/basis.cm is stable]
>> [autoloading done]
>> [library $/pickle-lib.cm is stable]
>> val it = true : bool
>> - PickleUtil.pickle;
>> [autoloading]
>> [library $SMLNJ-LIB/Util/smlnj-lib.cm is stable]
>> [autoloading done]
>> val it = fn : 'a -> 'a PickleUtil.pickle -> string
>>
>> I hope this is helpful.
>>
>> --
>> With my best regards,
>>
>> Joe
>>
>>> Apologies if the question is very basic, I'm very new to SML.
>>>
>>> Thanks for any help,
>>> Colin
>>>
>>
>>
>> --
>> Heriot-Watt University is a Scottish charity
>> registered under charity number SC000278.
>>
>>

--
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: Problems porting from old Compilation Manager

2009-11-27T05:43:12Z

Hi Joe,

Thanks for the reply. Yes, both Version and PackageManager are part of
MLj. I couldn't find a .cm file that looked likely anywhere, either in
the binary or source distributions. I'll have to read up about the CM
and see if I can figure it out.

Thanks,
Colin

2009/11/27 Joe Wells <jbw@...>:

> Colin Fleming <colin.mailinglist@...> writes:
>
>> Hi all,
>>
>> I'm trying to compile MLj, the SML to JVM compiler. The project is
>> pretty well abandoned, and they recommend compiling it with a very old
>> version of SML/NJ (110.0.7) which I couldn't get to compile on OSX.
>> That version uses the old CM, so when I try to compile with the most
>> recent version, it fails. The culprit seems to be the build.sml file:
>>
>> val path =
>> case OS.Process.getEnv "BOOTCLASSPATH" of
>> NONE =>
>> (print
>> "\nSet BOOTCLASSPATH to the zip or jar file containing system classes\n";
>> OS.Process.exit OS.Process.failure)
>>
>> | SOME path => path;
>>
>> val version_id = #version_id Compiler.version;
>> val newer = hd version_id > 110 orelse hd (tl version_id) > 0;
>> if newer then CM.set_root "sources2.cm" else ();
>> OS.FileSys.chDir "src";
>> CM.make ();
>> Version.compileTime := Date.toString (Date.fromTimeLocal (Time.now ()));
>> SMLofNJ.Internals.GC.messages false;
>>
>> PackageManager.setBootClassPath (Path.pathToList path);
>>
>> if Make.makeAndFreezeBasis (true, "build.log")
>> then SMLofNJ.exportFn ("../bin/mlj-jdk1.1.1", TopLevel.main)
>> else (print "\nFailed to build basis\n"; OS.Process.exit OS.Process.failure);
>>
>> I managed to make some progress by commenting the CM.set_root line and
>> adjusting the CM.make command to 'CM.make "sources2.cm"', but then the
>> subsequent lines fail because it can't find Version or PackageManager.
>
> PackageManager is probably part of MLj. I don't know about Version.
>
>> Did something change with the visibility of compiled structures in the
>> switch to the new CM? Can I explicitly import those structures somehow
>> in the new one?
>
> If you can find them in one of the installed binary .cm files, then
> you can import them. For example, picking an internal function purely
> at random, here is how you would get access to PickleUtil.pickle:
>
> Standard ML of New Jersey v110.70 [built: Thu Aug 27 23:53:55 2009]
> - PickleUtil.pickle;
> stdIn:1.1-1.18 Error: unbound structure: PickleUtil in path PickleUtil.pickle
> - CM.autoload "$/pickle-lib.cm";
> [autoloading]
> [library $smlnj/cm/cm.cm is stable]
> [library $smlnj/internal/cm-sig-lib.cm is stable]
> [library $/pgraph.cm is stable]
> [library $smlnj/internal/srcpath-lib.cm is stable]
> [library $SMLNJ-BASIS/basis.cm is stable]
> [autoloading done]
> [library $/pickle-lib.cm is stable]
> val it = true : bool
> - PickleUtil.pickle;
> [autoloading]
> [library $SMLNJ-LIB/Util/smlnj-lib.cm is stable]
> [autoloading done]
> val it = fn : 'a -> 'a PickleUtil.pickle -> string
>
> I hope this is helpful.
>
> --
> With my best regards,
>
> Joe
>
>> Apologies if the question is very basic, I'm very new to SML.
>>
>> Thanks for any help,
>> Colin
>>
>
>
> --
> Heriot-Watt University is a Scottish charity
> registered under charity number SC000278.
>
>

Re: Problems porting from old Compilation Manager

2009-11-27T04:57:13Z

Colin Fleming <colin.mailinglist@...> writes:

PackageManager is probably part of MLj. I don't know about Version.

> Did something change with the visibility of compiled structures in the
> switch to the new CM? Can I explicitly import those structures somehow
> in the new one?

If you can find them in one of the installed binary .cm files, then
you can import them. For example, picking an internal function purely
at random, here is how you would get access to PickleUtil.pickle:

Standard ML of New Jersey v110.70 [built: Thu Aug 27 23:53:55 2009]
- PickleUtil.pickle;
stdIn:1.1-1.18 Error: unbound structure: PickleUtil in path PickleUtil.pickle
- CM.autoload "$/pickle-lib.cm";
[autoloading]
[library $smlnj/cm/cm.cm is stable]
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
[library $smlnj/internal/srcpath-lib.cm is stable]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
[library $/pickle-lib.cm is stable]
val it = true : bool
- PickleUtil.pickle;
[autoloading]
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable]
[autoloading done]
val it = fn : 'a -> 'a PickleUtil.pickle -> string

I hope this is helpful.

--
With my best regards,

Joe

> Apologies if the question is very basic, I'm very new to SML.
>
> Thanks for any help,
> Colin
>

--
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: Problems porting from old Compilation Manager

2009-11-27T03:30:10Z

To be a little more precise, the error I receive is:

<snip lots of output>
[parsing (sources2.cm):andrew/(sources2.cm):interact/Version.sml]
val it = false : bool
[autoloading]
[autoloading done]
stdIn:15.1-15.20 Error: unbound structure: Version in path Version.compileTime

I'm running SML/NJ 110.71 on OSX Snow Leopard.

Again, thanks for any help,
Colin

2009/11/27 Colin Fleming <colin.mailinglist@...>:

Problems porting from old Compilation Manager

2009-11-27T02:58:41Z

Hi all,

I'm trying to compile MLj, the SML to JVM compiler. The project is
pretty well abandoned, and they recommend compiling it with a very old
version of SML/NJ (110.0.7) which I couldn't get to compile on OSX.
That version uses the old CM, so when I try to compile with the most
recent version, it fails. The culprit seems to be the build.sml file:

val path =
case OS.Process.getEnv "BOOTCLASSPATH" of
NONE =>
(print
"\nSet BOOTCLASSPATH to the zip or jar file containing system classes\n";
OS.Process.exit OS.Process.failure)

| SOME path => path;

val version_id = #version_id Compiler.version;
val newer = hd version_id > 110 orelse hd (tl version_id) > 0;
if newer then CM.set_root "sources2.cm" else ();
OS.FileSys.chDir "src";
CM.make ();
Version.compileTime := Date.toString (Date.fromTimeLocal (Time.now ()));
SMLofNJ.Internals.GC.messages false;

PackageManager.setBootClassPath (Path.pathToList path);

if Make.makeAndFreezeBasis (true, "build.log")
then SMLofNJ.exportFn ("../bin/mlj-jdk1.1.1", TopLevel.main)
else (print "\nFailed to build basis\n"; OS.Process.exit OS.Process.failure);

I managed to make some progress by commenting the CM.set_root line and
adjusting the CM.make command to 'CM.make "sources2.cm"', but then the
subsequent lines fail because it can't find Version or PackageManager.
Did something change with the visibility of compiled structures in the
switch to the new CM? Can I explicitly import those structures somehow
in the new one?

Apologies if the question is very basic, I'm very new to SML.

Thanks for any help,
Colin

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: was profiling broken in 110.63.1?

2009-11-19T07:29:01Z

John Reppy <jhr@...> writes:

> Profiling occasionally gets broken; I'll look into it for 110.72.

So this is a bug and not a change in the interface? If so, I'll file
a bug report.

> BTW, is there any reason that you are using 110.63, instead of the
> more recent versions?

I mentioned many versions in my e-mail: 110.54, 110.63, 110.63.1, and
110.70.

The test output I gave in my e-mail is from 110.54 (the version that
ships as part of Ubuntu Dapper Drake) and 110.70. My PhD student
Vincent Rahli determined by trying many versions (in addition to those
I am mentioning) that the breakage seemed to be happening in the
change from 110.63 to 110.63.1 (2 and a half years ago).

I hope this clarification helps.

--
Joe

> - John
>
> On Nov 19, 2009, at 6:41 AM, Joe Wells wrote:
>
>> Dear SML/NJ gurus,
>>
>> If I enter
>>
>> Backend.Profile.setProfMode true;
>> let fun f 0 = () | f n = f (n - 1)
>> in f 100;
>> Backend.Profile.reportAll TextIO.stdOut
>> end;
>>
>> into SML/NJ 110.54, the profiling output I get looks like this:
>>
>> %time cumsec #call name
>> .00 101 it.f.f
>> .00 0 Compilation
>> .00 0 Major GC
>> .00 0 Minor GC
>> .00 0 Other
>> .00 0 Run-time System
>>
>> I have not turned on timing mode, so the times are all zero, but the
>> count of the number of calls to f is correct.
>>
>> In contrast, if I enter the same code in to SML/NJ 110.70, the
>> profiling output I get looks like this:
>>
>> %time cumsec #call name
>> .00 0 Compilation
>> .00 0 Major GC
>> .00 0 Minor GC
>> .00 0 Other
>> .00 0 Run-time System
>>
>> Notice that the profiler has not recorded any calls to the function f.
>>
>> In fact, it seems that the table used by the profiler (as retrieved
>> using SMLofNJ.Internals.ProfControl.getTimeArray) does not change at
>> all when f is compiled in SML/NJ 110.70, whereas the table can be
>> observed to get bigger in 110.54.
>>
>> My student Vincent Rahli has tried the profiler on many versions of
>> SML/NJ and he reports to me that the failures start in version
>> 110.63.1 (which was released two and half years ago).
>>
>> Has there been a change in how the profiler is supposed to be used?
>> Is there some additional switch that needs to be adjusted
>> post-110.63.1 to turn on the instrumentation of compiled code with
>> profiling calls? Or is this just a bug?
>>
>> It would be really, really, really helpful if we did not have to
>> switch back to using 110.63 in order to get profiling.
>>
>> Any help with this issue would be much appreciated!
>>
>> --
>> Thanks,
>>
>> Joe

Re: was profiling broken in 110.63.1?

2009-11-19T05:32:08Z

Profiling occasionally gets broken; I'll look into it for 110.72.

BTW, is there any reason that you are using 110.63, instead of the
more recent versions?

- John

On Nov 19, 2009, at 6:41 AM, Joe Wells wrote:

> Dear SML/NJ gurus,
>
> If I enter
>
> Backend.Profile.setProfMode true;
> let fun f 0 = () | f n = f (n - 1)
> in f 100;
> Backend.Profile.reportAll TextIO.stdOut
> end;
>
> into SML/NJ 110.54, the profiling output I get looks like this:
>
> %time cumsec #call name
> .00 101 it.f.f
> .00 0 Compilation
> .00 0 Major GC
> .00 0 Minor GC
> .00 0 Other
> .00 0 Run-time System
>
> I have not turned on timing mode, so the times are all zero, but the
> count of the number of calls to f is correct.
>
> In contrast, if I enter the same code in to SML/NJ 110.70, the
> profiling output I get looks like this:
>
> %time cumsec #call name
> .00 0 Compilation
> .00 0 Major GC
> .00 0 Minor GC
> .00 0 Other
> .00 0 Run-time System
>
> Notice that the profiler has not recorded any calls to the function f.
>
> In fact, it seems that the table used by the profiler (as retrieved
> using SMLofNJ.Internals.ProfControl.getTimeArray) does not change at
> all when f is compiled in SML/NJ 110.70, whereas the table can be
> observed to get bigger in 110.54.
>
> My student Vincent Rahli has tried the profiler on many versions of
> SML/NJ and he reports to me that the failures start in version
> 110.63.1 (which was released two and half years ago).
>
> Has there been a change in how the profiler is supposed to be used?
> Is there some additional switch that needs to be adjusted
> post-110.63.1 to turn on the instrumentation of compiled code with
> profiling calls? Or is this just a bug?
>
> It would be really, really, really helpful if we did not have to
> switch back to using 110.63 in order to get profiling.
>
> Any help with this issue would be much appreciated!
>
> --
> Thanks,
>
> Joe
>
>
> --
> Heriot-Watt University is a Scottish charity
> registered under charity number SC000278.
>
>
> ------------------------------------------------------------------------------
> Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
> trial. Simplify your report design, integration and deployment - and focus on
> what you do best, core application coding. Discover what's new with
> Crystal Reports now. http://p.sf.net/sfu/bobj-july
> _______________________________________________
> Smlnj-list mailing list
> Smlnj-list@...
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>

was profiling broken in 110.63.1?

2009-11-19T04:41:40Z

Dear SML/NJ gurus,

If I enter

Backend.Profile.setProfMode true;
let fun f 0 = () | f n = f (n - 1)
in f 100;
Backend.Profile.reportAll TextIO.stdOut
end;

into SML/NJ 110.54, the profiling output I get looks like this:

%time cumsec #call name
.00 101 it.f.f
.00 0 Compilation
.00 0 Major GC
.00 0 Minor GC
.00 0 Other
.00 0 Run-time System

I have not turned on timing mode, so the times are all zero, but the
count of the number of calls to f is correct.

In contrast, if I enter the same code in to SML/NJ 110.70, the
profiling output I get looks like this:

%time cumsec #call name
.00 0 Compilation
.00 0 Major GC
.00 0 Minor GC
.00 0 Other
.00 0 Run-time System

Notice that the profiler has not recorded any calls to the function f.

In fact, it seems that the table used by the profiler (as retrieved
using SMLofNJ.Internals.ProfControl.getTimeArray) does not change at
all when f is compiled in SML/NJ 110.70, whereas the table can be
observed to get bigger in 110.54.

My student Vincent Rahli has tried the profiler on many versions of
SML/NJ and he reports to me that the failures start in version
110.63.1 (which was released two and half years ago).

Has there been a change in how the profiler is supposed to be used?
Is there some additional switch that needs to be adjusted
post-110.63.1 to turn on the instrumentation of compiled code with
profiling calls? Or is this just a bug?

It would be really, really, really helpful if we did not have to
switch back to using 110.63 in order to get profiling.

Any help with this issue would be much appreciated!

--
Thanks,

Joe

--
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Release of version 0.4 of the ULTRA type error slicer for SML

2009-11-13T11:27:00Z

We are happy to announce the release of the version 0.4 of our type
error slicing software for the SML programming language.

Major improvements over the previous release:
* Overloaded operators can now be specified.
* Special comments can now inform the type error slicer about
    identifiers in the top-level environment with their
    types/signatures. (This allows handling things like "use" and
    "CM.autoload" and working around the fact that we do not yet
    support "open".)
* We provide a larger basis including more of the standard SML basis
    and some SML/NJ-specific declarations.
* We fixed many cases where the Emacs interface failed silently.

Other less important changes/improvements are:
* We improved the error slices for record clashes.
* We improved the pretty printing of error slices.
* We improved the highlighting of white spaces.
* We improved our error slice minimisation algorithm.
* We improved the communication between our type error slicer and
    its Emacs interface.
* We provide new error messages on status clashes (for example
    between an exception constructor and a datatype constructor).
* Our test case database is much bigger, so there are fewer problems
    in general.
* And we solved many bugs.

Even more changes are documented in the ChangeLog file.

The aim of our type error slicer is to provide useful type error
reports for pieces of code written in SML:
* It identifies all of the program points that contribute to a type
    error, including the spot with the actual programming error that
    caused the type error.
* It highlights these program points in the original, unchanged
    source code.
* It avoids showing internal details of the operation of the type
    inference machinery.

A new compiled package of our type error slicer can be found at this URL:

http://www2.macs.hw.ac.uk/~rahli/cgi-bin/slicer/downloads.html

Known limitations:
* We have not yet built the software for other operating systems
    than Linux.
* The only currently supported user interface is via GNU Emacs (or
    our web demo).
* Some features of the SML language are not parsed (the user will be
    notified if this is the case), and some type errors are not yet
    discovered (the user will need to rely on their usual type checker
    in these cases). Notable spots where the implementation is
    incomplete are functors (you can work around this by including
    signatures on functor applications), equality types, and fixity
    declarations.
* We don't yet handle overloaded constants (for example 1 is always
    of type int).
* The details of the SML basis library are incomplete (fortunately
    the user can add any additional details they are using).
* The software does not currently scale well to very large programs
    (we are still improving this). It is currently suitable for small
    programs and use in teaching.
* We have some known issues with context dependencies on long
    identifiers which yields wrong error reports.

Best wishes,

Vincent Rahli and Joe Wells

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: Go on using Ml-lex

2009-10-27T02:57:11Z

Please file a bug report at

https://smlnj-gforge.cs.uchicago.edu/bugform.php

On Oct 26, 2009, at 5:30 PM, Roger Price wrote:

> Sorry, I should have provided a little more motivation for my
> questions.
>
> In an ML-lex file I have a named expression r which refers to a
> previously defined named expression r0. r0 is referenced by placing
> its name in curly brackets. I am adding the hyphen to a named set
> of characters.
>
> r = ({r0}|[-]);
>
> This declaration was accepted by ML-lex, but is rejected by ML-ulex
> when in ML-lex mode, with the message:
>
> [/mnt/home/smlnj/110.67/bin/ml-ulex --ml-lex-mode translator/
> oasis.lex]
> [ml-ulex: parsing]
> 170: syntax error: deleting BAR LB RBD
>
> Clearly I could write "-" instead of [-], and indeed this avoids the
> error message, but I simply fall into further more mysterious
> new errors.
>
> I have not found a list of ML-lex/ML-ulex differences either on the
> SML/NJ site or on Google.
>
> I have tried backing off to 110.67 but I still see these errors.
> Going back to earlier versions of SML/NJ becomes more difficult due
> to library incompatibilities during the installation of SML/NJ.
>
> Roger
>
> On Mon, 26 Oct 2009, Roger Price wrote:
>
>> Is it possible to have ml-lex without ml-ulex?
>> Is Ml-ulex supposed to be a drop-in replacement for Ml-lex?
>
>
> ------------------------------------------------------------------------------
> Come build with us! The BlackBerry(R) Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart
> your
> developing skills, take BlackBerry mobile applications to market and
> stay
> ahead of the curve. Join us from November 9 - 12, 2009. Register now!
> http://p.sf.net/sfu/devconference
> _______________________________________________
> Smlnj-list mailing list
> Smlnj-list@...
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: Go on using Ml-lex

2009-10-26T10:30:45Z

Sorry, I should have provided a little more motivation for my
questions.

In an ML-lex file I have a named expression r which refers to a
previously defined named expression r0. r0 is referenced by placing
its name in curly brackets. I am adding the hyphen to a named set
of characters.

r = ({r0}|[-]);

This declaration was accepted by ML-lex, but is rejected by ML-ulex
when in ML-lex mode, with the message:

[/mnt/home/smlnj/110.67/bin/ml-ulex --ml-lex-mode translator/oasis.lex]
[ml-ulex: parsing]
170: syntax error: deleting BAR LB RBD

Clearly I could write "-" instead of [-], and indeed this avoids the
error message, but I simply fall into further more mysterious
new errors.

I have not found a list of ML-lex/ML-ulex differences either on the
SML/NJ site or on Google.

I have tried backing off to 110.67 but I still see these errors.
Going back to earlier versions of SML/NJ becomes more difficult due
to library incompatibilities during the installation of SML/NJ.

Roger

On Mon, 26 Oct 2009, Roger Price wrote:

> Is it possible to have ml-lex without ml-ulex?
> Is Ml-ulex supposed to be a drop-in replacement for Ml-lex?

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Go on using Ml-lex

2009-10-26T05:28:09Z

I would lile to re-compile and run some older programs which used
Ml-lex. I would like to continue using Ml-lex as it was, to check
that the programs run correctly, before attempting a migration to
Ml-ulex.

I downloaded
http://smlnj.cs.uchicago.edu/dist/working/110.71/config.tgz,
unpacked and set config/targets to

request ml-lex
request ml-lex-mllex-tool
request ml-lex-lex-ext
request ml-yacc
request ml-yacc-grm-ext
request ml-lpt-lib
request smlnj-lib
request tdp-util

but config/install.sh ends with

[scanning $/json-lib.cm]
[bad plugin name: anchor $ml-ulex-tool.cm not defined]
FAILURE: unexpected exception: BadAnchor
config/install.sh: !!! Installation of libraries and programs failed.

If I reduce config/targets to

request ml-lex
request ml-lex-mllex-tool
request ml-lex-lex-ext
request ml-yacc
request ml-yacc-grm-ext
request smlnj-lib

config/install.sh ends with

[scanning $/json-lib.cm]
/usr/share/smlnj/smlnj-lib/JSON/json-lib.cm:22.3-22.18 Error: anchor
$ml-lpt-lib.cm not defined
FAILURE: unexpected exception: BadAnchor
config/install.sh: !!! Installation of libraries and programs failed.

Is it possible to have ml-lex without ml-ulex?

Is Ml-ulex supposed to be a drop-in replacement for Ml-lex?

Roger

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

* extended deadline: FLOPS 2010: Last Call for Papers *

2009-10-19T19:35:04Z

----------------------------------------------------------------------------
LAST CALL FOR PAPERS

Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan

http://www.kb.ecei.tohoku.ac.jp/flops2010/

** EXTENDED SUBMISSION DEADLINES **

abstracts: October 27, 2009
papers: November 3, 2009

FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held in Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise
(2008).

TOPICS

FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):

Declarative Pearls: new and excellent declarative programs with
illustrative applications.

Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.

Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.

Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.

Applications: case studies, real-world applications, graphical
user interfaces, Internet applications, XML, databases, formal
methods and model checking.

The proceedings will be published as an LNCS volume. The proceedings
of the previous meeting (FLOPS 2008) were published as LNCS 4989.

INVITED SPEAKERS

TBD

PC CO-CHAIRS

Matthias Blume (Google, Chicago, USA)
German Vidal (Technical University of Valencia, Spain)

CONFERENCE CHAIR

Naoki Kobayashi (Tohoku University, Sendai, Japan)

PC MEMBERS

Nick Benton (Microsoft Research, Cambridge, UK)
Manuel Chakravarty (University of New South Wales, Australia)
Michael Codish (Ben-Gurion University of the Negev, Israel)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
John P. Gallagher (Roskilde University, Denmark)
Maria Garcia de la Banda (Monash University, Australia)
Michael Hanus (University of Kiel, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Patricia Johann (Rutgers University, USA)
Shin-ya Katsumata (Kyoto University, Japan)
Michael Leuschel (University of Dusseldorf, Germany)
Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)
Paqui Lucio (University of the Basque Country, Spain)
Yasuhiko Minamide (University of Tsukuba, Japan)
Frank Pfenning (Carnegie Mellon University, USA)
Francois Pottier (INRIA, France)
Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)
Chung-chieh "Ken" Shan (Rutgers University, USA)
Zhong Shao (Yale University, USA)
Jan-Georg Smaus (University of Freiburg, Germany)
Nobuko Yoshida (Imperial College London, UK)

LOCAL CHAIR

Eijiro Sumii (Tohoku University, Sendai, Japan)

SUBMISSION

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions should
fall into one of the following categories:

Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.

System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.

All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use
LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html

Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a
web page, or an appendix). Papers should be submitted electronically
at http://www.easychair.org/conferences/?conf=flops2010

IMPORTANT DATES

Submission deadlines:
- Abstract: October 27, 2009
- Paper: November 3, 2009
Author notification: December 21, 2009
Camera-ready copy: January 24, 2010
Conference: April 19-21, 2010

PLACE

Sendai, Japan

Some previous FLOPS:

FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
FLOPS 2004, Nara
FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSOR

Japan Society for Software Science and Technology (JSSST), SIG-PPL
Graduate School of Information Sciences, Tohoku University
International Information Science Foundation

IN COOPERATION with

AAFS (Asian Association for Foundation of Software)
ACM SIGPLAN
ALP (Association for Logic Programming)

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

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: 4X4 magic square?

2009-10-19T05:39:51Z

Hi Adam,
Thank you for your answer. How did you know that this is my homework? Wow! You are smart!
I am asking everybody not only you. If you have the answer, just post it else post nothing.
Keep it simple!
Bye.

Adam Chlipala-3 wrote:

courses.cs wrote:
> Anybody knows how to implement a function that finds all the solutions
> to a 4X4 magic square given a fixed goal sum and an initial grid with
> some or all cells blank? fun magicsquares(goal,grid) = ...

It looks like you're asking us to do your homework for you. You can be
pretty sure you won't find anyone willing to do that. Try asking your
teacher instead.

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Smlnj-list mailing list
Smlnj-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: 4X4 magic square?

2009-10-18T16:30:29Z

courses.cs wrote:
> Anybody knows how to implement a function that finds all the solutions
> to a 4X4 magic square given a fixed goal sum and an initial grid with
> some or all cells blank? fun magicsquares(goal,grid) = ...

It looks like you're asking us to do your homework for you. You can be
pretty sure you won't find anyone willing to do that. Try asking your
teacher instead.

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

4X4 magic square?

2009-10-18T03:56:16Z

Anybody knows how to implement a function that finds all the solutions to a 4X4 magic square given a fixed goal sum and an initial grid with some or all cells blank? fun magicsquares(goal,grid) = ...

modes of a list?

2009-10-18T03:51:15Z

Hi all, Anybody knows how to implement this function in SML? fun modes list = ….. it should be used like this: modes [1,1,2,2,2,3,3,4,5,5,5] which should produce [2,5] Thanks;

Re: exportFn and evalStream questions

2009-10-07T13:06:38Z

John Reppy <jhr@...> writes:

> On Oct 5, 2009, at 7:43 AM, Joe Wells wrote:
>
>> Dear SML/NJ gurus,
>>
>> Would it be possible for someone to please answer 1 or more of the
>> following questions about exportFn and evalStream?
>
> I can answer the first two.

Thanks!

> Dave or Matthias should be able to address the others.

That would be lovely, but I want you to know that I am very grateful
for even the answers you have already given me.

>> 1. Where does exportFn discard the contents of the top-level
>> environment? I've been looking through the source code and if I
>> have seen it I certainly have not recognized it. It is clear that
>> this is happening both from the documentation and also from the
>> fact that subsequent uses of evalStream or useStream seem to
>> complain that all identifiers are undefined.
>
> The discarding of the environment is effectively done by the GC. We
> isolate the return continuation of the exported function so that it
> does not refer to the top-level-loop, and, thus, the environment becomes
> garbage.

Thanks very much for this answer.

I now realize that I was confused about something. My best guess as
to the cause of my confusion is that I must have left out a vital
semicolon between two top-level declarations when I was testing
things, and somehow thought the missing definitions during a call to
evalStream were caused by something deliberately removing them from
the top-level environment during exportFn, because the problem went
away when I switched to exportML.

The answer you gave above made me think things through again and redo
my tests.

>> 2. Is it possible to get the same space-saving effect as exportFn
>> without having to write a heap image to disk and then exec a fresh
>> sml process to load the heap image? (Another problem this would
>> avoid is the fact that exportFn closes all files and clears the
>> signal handler table.) Is it enough to clear the top-level
>> environment by hand and then let the garbage collector do its work?
>> And does anyone have any example SML code that clears the top-level
>> environment correctly? Can doing this release memory back to the
>> system? If not, can doing this at least reduce the amount of work
>> the garbage collector needs to do regularly?
>
> Yes, as long as you don't want to return to the top-level loop.

Okay, so this is the key. So I've now tried this.

Let me give a bit of the background. I've been working on a system
for letting people write SML/NJ scripts. Being able to write SML
scripts makes it reasonable to use SML in a lot more situations,
because the time overhead of setting up and debugging the scheme for
building your program is a lot smaller (basically this overhead cost
goes to zero). This is particularly important when giving problems to
students, because they can focus on the programming and not about how
to compile and link their files and dump the heap and so on.

With my system, the “hello world” program can look like this:

#!/directory/path/goes/here/smlnj-script
print "Hello, world!\n"

Actually, my “hello world” program looks like this:

#!/usr/bin/env smlnj-script
;(*-*-SML-*-*)
silenceCompiler ();
print "Hello, world!\n";

The extra things are as follows. (1) For now, I use “env” to search
for “smlnj-script” in the directories listed in the user's PATH
environment variable, so it can be installed in various places. (2)
The second line begins with a semi-colon so that the first line is at
least syntactically valid SML and various program tools (like the
Emacs SML mode) will be less confused. (3) The comment on the second
line tells Emacs to use SML mode, because Emacs hasn't yet been told
about which mode to use with the interpreter specified on the first
line. (4) The invocation of silenceCompiler shuts up all uses of
Control.Print.say to suppress messages for successful declarations and
autoloading. I don't do this by default because that also stops type
error messages. So the idea is once the programmer is mostly happy
they will insert a call to silenceCompiler.

Okay, so now you know the background.

The problem is that even the simplest programs use roughly 30 M bytes
of virtual memory, and have a resident set size (RSS) of somewhere
between 10 and 30 M bytes.

Before I followed your advice, the programs were using roughly 40 M
bytes of virtual memory. So I have now saved about 10 M of virtual
memory. In some case, the RSS went down by half, while in other cases
it stayed the same.

As you can see though, I still have a problem, because 30 M bytes of
memory for “hello world” is way too much.

Here is a simple script that needs 33 M bytes of virtual memory and
28 M bytes of real memory:

#!/usr/bin/env smlnj-script
;(*-*-SML-*-*)
silenceCompiler ();
print "see how much memory this is using ...\n";
val pid = Word32.toInt (Posix.Process.pidToWord (Posix.ProcEnv.getpid ()));
val psCmd = "ps l " ^ Int.toString pid;
fun doPs () = OS.Process.system psCmd;
doPs();
print "now exiting evalLoop, see if memory has been freed ...\n";
fun finish () = (while true do (doPs(); OS.Process.sleep (Time.fromSeconds 2)));
finishFunction := finish;

The only thing non-obvious to explain about what this script does is
that whatever function is stored by the user in the ref cell
finishFunction will be invoked by smlnj-script *after* the evalLoop
that processed the script file returns. So the user can put the main
long-running loop of their program in finishFunction and this will
allow the garbage collector to reclaim space used by the compiler.
Here is the output I get from this:

see how much memory this is using ...
F UID PID PPID PRI NI VSZ RSS WCHAN STAT TTY TIME COMMAND
0 1000 5926 8535 20 0 40804 36564 - S+ pts/7 0:00 smlnj-scrip
now exiting evalLoop, see if memory has been freed ...
F UID PID PPID PRI NI VSZ RSS WCHAN STAT TTY TIME COMMAND
0 1000 5926 8535 20 0 32868 28284 - S+ pts/7 0:00 smlnj-scrip
F UID PID PPID PRI NI VSZ RSS WCHAN STAT TTY TIME COMMAND
0 1000 5926 8535 20 0 32868 28284 - S+ pts/7 0:00 smlnj-scrip
F UID PID PPID PRI NI VSZ RSS WCHAN STAT TTY TIME COMMAND
0 1000 5926 8535 20 0 32868 28284 - R+ pts/7 0:00 smlnj-scrip
...

As you can see, the GC was able to reclaim about 8 M bytes of memory
when the evalLoop was exited. But the program still uses around 30 M
bytes of memory just to do this:

while true do (doPs(); OS.Process.sleep (Time.fromSeconds 2))

Needing 30 M bytes of memory to keep around the implementation of
OS.Process.sleep, Time.fromSeconds, and OS.Process.system seems a bit
much to me.

Is there anything I can do to improve on this? Ideally without
writing a heap file to disk, which is a bit excessive for just
implementing scripting.

For reference, I've included the relevant bits of smlnj-script below.

> See the code in
>
> base/system/Basis/Implementation/NJ/export.sml

Just curious, but what should I be seeing in this file? I can't see
what I should be learning from it.

By the way, I am still interested in answers to my other questions
(quoted just below) because they are addressing other quite distinct
problems.

>> 3. Is is possible to preserve some portion of the top-level
>> environment across an exportFn? It would be enough to preserve the
>> constructors and type names of some datatypes and built-in types,
>> so that evalStream and useStream could still work for parsing, type
>> checking, and pretty printing datatype values.
>
>> 4. Can someone provide an example of constructing a custom environment
>> for use with evalStream? Any example would do. I already know how
>> to do something that seems equivalent to the top-level environment.
>> It would be particularly nice if the example showed how to include
>> just datatype constructors and type names.
>>
>> Thanks for your time in considering my questions. And extra thanks
>> if anyone answers even just one of my questions!
>>
>> -- Joe

To anyone who takes the time to even add a short answer, thanks very
much!

--
Joe

======================================================================
the relevant bits of the Makefile that builds smlnj-script:
======================================================================
...

smlnj-script: smlnj-script.sml
USE_EXPORT_FN=yes sml smlnj-script.sml
#sml smlnj-script.sml
heap2exec smlnj-script.x86-linux smlnj-script
# *** FIX: make this Makefile usable by others! don't hard-wire os/arch!

...
======================================================================
the relevant bits of smlnj-script.sml:
======================================================================
...

(* The user can redefine finishFunction to get something to be
evaluated after useStream is done. The point is that this allows
the compiler to be garbage collected so long-running scripts do not
have to tie down huge chunks of memory. *)
val finishFunction = ref (fn () => ());

fun finish () =
((* invoking the GC with less than the maximum generation seems to
have no effect *)
SMLofNJ.Internals.GC.doGC (valOf Int.maxInt);
(* invoking the GC with maximum generation just once blows up
memory usage enormously until the maximum generation is
collected again, so we do it twice. arrgh! *)
SMLofNJ.Internals.GC.doGC (valOf Int.maxInt);
(* Provided we dumped with exportFn, at this point on my machine
the script will be using about 10 M bytes less virtual memory.
The resident set size will sometimes have decreased. *)
! finishFunction ();
OS.Process.exit OS.Process.success)

(* no semicolon here deliberately to avoid adding to top-level environment *)

(* We define here a separate function suitable for use with exportFn
so that we can easily switch the implementation between exportML and
exportFn. *)
fun main (_, _ (* ignore this which should be a copy of SMLofNJ.getArgs () *)) =
let (* *** give nice error message if there is not at least 1 argument. *)
(* CommandLine.arguments does the same as SMLofNJ.getArgs. *)
val f = TextIO.openIn (hd (SMLofNJ.getArgs ()))
in SMLofNJ.shiftArgs ();
(* skip over #! line *)
(* *** check that #! line is of correct form *)
TextIO.inputLine f;
(* *** find way to fix error messages to mention correct file name and line number! *)
Backend.Interact.useStream f;
TextIO.closeIn f;
(* tail call, hopefully freeing the closure for this function (main)! *)
finish ()
end

(* no semicolon here deliberately to avoid adding to top-level environment *)

val scriptInterpreterFile = "smlnj-script"

(* no semicolon here deliberately to avoid adding to top-level environment *)

(* This allows the Makefile to decide how to dump the heap. *)
val useExportML = not (isSome (OS.Process.getEnv "USE_EXPORT_FN"))

(* no semicolon here deliberately to avoid adding to top-level environment *)

val () = if useExportML
then if (print "dumping with exportML\n";
SMLofNJ.exportML scriptInterpreterFile)
then ignore (main (SMLofNJ.getCmdName (), SMLofNJ.getArgs ()))
else OS.Process.exit OS.Process.success
else (print "dumping with exportFn\n";
SMLofNJ.exportFn (scriptInterpreterFile, main))

--
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: exportFn and evalStream questions

2009-10-05T07:12:57Z

On Oct 5, 2009, at 7:43 AM, Joe Wells wrote:

> Dear SML/NJ gurus,
>
> Would it be possible for someone to please answer 1 or more of the
> following questions about exportFn and evalStream?

I can answer the first two. Dave or Matthias should be able to address
the others.

>
> 1. Where does exportFn discard the contents of the top-level
> environment? I've been looking through the source code and if I
> have seen it I certainly have not recognized it. It is clear that
> this is happening both from the documentation and also from the
> fact that subsequent uses of evalStream or useStream seem to
> complain that all identifiers are undefined.

The discarding of the environment is effectively done by the GC. We
isolate the return continuation of the exported function so that it
does not refer to the top-level-loop, and, thus, the environment becomes
garbage.

>
> 2. Is it possible to get the same space-saving effect as exportFn
> without having to write a heap image to disk and then exec a fresh
> sml process to load the heap image? (Another problem this would
> avoid is the fact that exportFn closes all files and clears the
> signal handler table.) Is it enough to clear the top-level
> environment by hand and then let the garbage collector do its work?
> And does anyone have any example SML code that clears the top-level
> environment correctly? Can doing this release memory back to the
> system? If not, can doing this at least reduce the amount of work
> the garbage collector needs to do regularly?

Yes, as long as you don't want to return to the top-level loop. See
the code in

base/system/Basis/Implementation/NJ/export.sml

>
> 3. Is is possible to preserve some portion of the top-level
> environment across an exportFn? It would be enough to preserve the
> constructors and type names of some datatypes and built-in types,
> so that evalStream and useStream could still work for parsing, type
> checking, and pretty printing datatype values.

>
> 4. Can someone provide an example of constructing a custom environment
> for use with evalStream? Any example would do. I already know how
> to do something that seems equivalent to the top-level environment.
> It would be particularly nice if the example showed how to include
> just datatype constructors and type names.
>
> Thanks for your time in considering my questions. And extra thanks
> if anyone answers even just one of my questions!
>
> --
> Joe
>
>
> --
> Heriot-Watt University is a Scottish charity
> registered under charity number SC000278.
>
>
> ------------------------------------------------------------------------------
> Come build with us! The BlackBerry® Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart
> your
> developing skills, take BlackBerry mobile applications to market and
> stay
> ahead of the curve. Join us from November 9-12, 2009. Register
> now!
> http://p.sf.net/sfu/devconf
> _______________________________________________
> Smlnj-list mailing list
> Smlnj-list@...
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

exportFn and evalStream questions

2009-10-05T05:43:18Z

Dear SML/NJ gurus,

Would it be possible for someone to please answer 1 or more of the
following questions about exportFn and evalStream?

1. Where does exportFn discard the contents of the top-level
environment? I've been looking through the source code and if I
have seen it I certainly have not recognized it. It is clear that
this is happening both from the documentation and also from the
fact that subsequent uses of evalStream or useStream seem to
complain that all identifiers are undefined.

2. Is it possible to get the same space-saving effect as exportFn
without having to write a heap image to disk and then exec a fresh
sml process to load the heap image? (Another problem this would
avoid is the fact that exportFn closes all files and clears the
signal handler table.) Is it enough to clear the top-level
environment by hand and then let the garbage collector do its work?
And does anyone have any example SML code that clears the top-level
environment correctly? Can doing this release memory back to the
system? If not, can doing this at least reduce the amount of work
the garbage collector needs to do regularly?

3. Is is possible to preserve some portion of the top-level
environment across an exportFn? It would be enough to preserve the
constructors and type names of some datatypes and built-in types,
so that evalStream and useStream could still work for parsing, type
checking, and pretty printing datatype values.

4. Can someone provide an example of constructing a custom environment
for use with evalStream? Any example would do. I already know how
to do something that seems equivalent to the top-level environment.
It would be particularly nice if the example showed how to include
just datatype constructors and type names.

Thanks for your time in considering my questions. And extra thanks
if anyone answers even just one of my questions!

--
Joe

--
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

* FLOPS 2010: Last Call for Papers *

2009-10-02T12:10:37Z

----------------------------------------------------------------------------
LAST CALL FOR PAPERS

Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan

http://www.kb.ecei.tohoku.ac.jp/flops2010/

Submission deadline: October 16, 2009

FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held in Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise
(2008).

TOPICS

FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):

Declarative Pearls: new and excellent declarative programs with
illustrative applications.

Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.

Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.

Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.

Applications: case studies, real-world applications, graphical
user interfaces, Internet applications, XML, databases, formal
methods and model checking.

The proceedings will be published as an LNCS volume. The proceedings
of the previous meeting (FLOPS 2008) were published as LNCS 4989.

INVITED SPEAKERS

TBD

PC CO-CHAIRS

Matthias Blume (Google, Chicago, USA)
German Vidal (Technical University of Valencia, Spain)

CONFERENCE CHAIR

Naoki Kobayashi (Tohoku University, Sendai, Japan)

PC MEMBERS

Nick Benton (Microsoft Research, Cambridge, UK)
Manuel Chakravarty (University of New South Wales, Australia)
Michael Codish (Ben-Gurion University of the Negev, Israel)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
John P. Gallagher (Roskilde University, Denmark)
Maria Garcia de la Banda (Monash University, Australia)
Michael Hanus (University of Kiel, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Patricia Johann (Rutgers University, USA)
Shin-ya Katsumata (Kyoto University, Japan)
Michael Leuschel (University of Dusseldorf, Germany)
Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)
Paqui Lucio (University of the Basque Country, Spain)
Yasuhiko Minamide (University of Tsukuba, Japan)
Frank Pfenning (Carnegie Mellon University, USA)
Francois Pottier (INRIA, France)
Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)
Chung-chieh "Ken" Shan (Rutgers University, USA)
Zhong Shao (Yale University, USA)
Jan-Georg Smaus (University of Freiburg, Germany)
Nobuko Yoshida (Imperial College London, UK)

LOCAL CHAIR

Eijiro Sumii (Tohoku University, Sendai, Japan)

SUBMISSION

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions should
fall into one of the following categories:

Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.

System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.

All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use
LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html

Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a
web page, or an appendix). Papers should be submitted electronically
at http://www.easychair.org/conferences/?conf=flops2010

IMPORTANT DATES

Submission deadlines:
- Abstract: October 16, 2009
- Paper: October 23, 2009
Author notification: December 21, 2009
Camera-ready copy: January 24, 2010
Conference: April 19-21, 2010

PLACE

Sendai, Japan

Some previous FLOPS:

FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
FLOPS 2004, Nara
FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSOR

JSSST SIG-PPL

IN COOPERATION with

AAFS (Asian Association for Foundation of Software)
ACM SIGPLAN
ALP (Association for Logic Programming)

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

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: HELP - Circularity

2009-10-01T14:47:13Z

2009/9/30 Brian1978 <kamuliboyz@...>:
> I am trying to run this program (sorry about the brackets :)
>
> (((fn z => (fn x => (((z x) x) x)) (fn y => (( two (fn x => (y(x
> I))))five))) I) I)

What is your program supposed to do? Should we know that, we could be
in a better position to help you fixing it.

- Gergely

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: install SML/NJ 110.0.7 in Ubuntu

2009-10-01T11:28:18Z

Thank you for your reply.

I will try to port the program to version 110.71.

2009/10/1 Matthias Blume <matthias_blume@...>

Forget about the attribute "stable" or "current". The working version 110.71 is much more stable and current than 110.0.x, which is many years old.

You should fix your program to compile under the latest working version. Let us know if you need any help with that. We will be glad to provide it.

Cheers,
Matthias

On Oct 1, 2009, at 7:40 AM, kentri9 wrote:

John, thank you for your reply

One of the reasons why I want to install 110.0.7 is that
I want to run an SML program, which was only tested in 110.0.7.

I tried to run the program in 110.71 but it did not succeed.

The other reason is that I would like to have the current release of SML/NJ
in stead of a working version.

I hope someone can help me?
--
View this message in context: http://www.nabble.com/install-SML-NJ-110.0.7-in-Ubuntu-tp25690251p25696849.html
Sent from the SML/NJ mailing list archive at Nabble.com.

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: install SML/NJ 110.0.7 in Ubuntu

2009-10-01T07:14:37Z

Forget about the attribute "stable" or "current". The working version
110.71 is much more stable and current than 110.0.x, which is many
years old.

You should fix your program to compile under the latest working
version. Let us know if you need any help with that. We will be glad
to provide it.

Cheers,
Matthias

On Oct 1, 2009, at 7:40 AM, kentri9 wrote:

>
> John, thank you for your reply
>
> One of the reasons why I want to install 110.0.7 is that
> I want to run an SML program, which was only tested in 110.0.7.
>
> I tried to run the program in 110.71 but it did not succeed.
>
> The other reason is that I would like to have the current release of
> SML/NJ
> in stead of a working version.
>
> I hope someone can help me?
> --
> View this message in context: http://www.nabble.com/install-SML-NJ-110.0.7-in-Ubuntu-tp25690251p25696849.html
> Sent from the SML/NJ mailing list archive at Nabble.com.
>
>
> ------------------------------------------------------------------------------
> Come build with us! The BlackBerry® Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart
> your
> developing skills, take BlackBerry mobile applications to market and
> stay
> ahead of the curve. Join us from November 9-12, 2009. Register
> now!
> http://p.sf.net/sfu/devconf
> _______________________________________________
> Smlnj-list mailing list
> Smlnj-list@...
> https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: install SML/NJ 110.0.7 in Ubuntu

2009-10-01T05:40:25Z

John, thank you for your reply

One of the reasons why I want to install 110.0.7 is that
I want to run an SML program, which was only tested in 110.0.7.

I tried to run the program in 110.71 but it did not succeed.

The other reason is that I would like to have the current release of SML/NJ
in stead of a working version.

I hope someone can help me?

Re: install SML/NJ 110.0.7 in Ubuntu

2009-09-30T18:26:03Z

You should install 110.71, which is much more recent than 110.0.7.
You can
find it at

http://smlnj.org/dist/working/110.71/index.html

On Sep 30, 2009, at 5:33 PM, kentri9 wrote:

>
> Hi,
>
> I am trying to install SML/NJ 110.0.7 (the current release version) in
> Ubuntu 9.0.4. The cpu is AMD Athlon XP 2000+.
>
> When I run install.sh, it yields the below error messages.
> I assume that I should edit src/runtime/objs/mk.x86-linux, but
> I do not know what I should change.
>
> Any help is appreciated.
>
>
> ####################
> $ config/install.sh
> SML root is /home/kemu/Desktop/janus_110_2
> installing version 110
> creating /home/kemu/Desktop/janus_110_2/bin
> creating /home/kemu/Desktop/janus_110_2/bin/.heap
> creating /home/kemu/Desktop/janus_110_2/bin/.run
> creating /home/kemu/Desktop/janus_110_2/lib
> creating /home/kemu/Desktop/janus_110_2/src
> /home/kemu/Desktop/janus_110_2/bin/.arch-n-opsys reports ARCH=x86;
> OPSYS=linux; HEAP_SUFFIX=x86-linux
> unpacking run-time source files
> compiling the run-time system
> (make RUNTIME="run.x86-linux" VERSION="v-x86-linux" CC="gcc -ansi"
> CFLAGS="-O2" CPP="gcc -x c -E -P -ansi" TARGET=X86 DEFS=" -DHOST_X86
> -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE
> -DVREGS -DCALLEESAVE=3" XOBJS="" XLIBS="" LD_LIBS="" run.x86-linux)
> make[1]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/objs'
> (make MAKE="make" clean)
> make[2]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/objs'
> rm -f v-* run.* interactive-run \
> gen-sizes gen-offsets gen-regmask gen-bc-instr-def \
> gen-unix-signals gen-unix-sigtbl \
> ml-sizes.h reg-mask.h mlstate-offsets.h bc-instr-def.h \
> system-signals.h unix-sigtbl.c \
> *.o prim.s primops.s
> (cd ../memory; make MAKE="make" clean)
> make[3]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/memory'
> rm -f v-* *.o libmem.a
> make[3]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/memory'
> (cd ../c-libs; make MAKE="make" clean)
> make[3]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs'
> for dir in posix-os smlnj-runtime smlnj-signals smlnj-sockets smlnj-
> prof
> smlnj-time smlnj-date smlnj-math smlnj-mp posix-error posix-filesys
> posix-io
> posix-procenv posix-process posix-signal posix-sysdb posix-tty smlnj-
> ccalls;
> do \
> (cd $dir; echo "cleaning $dir"; make MAKE="make" clean) ; \
> done
> cleaning posix-os
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-os'
> rm -f v-* *.o libposix-os.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-os'
> cleaning smlnj-runtime
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-runtime'
> rm -f v-* *.o libsmlnj-runt.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-runtime'
> cleaning smlnj-signals
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-signals'
> rm -f v-* *.o libsmlnj-sig.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-signals'
> cleaning smlnj-sockets
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-sockets'
> rm -f v-* *.o libsmlnj-sock.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-sockets'
> cleaning smlnj-prof
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-prof'
> rm -f v-* *.o libsmlnj-prof.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-prof'
> cleaning smlnj-time
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-time'
> rm -f v-* *.o libsmlnj-time.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-time'
> cleaning smlnj-date
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-date'
> rm -f v-* *.o libsmlnj-date.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-date'
> cleaning smlnj-math
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-math'
> rm -f v-* *.o libsmlnj-math.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-math'
> cleaning smlnj-mp
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-mp'
> rm -f v-* *.o libsmlnj-mp.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-mp'
> cleaning posix-error
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-error'
> rm -f v-* *.o libposix-error.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-error'
> cleaning posix-filesys
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-filesys'
> rm -f v-* *.o ml_pathconf.h libposix-filesys.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-filesys'
> cleaning posix-io
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-io'
> rm -f v-* *.o libposix-io.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-io'
> cleaning posix-procenv
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-procenv'
> rm -f v-* *.o ml_sysconf.h libposix-procenv.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-procenv'
> cleaning posix-process
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-process'
> rm -f v-* *.o libposix-process.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-process'
> cleaning posix-signal
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-signal'
> rm -f v-* *.o libposix-signal.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-signal'
> cleaning posix-sysdb
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-sysdb'
> rm -f v-* *.o libposix-sysdb.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-sysdb'
> cleaning posix-tty
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-tty'
> rm -f v-* *.o libposix-tty.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-tty'
> cleaning smlnj-ccalls
> make[4]: Entering directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-ccalls'
> rm -f v-* *.o *.s libsmlnj-ccalls.a
> make[4]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-ccalls'
> rm -f v-* *.o
> make[3]: Leaving directory
> `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs'
> (cd ../gc; make MAKE="make" clean)
> make[3]: Entering directory `/home/kemu/Desktop/janus_110_2/src/
> runtime/gc'
> rm -f v-* *.o libgc.a libmp-gc.a
> make[3]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/
> runtime/gc'
> (cd ../mp; make MAKE="make" clean)
> make[3]: Entering directory `/home/kemu/Desktop/janus_110_2/src/
> runtime/mp'
> rm -f v-* *.o libmp.a
> make[3]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/
> runtime/mp'
> make[2]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/
> runtime/objs'
> echo "v-x86-linux" > v-x86-linux
> gcc -ansi -c -I../config -I../objs -I../include ../config/gen-common.c
> ../config/gen-common.c: In function ‘OpenFile’:
> ../config/gen-common.c:21: warning: incompatible implicit
> declaration of
> built-in function ‘exit’
> gcc -ansi -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -
> D_POSIX_SOURCE
> -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../config -I../objs -I../
> include -o
> gen-sizes ../config/gen-sizes.c gen-common.o
> ../config/gen-sizes.c: In function ‘main’:
> ../config/gen-sizes.c:62: warning: incompatible implicit declaration
> of
> built-in function ‘exit’
> ../config/gen-sizes.c:67: warning: incompatible implicit declaration
> of
> built-in function ‘exit’
> ../config/gen-sizes.c:71: warning: incompatible implicit declaration
> of
> built-in function ‘exit’
> ../config/gen-sizes.c:101: warning: incompatible implicit
> declaration of
> built-in function ‘exit’
> ../config/gen-sizes.c:136: warning: incompatible implicit
> declaration of
> built-in function ‘exit’
> ./gen-sizes
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/main.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> -I../c-libs ../c-libs/c-libraries.c
> ../c-libs/c-libraries.c: In function ‘InitCFunList’:
> ../c-libs/c-libraries.c:49: warning: incompatible implicit
> declaration of
> built-in function ‘sprintf’
> gcc -ansi -c -I../config -I../objs -I../include -DHOST_X86 -
> DTARGET_X86
> -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS
> -DCALLEESAVE=3 ../config/unix-signals.c
> ../config/unix-signals.c: In function ‘SortSignalTbl’:
> ../config/unix-signals.c:87: warning: incompatible implicit
> declaration of
> built-in function ‘malloc’
> gcc -ansi -I../config -I../objs -I../include -DHOST_X86 -DTARGET_X86
> -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS
> -DCALLEESAVE=3 -o gen-unix-signals ../config/gen-unix-signals.c
> unix-signals.o gen-common.o
> ../config/gen-unix-signals.c: In function ‘main’:
> ../config/gen-unix-signals.c:46: warning: incompatible implicit
> declaration
> of built-in function ‘exit’
> ./gen-unix-signals
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../c-libs/unix-raise-syserr.c
> ../c-libs/unix-raise-syserr.c: In function ‘RaiseSysError’:
> ../c-libs/unix-raise-syserr.c:60: warning: incompatible implicit
> declaration
> of built-in function ‘sprintf’
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/ml-options.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/new-boot.c
> ../kernel/new-boot.c: In function ‘BuildFileList’:
> ../kernel/new-boot.c:109: warning: incompatible implicit declaration
> of
> built-in function ‘strlen’
> ../kernel/new-boot.c: In function ‘LoadBinFile’:
> ../kernel/new-boot.c:239: warning: incompatible implicit declaration
> of
> built-in function ‘strlen’
> ../kernel/new-boot.c:268: warning: incompatible implicit declaration
> of
> built-in function ‘memcpy’
> ../kernel/new-boot.c: In function ‘EnterPerID’:
> ../kernel/new-boot.c:307: warning: incompatible implicit declaration
> of
> built-in function ‘memcpy’
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/load-ml.c
> gcc -ansi -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -
> D_POSIX_SOURCE
> -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../config -I../objs -I../
> include -o
> gen-regmask ../config/gen-regmask.c gen-common.o
> ../config/gen-regmask.c: In function ‘main’:
> ../config/gen-regmask.c:79: warning: incompatible implicit
> declaration of
> built-in function ‘exit’
> ./gen-regmask
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/run-ml.c
> ../kernel/run-ml.c: In function ‘RunML’:
> ../kernel/run-ml.c:157: warning: incompatible implicit declaration of
> built-in function ‘sprintf’
> ../kernel/run-ml.c: In function ‘UncaughtExn’:
> ../kernel/run-ml.c:286: warning: incompatible implicit declaration of
> built-in function ‘sprintf’
> ../kernel/run-ml.c:286: warning: format ‘%d’ expects type ‘int’, but
> argument 3 has type ‘long int’
> ../kernel/run-ml.c:290: warning: field precision should have type
> ‘int’, but
> argument 3 has type ‘long unsigned int’
> ../kernel/run-ml.c:303: warning: incompatible implicit declaration of
> built-in function ‘strlen’
> ../kernel/run-ml.c:304: warning: field precision should have type
> ‘int’, but
> argument 3 has type ‘long unsigned int’
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/globals.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/ml-state.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/error.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/timers.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/unix-timers.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/qualify-name.c
> ../kernel/qualify-name.c: In function ‘QualifyImageName’:
> ../kernel/qualify-name.c:19: warning: incompatible implicit
> declaration of
> built-in function ‘strlen’
> ../kernel/qualify-name.c:27: warning: incompatible implicit
> declaration of
> built-in function ‘strcat’
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../kernel/swap-bytes.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../mach-dep/unix-fault.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../mach-dep/signal-util.c
> gcc -ansi -I../config -I../objs -I../include -DHOST_X86 -DTARGET_X86
> -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS
> -DCALLEESAVE=3 -o gen-unix-sigtbl ../config/gen-unix-sigtbl.c unix-
> signals.o
> gen-common.o
> ../config/gen-unix-sigtbl.c: In function ‘main’:
> ../config/gen-unix-sigtbl.c:48: warning: incompatible implicit
> declaration
> of built-in function ‘exit’
> ./gen-unix-sigtbl
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../mach-dep/unix-signal.c
> gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX
> -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../
> include
> ../mach-dep/unix-prof.c
> gcc -ansi -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -
> D_POSIX_SOURCE
> -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../config -I../objs -I../
> include -o
> gen-offsets ../config/gen-offsets.c gen-common.o
> ../config/gen-offsets.c: In function ‘main’:
> ../config/gen-offsets.c:54: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:55: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:56: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:57: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:58: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:77: warning: format ‘%d’ expects type ‘int’,
> but
> argument 3 has type ‘long unsigned int’
> ../config/gen-offsets.c:84: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:90: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:96: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:97: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:98: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:99: warning: format ‘%d’ expects type ‘int’,
> but
> argument 4 has type ‘long unsigned int’
> ../config/gen-offsets.c:100: warning: format ‘%d’ expects type
> ‘int’, but
> argument 4 has type ‘long unsigned int’
> ./gen-offsets
> gcc -x c -E -P -ansi -D_ASM_ -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX
> -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3
> -I../bytecode -I../objs -I../include ../mach-dep/X86.prim.asm > prim.s
> ../mach-dep/X86.prim.asm:116:1: error: pasting "ML_X86Frame" and ":"
> does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:183:1: error: pasting "sigh_return_a" and
> ":" does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:194:1: error: pasting "sigh_resume" and ":"
> does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:205:1: error: pasting "pollh_return_a" and
> ":" does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:214:1: error: pasting "pollh_resume" and
> ":" does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:222:1: error: pasting "handle_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:228:1: error: pasting "return_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:240:1: error: pasting "request_fault" and
> ":" does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:249:1: error: pasting "bind_cfun_a" and ":"
> does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:256:1: error: pasting "build_literals_a"
> and ":"
> does not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:263:1: error: pasting "callc_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:270:1: error: pasting "set_request" and ":"
> does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:333:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:340:1: error: pasting "saveregs" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:457:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:461:1: error: pasting "restoreregs" and ":"
> does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:467:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:557:1: error: pasting "array_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:568:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:569:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:594:1: error: pasting "create_r_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:607:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:608:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:626:1: error: pasting "create_b_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:640:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:641:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:660:1: error: pasting "create_s_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:674:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:675:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:697:1: error: pasting "create_v_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:708:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:709:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:718:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> ../mach-dep/X86.prim.asm:735:1: error: pasting "try_lock_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:747:1: error: pasting "unlock_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:786:1: error: pasting "FPEEnable" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:804:1: error: pasting "fegetround" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:813:1: error: pasting "fesetround" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:826:1: error: pasting "savefpregs" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:832:1: error: pasting "restorefpregs" and
> ":" does
> not give a valid preprocessing token
> ../mach-dep/X86.prim.asm:841:1: error: pasting "floor_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:863:1: error: pasting "logb_a" and ":" does
> not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:880:1: error: pasting "scalb_a" and ":"
> does not
> give a valid preprocessing token
> ../mach-dep/X86.prim.asm:892:1: error: pasting "$" and "(" does not
> give a
> valid preprocessing token
> make[1]: *** [prim.o] Error 1
> make[1]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/
> runtime/objs'
> make: *** [all] Error 2
> !!! run-time system build failed for some reason
>
> --
> View this message in context: http://www.nabble.com/install-SML-NJ-110.0.7-in-Ubuntu-tp25690251p25690251.html
> Sent from the SML/NJ mailing list archive at Nabble.com.
>
>
> ------------------------------------------------------------------------------
> Come build with us! The BlackBerry® Developer Conference in SF, CA
> is the only developer event you need to attend this year. Jumpstart
> your
> developing skills, take BlackBerry mobile applications to market and
> stay
> ahead of the curve. Join us from November 9-12, 2009. Register
> now!
> http://p.sf.net/sfu/devconf
> _______________________________________________
> Smlnj-list mailing list
> Smlnj-list@...
> https://lists.sourceforge.net/lists/listinfo/smlnj-list

install SML/NJ 110.0.7 in Ubuntu

2009-09-30T15:33:06Z

Hi,

I am trying to install SML/NJ 110.0.7 (the current release version) in
Ubuntu 9.0.4. The cpu is AMD Athlon XP 2000+.

When I run install.sh, it yields the below error messages.
I assume that I should edit src/runtime/objs/mk.x86-linux, but
I do not know what I should change.

Any help is appreciated.

####################
$ config/install.sh
SML root is /home/kemu/Desktop/janus_110_2
installing version 110
creating /home/kemu/Desktop/janus_110_2/bin
creating /home/kemu/Desktop/janus_110_2/bin/.heap
creating /home/kemu/Desktop/janus_110_2/bin/.run
creating /home/kemu/Desktop/janus_110_2/lib
creating /home/kemu/Desktop/janus_110_2/src
/home/kemu/Desktop/janus_110_2/bin/.arch-n-opsys reports ARCH=x86; OPSYS=linux; HEAP_SUFFIX=x86-linux
unpacking run-time source files
compiling the run-time system
(make RUNTIME="run.x86-linux" VERSION="v-x86-linux" CC="gcc -ansi" CFLAGS="-O2" CPP="gcc -x c -E -P -ansi" TARGET=X86 DEFS=" -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3" XOBJS="" XLIBS="" LD_LIBS="" run.x86-linux)
make[1]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/objs'
(make MAKE="make" clean)
make[2]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/objs'
rm -f v-* run.* interactive-run \
gen-sizes gen-offsets gen-regmask gen-bc-instr-def \
gen-unix-signals gen-unix-sigtbl \
ml-sizes.h reg-mask.h mlstate-offsets.h bc-instr-def.h \
system-signals.h unix-sigtbl.c \
*.o prim.s primops.s
(cd ../memory; make MAKE="make" clean)
make[3]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/memory'
rm -f v-* *.o libmem.a
make[3]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/memory'
(cd ../c-libs; make MAKE="make" clean)
make[3]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs'
for dir in posix-os smlnj-runtime smlnj-signals smlnj-sockets smlnj-prof smlnj-time smlnj-date smlnj-math smlnj-mp posix-error posix-filesys posix-io posix-procenv posix-process posix-signal posix-sysdb posix-tty smlnj-ccalls; do \
(cd $dir; echo "cleaning $dir"; make MAKE="make" clean) ; \
done
cleaning posix-os
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-os'
rm -f v-* *.o libposix-os.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-os'
cleaning smlnj-runtime
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-runtime'
rm -f v-* *.o libsmlnj-runt.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-runtime'
cleaning smlnj-signals
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-signals'
rm -f v-* *.o libsmlnj-sig.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-signals'
cleaning smlnj-sockets
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-sockets'
rm -f v-* *.o libsmlnj-sock.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-sockets'
cleaning smlnj-prof
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-prof'
rm -f v-* *.o libsmlnj-prof.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-prof'
cleaning smlnj-time
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-time'
rm -f v-* *.o libsmlnj-time.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-time'
cleaning smlnj-date
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-date'
rm -f v-* *.o libsmlnj-date.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-date'
cleaning smlnj-math
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-math'
rm -f v-* *.o libsmlnj-math.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-math'
cleaning smlnj-mp
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-mp'
rm -f v-* *.o libsmlnj-mp.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-mp'
cleaning posix-error
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-error'
rm -f v-* *.o libposix-error.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-error'
cleaning posix-filesys
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-filesys'
rm -f v-* *.o ml_pathconf.h libposix-filesys.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-filesys'
cleaning posix-io
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-io'
rm -f v-* *.o libposix-io.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-io'
cleaning posix-procenv
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-procenv'
rm -f v-* *.o ml_sysconf.h libposix-procenv.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-procenv'
cleaning posix-process
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-process'
rm -f v-* *.o libposix-process.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-process'
cleaning posix-signal
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-signal'
rm -f v-* *.o libposix-signal.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-signal'
cleaning posix-sysdb
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-sysdb'
rm -f v-* *.o libposix-sysdb.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-sysdb'
cleaning posix-tty
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-tty'
rm -f v-* *.o libposix-tty.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/posix-tty'
cleaning smlnj-ccalls
make[4]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-ccalls'
rm -f v-* *.o *.s libsmlnj-ccalls.a
make[4]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs/smlnj-ccalls'
rm -f v-* *.o
make[3]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/c-libs'
(cd ../gc; make MAKE="make" clean)
make[3]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/gc'
rm -f v-* *.o libgc.a libmp-gc.a
make[3]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/gc'
(cd ../mp; make MAKE="make" clean)
make[3]: Entering directory `/home/kemu/Desktop/janus_110_2/src/runtime/mp'
rm -f v-* *.o libmp.a
make[3]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/mp'
make[2]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/objs'
echo "v-x86-linux" > v-x86-linux
gcc -ansi -c -I../config -I../objs -I../include ../config/gen-common.c
../config/gen-common.c: In function ‘OpenFile’:
../config/gen-common.c:21: warning: incompatible implicit declaration of built-in function ‘exit’
gcc -ansi -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../config -I../objs -I../include -o gen-sizes ../config/gen-sizes.c gen-common.o
../config/gen-sizes.c: In function ‘main’:
../config/gen-sizes.c:62: warning: incompatible implicit declaration of built-in function ‘exit’
../config/gen-sizes.c:67: warning: incompatible implicit declaration of built-in function ‘exit’
../config/gen-sizes.c:71: warning: incompatible implicit declaration of built-in function ‘exit’
../config/gen-sizes.c:101: warning: incompatible implicit declaration of built-in function ‘exit’
../config/gen-sizes.c:136: warning: incompatible implicit declaration of built-in function ‘exit’
./gen-sizes
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/main.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include -I../c-libs ../c-libs/c-libraries.c
../c-libs/c-libraries.c: In function ‘InitCFunList’:
../c-libs/c-libraries.c:49: warning: incompatible implicit declaration of built-in function ‘sprintf’
gcc -ansi -c -I../config -I../objs -I../include -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 ../config/unix-signals.c
../config/unix-signals.c: In function ‘SortSignalTbl’:
../config/unix-signals.c:87: warning: incompatible implicit declaration of built-in function ‘malloc’
gcc -ansi -I../config -I../objs -I../include -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -o gen-unix-signals ../config/gen-unix-signals.c unix-signals.o gen-common.o
../config/gen-unix-signals.c: In function ‘main’:
../config/gen-unix-signals.c:46: warning: incompatible implicit declaration of built-in function ‘exit’
./gen-unix-signals
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../c-libs/unix-raise-syserr.c
../c-libs/unix-raise-syserr.c: In function ‘RaiseSysError’:
../c-libs/unix-raise-syserr.c:60: warning: incompatible implicit declaration of built-in function ‘sprintf’
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/ml-options.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/new-boot.c
../kernel/new-boot.c: In function ‘BuildFileList’:
../kernel/new-boot.c:109: warning: incompatible implicit declaration of built-in function ‘strlen’
../kernel/new-boot.c: In function ‘LoadBinFile’:
../kernel/new-boot.c:239: warning: incompatible implicit declaration of built-in function ‘strlen’
../kernel/new-boot.c:268: warning: incompatible implicit declaration of built-in function ‘memcpy’
../kernel/new-boot.c: In function ‘EnterPerID’:
../kernel/new-boot.c:307: warning: incompatible implicit declaration of built-in function ‘memcpy’
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/load-ml.c
gcc -ansi -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../config -I../objs -I../include -o gen-regmask ../config/gen-regmask.c gen-common.o
../config/gen-regmask.c: In function ‘main’:
../config/gen-regmask.c:79: warning: incompatible implicit declaration of built-in function ‘exit’
./gen-regmask
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/run-ml.c
../kernel/run-ml.c: In function ‘RunML’:
../kernel/run-ml.c:157: warning: incompatible implicit declaration of built-in function ‘sprintf’
../kernel/run-ml.c: In function ‘UncaughtExn’:
../kernel/run-ml.c:286: warning: incompatible implicit declaration of built-in function ‘sprintf’
../kernel/run-ml.c:286: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘long int’
../kernel/run-ml.c:290: warning: field precision should have type ‘int’, but argument 3 has type ‘long unsigned int’
../kernel/run-ml.c:303: warning: incompatible implicit declaration of built-in function ‘strlen’
../kernel/run-ml.c:304: warning: field precision should have type ‘int’, but argument 3 has type ‘long unsigned int’
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/globals.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/ml-state.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/error.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/timers.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/unix-timers.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/qualify-name.c
../kernel/qualify-name.c: In function ‘QualifyImageName’:
../kernel/qualify-name.c:19: warning: incompatible implicit declaration of built-in function ‘strlen’
../kernel/qualify-name.c:27: warning: incompatible implicit declaration of built-in function ‘strcat’
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../kernel/swap-bytes.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../mach-dep/unix-fault.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../mach-dep/signal-util.c
gcc -ansi -I../config -I../objs -I../include -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -o gen-unix-sigtbl ../config/gen-unix-sigtbl.c unix-signals.o gen-common.o
../config/gen-unix-sigtbl.c: In function ‘main’:
../config/gen-unix-sigtbl.c:48: warning: incompatible implicit declaration of built-in function ‘exit’
./gen-unix-sigtbl
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../mach-dep/unix-signal.c
gcc -ansi -c -O2 -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../objs -I../include ../mach-dep/unix-prof.c
gcc -ansi -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../config -I../objs -I../include -o gen-offsets ../config/gen-offsets.c gen-common.o
../config/gen-offsets.c: In function ‘main’:
../config/gen-offsets.c:54: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:55: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:56: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:57: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:58: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:77: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘long unsigned int’
../config/gen-offsets.c:84: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:90: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:96: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:97: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:98: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:99: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
../config/gen-offsets.c:100: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘long unsigned int’
./gen-offsets
gcc -x c -E -P -ansi -D_ASM_ -DHOST_X86 -DTARGET_X86 -DOPSYS_UNIX -DOPSYS_LINUX -D_POSIX_SOURCE -D_BSD_SOURCE -DVREGS -DCALLEESAVE=3 -I../bytecode -I../objs -I../include ../mach-dep/X86.prim.asm > prim.s
../mach-dep/X86.prim.asm:116:1: error: pasting "ML_X86Frame" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:183:1: error: pasting "sigh_return_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:194:1: error: pasting "sigh_resume" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:205:1: error: pasting "pollh_return_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:214:1: error: pasting "pollh_resume" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:222:1: error: pasting "handle_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:228:1: error: pasting "return_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:240:1: error: pasting "request_fault" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:249:1: error: pasting "bind_cfun_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:256:1: error: pasting "build_literals_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:263:1: error: pasting "callc_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:270:1: error: pasting "set_request" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:333:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:340:1: error: pasting "saveregs" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:457:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:461:1: error: pasting "restoreregs" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:467:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:557:1: error: pasting "array_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:568:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:569:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:594:1: error: pasting "create_r_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:607:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:608:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:626:1: error: pasting "create_b_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:640:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:641:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:660:1: error: pasting "create_s_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:674:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:675:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:697:1: error: pasting "create_v_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:708:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:709:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:718:1: error: pasting "$" and "(" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:735:1: error: pasting "try_lock_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:747:1: error: pasting "unlock_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:786:1: error: pasting "FPEEnable" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:804:1: error: pasting "fegetround" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:813:1: error: pasting "fesetround" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:826:1: error: pasting "savefpregs" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:832:1: error: pasting "restorefpregs" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:841:1: error: pasting "floor_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:863:1: error: pasting "logb_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:880:1: error: pasting "scalb_a" and ":" does not give a valid preprocessing token
../mach-dep/X86.prim.asm:892:1: error: pasting "$" and "(" does not give a valid preprocessing token
make[1]: *** [prim.o] Error 1
make[1]: Leaving directory `/home/kemu/Desktop/janus_110_2/src/runtime/objs'
make: *** [all] Error 2
!!! run-time system build failed for some reason

HELP - Circularity

2009-09-30T05:26:17Z

Hi,

I am trying to run this program (sorry about the brackets :)

(((fn z => (fn x => (((z x) x) x)) (fn y => (( two (fn x => (y(x I))))five))) I) I)

where:
fun two f x = f(f x);
fun five f x = f(f(f(f(f x))));
fun I x = x;

I get this error:

operator and operand don't agree [circularity]
operator domain: ((('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
-> ('Z -> 'Z) -> 'Z -> 'Z)
-> ((('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
-> ('Z -> 'Z) -> 'Z -> 'Z)
-> ((('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
-> ('Z -> 'Z) -> 'Z -> 'Z)
-> 'Y
operand: ((('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
-> ('Z -> 'Z) -> 'Z -> 'Z)
-> (('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
-> ('Z -> 'Z) -> 'Z -> 'Z
in expression:
(fn z => (fn <rule>) (fn <rule>)) I
-------------------------------------------------------
Thank you

Re: Status of SML/NJ

2009-09-22T12:58:51Z

Gergely, thank you for your response.

> It is a language for message-passing (vs. shared memory) concurrency.
> There is a paper describing its implementation on multicore machines,
> "Parallel Concurrent ML", available at
>
> http://people.cs.uchicago.edu/~jhr/papers/cml.html
>
> And there is a book:
>
> http://books.google.hu/books?id=s309wPE2OoIC&pg=PR9&lpg=PR9&dq=reppy+concurrent+ml+book&source=bl&ots=uul25UWsPE&sig=G1kohiLaIEB__rEt2TifoD7RseA&hl=hu&ei=y_S3StqBJ5Kj_Aav97C_DQ&sa=X&oi=book_result&ct=result&resnum=5#v
> =onepage&q=&f=false

I ordered a copy .... ;-) Will the "Manticore Concepts" part of sml/nj
in the future or is it part of the "next reseach language"?
>
> I hope this helps. What would be your project?
>
Two years ago i got interested in arimaa board game and i thinking of
writing an arimaa bot (www.arimaa.com).
As a studend i spend much time in writing chess and chess-like games
(in modula-2) ....

Volkert

> - Gergely

--
www.nivoba.de
www.software-wartung.net

PGP-Key on request / PGP-Schlüssel auf Anfrage

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: Status of SML/NJ

2009-09-21T14:50:49Z

Dear Volkert,

I'm not the authorative person to answer your questions, but I can
answer some of them.

> - Is there a concurrency / multi-core support? I am not sure what "cml"
> exactly is.

It is a language for message-passing (vs. shared memory) concurrency.
There is a paper describing its implementation on multicore machines,
"Parallel Concurrent ML", available at

http://people.cs.uchicago.edu/~jhr/papers/cml.html

And there is a book:

http://books.google.hu/books?id=s309wPE2OoIC&pg=PR9&lpg=PR9&dq=reppy+concurrent+ml+book&source=bl&ots=uul25UWsPE&sig=G1kohiLaIEB__rEt2TifoD7RseA&hl=hu&ei=y_S3StqBJ5Kj_Aav97C_DQ&sa=X&oi=book_result&ct=result&resnum=5#v=onepage&q=&f=false

> - Is there some gui support? wxWindgets-Bindings oder Gtk-Bindings?

There is binding called mGtk but as far as I know it is not maintained.

> - Is there something like a http-server/client for sml/nj?
> - Is there database support? postgres or mysql?

http://www.elsman.com/padl2003.pdf
+
http://www.itu.dk/people/mael/smltojs/

Unfortunately smlserver.org does not work at the moment.

I hope this helps. What would be your project?

- Gergely

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Status of SML/NJ

2009-09-20T11:46:34Z

Dear SMLer,

it is more than 13 years ago that i used sml/nj i a research project. I was a student at that time and it was a great fun to work mit sml/nj. I now starting a long term "homegrew" project and i am not sure if i should give sml/nj a try or if i should go with some more "modern" and "active" languages like scala, haskell or erlang.

Here are some quesitions:

- Is there a concurrency / multi-core support? I am not sure what "cml" exactly is.
- Is there some gui support? wxWindgets-Bindings oder Gtk-Bindings?
- Is there some ssl support for socket communication.
- Is there something like a http-server/client for sml/nj?
- Is there database support? postgres or mysql?
- Will there a sml/nj compiler in 10 or 20 years?
- How large is the community?
- What are projects where sml/nj is used today?

Volkert

110.71 is released.

2009-09-18T14:41:40Z

Hi all,

I'm pleased to announce the release of SML/NJ 110.71. Feel free to get it here:

http://www.smlnj.org/dist/working/110.71/index.html

This version fixes the Snow Leopard build problems we were seeing,
among other bugs.

Thanks,
-Jon

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

First public release of ULTRA type error slicer for SML

2009-09-16T14:16:20Z

First public release of ULTRA type error slicer for SML

We are happy to announce the first public release of our type error
slicing software for the SML programming language.

All information can be found at this URL:

http://www.macs.hw.ac.uk/ultra/compositional-analysis/type-error-slicing/

The aim of our type error slicer is to provide useful type error
reports for pieces of code written in SML. Our type error slicer:

* Identifies all of the program points that contribute to a type
    error (including the spot with the actual programming error that
    caused the type error),
* Highlights these program points in the original, unchanged source
    code, and
* Avoids showing internal details of the operation of the type
    inference machinery.

At the URL mentioned above, you can find a compiled package of the
software that is ready to be used. The package contains:

* Installation instructions and an installation shell script.
* A compiled SML binary for Linux on the i386 architecture. We
    have tested this on CentOS 5.3, Fedora 7, Ubuntu 9.04 and
    Gentoo.
* Emacs Lisp code that extends GNU Emacs with commands that
    highlight source code with information about type error slices.
    We have tested this with GNU Emacs versions 22.1, 22.3 and 23.1.
* A 19 page user guide containing detailed explanations of how to
    use the software and interpret the type error slices.
* A very large number of sample test cases.

Known limitations:

* We have not yet built the software for other operating systems
    than Linux.
* The only currently supported user interface is via GNU Emacs (or
    our web demo).
* Some features of the SML language are not parsed (the user will be
    notified if this is the case), and some type errors are not yet
    discovered (the user will need to rely on their usual type checker
    in these cases). Notable spots where the implementation is
    incomplete are functors, overloading, equality types, and fixity
    declarations.
* The details of the SML basis library are woefully incomplete
    (fortunately the user can add any additional details they are
    using).
* The software does not currently scale well to very large programs
    (we are still improving this). It is currently suitable for small
    programs and use in teaching.
* We have some known issues with statuses of long identifiers
    and exceptions which yields wrong error reports.

There is also a web demonstration of the software with over 270 sample
test cases, so you can try without needing to install the software.

Best wishes,

Vincent Rahli and Joe Wells

Heriot-Watt University is a Scottish charity registered under charity number SC000278.

------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Smlnj-list mailing list
Smlnj-list@...
https://lists.sourceforge.net/lists/listinfo/smlnj-list

Re: save a list to a file

2009-09-09T05:32:16Z

There isn't any builtin mechanism for serializing data structures
to a file. For simple data, I usually write something by hand, but
for more complicated structures I use JSON files, which are supported
by the SML/NJ Library, or ASDL (http://sourceforge.net/projects/asdl/).

- John

On Sep 9, 2009, at 6:54 AM, Daniel Kirsten wrote:

> Hi,
>
> I want to save a list to a file. The list consists of tuples which
> consist of integers, booleans, and integer lists.
>
> I know from Ullman's book how to save simple values to a file.
> Well, I can write functions which save lists and tuples
> member by member, but this is a bit tedious.
>
> Is there a simple solution for this problem?
>
> Best regards, Daniel
>
> ------------------------------------------------------------------------------
> Let Crystal Reports handle the reporting - Free Crystal Reports 2008
> 30-Day
> trial. Simplify your report design, integration and deployment - and
> focus on
> what you do best, core application coding. Discover what's new with
> Crystal Reports now. http://p.sf.net/sfu/bobj-july
> _______________________________________________
> Smlnj-list mailing list
> Smlnj-list@...
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>

Nabble - SML/NJ

Re: Problems porting from old Compilation Manager

Re: Problems porting from old Compilation Manager

Re: Problems porting from old Compilation Manager

Re: Problems porting from old Compilation Manager

Re: Problems porting from old Compilation Manager

Problems porting from old Compilation Manager

Re: was profiling broken in 110.63.1?

Re: was profiling broken in 110.63.1?

was profiling broken in 110.63.1?

Release of version 0.4 of the ULTRA type error slicer for SML

Re: Go on using Ml-lex

Re: Go on using Ml-lex

Go on using Ml-lex

*** extended deadline: FLOPS 2010: Last Call for Papers ***

Re: 4X4 magic square?

Re: 4X4 magic square?

4X4 magic square?

modes of a list?

Re: exportFn and evalStream questions

Re: exportFn and evalStream questions

exportFn and evalStream questions

*** FLOPS 2010: Last Call for Papers ***

Re: HELP - Circularity

Re: install SML/NJ 110.0.7 in Ubuntu

Re: install SML/NJ 110.0.7 in Ubuntu

Re: install SML/NJ 110.0.7 in Ubuntu

Re: install SML/NJ 110.0.7 in Ubuntu

install SML/NJ 110.0.7 in Ubuntu

HELP - Circularity

Re: Status of SML/NJ

Re: Status of SML/NJ

Status of SML/NJ

110.71 is released.

First public release of ULTRA type error slicer for SML

Re: save a list to a file

* extended deadline: FLOPS 2010: Last Call for Papers *

* FLOPS 2010: Last Call for Papers *