<div dir="ltr"><div><div><div><div><div>Hi,<br><br></div>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.<br><br></div>I'm not sure if these are documentation bugs, or if I'm doing something wrong.<br><br></div>* <> isn't supported, but it is in the table of infix operators in reference.tex<br><br></div>* List concatenation (@) doesn't seem to work as expected:<br>[1]@[2];<br><type error><br><br></div>* Function composition (o) doesn't seem to work as expected:<br>fun double(x) = x*2;<br><div>val double:(<int>-><int>) = <fn><br>x o x;<br><type error><br><br></div><div>* "before" doesn't seem to work as expected<br>val x = ref 0;<br>val x:(<int>) <ref> = <ref><br>!x before x := 1;<br><type error><br><br></div><div>Best wishes,<br></div><div>Mike<br></div></div>