[CakeML] translator

[Scott Owens]

We could add syntax to allow primitives to be used directly in source code. Something like (`app + x y).

Then you’d have

let val op + = op - in
  2 + 1
end

is 1, but

let val op + = op - in
  `app + 2 1
end

would still be 3.

-Scott

> On 2015/08/13, at 03:45, 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).
> 
> _______________________________________________
> Users mailing list
> Users at cakeml.org
> https://lists.cakeml.org/listinfo/users