I've uploaded version 5.4 to SourceForge and updated the web site.
Thanks to everyone for your bug reports and comments.
David
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Here is another thing that looks like a regression from Poly/ML 5.3.0.
datatype ('a, 'b) foo = Foo of 'a * 'b;
val _ =
PolyML.addPrettyPrinter (fn depth = fn (pretty1, pretty2) =
fn Foo (x, y) =
PolyML.PrettyBlock (2, false, [],
[PolyML.PrettyString Foo, PolyML.PrettyBreak
On Mon, 23 Aug 2010, Makarius wrote:
This crashes the RTS when trying to print Foo (1, a) for example.
Just for the record: this is SVN version 1193.
Makarius
___
polyml mailing list
polyml@inf.ed.ac.uk
Rob Arthan wrote:
Thanks for the clarification. In fact, I didn't explain myself very
well. What I meant was that as I have had problems of the sort
linking Poly/ML programs because I used cc rather than c++, I thought
it might be better to use c++ in the documentation throughout.
I think it
Rob Arthan wrote:
Matthew,
That looks suspiciously like the execute bit problem. Did you include
-segprot POLY rwx rwx
to the linker? See the last line of (the updated)
http://www.polyml.org/FAQ.html#standalone
On that point, I recall having some problems caused by using cc rather than
c++.
Matthew,
Thanks for reporting that. I've installed a fix; well more of a
work-around really and your example now compiles. I managed to reduce
it a few lines which are now in the regression test suite.
Regards,
David
Matthew Fluet wrote:
David,
Poly/ML 5.4 (SVN r1192) gives an
David,
With that change, I was able to successfully compile MLton with
Poly/ML; unfortunately, the PolyML.export-ed executable gives a Bus
error (on MacOSX (Snow Leopard)). I'll see if I get a different
result on Linux and if I can reduce the issue.
-Matthew
On Thu, Aug 19, 2010 at 6:00 AM,
MacOSX (Leopard) does not exhibit the same issue. Perhaps that
indicates a 32-bit vs. 64-bit issue?
-Matthew
On Thu, Aug 19, 2010 at 9:21 AM, Matthew Fluet matthew.fl...@gmail.com wrote:
David,
With that change, I was able to successfully compile MLton with
Poly/ML; unfortunately, the
Matthew,
That looks suspiciously like the execute bit problem. Did you include
-segprot POLY rwx rwx
to the linker? See the last line of (the updated)
http://www.polyml.org/FAQ.html#standalone
David
Matthew Fluet wrote:
David,
With that change, I was able to successfully compile MLton with
David,
On 19 Aug 2010, at 18:59, David Matthews wrote:
Matthew,
That looks suspiciously like the execute bit problem. Did you include
-segprot POLY rwx rwx
to the linker? See the last line of (the updated)
http://www.polyml.org/FAQ.html#standalone
On that point, I recall having some
10 matches
Mail list logo