[CakeML] Unimplemented cakeml operators?

[Michael Roe]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20151108/e8467608/attachment.html>