Re: [polyml] Poly/ML 5.4

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

Re: [polyml] Poly/ML 5.4

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