[CakeML] translator

[Konrad Slind]

Thanks Yong Kiam,

  I will try this tomorrow.

Konrad.


On Wed, Aug 12, 2015 at 9:45 PM, Yong Kiam Tan <tanyongkiam at gmail.com>
wrote:

> Replying to both emails here:
>
> 1) print_asts:=true should work (and has semicolons now) -- I tried it,
> but let me know if it doesn't work for you
>
> 2) The regexp data type parses fine for me (but gives a type error?).
>
> 3) I'll add a more permanent solution to the pretty printer for all the
> built-in ops that aren't being pretty printed at the moment but they'll
> probably just be special case rules (I originally wrote the pretty printer
> assuming the input was coming from the parser, which doesn't generate
> primitives).
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20150812/90bac543/attachment.html>