Thanks for reporting that. I've committed a fix and included your
example as a regression test.
David
Makarius wrote:
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, pr
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
http://lists.inf.ed.ac.uk/mailman/l
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.PrettyBre
