[CakeML] Unimplemented cakeml operators?

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Sun Nov 8 15:55:09 UTC 2015

Hi Mike,

Sorry you've run into these issues. The first thing to say is that
documentation/reference.tex is not reliable documentation at all,
presently. I think Scott started working on it a while back, but
hasn't touched it in a long time, and it was never complete. The real
specification of the language is to be found in the semantics
directory (mostly in the lem files).

I guess you're using the version1 beta for testing? The other thing to
mention is that the semantics of version1 is slightly different from
the semantics of master, so be sure to check the semantics on the
correct branch.

As for the specific operators you mentioned, I think they will
probably all be present in version2, but that is currently under
development :)

Let me know if you have questions about the specification. Ideally we
would have a nice readable reference manual, but nobody has written it

On 8 November 2015 at 15:22, Michael Roe <mroe149233 at gmail.com> wrote:
> Hi,
> I think I've noticed some differences between the documentation of the
> CakeML langiage (in documentation/reference.tex) and what seems to be
> actually implemented.
> I'm not sure if these are documentation bugs, or if I'm doing something
> wrong.
> * <> isn't supported, but it is in the table of infix operators in
> reference.tex
> * List concatenation (@) doesn't seem to work as expected:
> [1]@[2];
> <type error>
> * Function composition (o) doesn't seem to work as expected:
> fun double(x) = x*2;
> val double:(<int>-><int>) = <fn>
> x o x;
> <type error>
> * "before" doesn't seem to work as expected
> val x = ref 0;
> val x:(<int>) <ref> = <ref>
> !x before x := 1;
> <type error>
> Best wishes,
> Mike
> _______________________________________________
> Users mailing list
> Users at cakeml.org
> https://lists.cakeml.org/listinfo/users

More information about the Users mailing list