[CakeML] Build problems

Lars Hupel hupel at in.tum.de
Mon Apr 3 12:28:07 UTC 2017

Dear Magnus,

> Would the bootstrapped compiler work for you? The bootstrapped
> compiler runs from the Unix command line just like any compiler (e.g.
> gcc). You might want to use it through the s-expression parser rather
> than the usual parser which parses SML syntax, because it easier to
> pretty print to s-expressions in a way that will be parsed to exactly
> the same AST.

sounds useful. Is there any documentation or an example of this input
format? How can I build the bootstrapped compiler?


More information about the Users mailing list