[CakeML] translator

Yong Kiam Tan tanyongkiam at gmail.com
Thu Aug 13 02:45:03 UTC 2015


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/20150813/7c6e5feb/attachment.html>


More information about the Users mailing list