Irvin

Most of it can be done by using TypeBase.case_eq_of or using the sml bindings.

When using the repl References are printed as `` ``` > val a = Ref 0; val a = : int ref ``` Current implementation is here https://github.com/CakeML/cakeml/blob/5204d423c1b89d92a970f41f52da476d6cfb1e47/basis/pure/mlprettyprinterScript.sml#L217-L219 This should...

See https://smlfamily.github.io/Basis/option.html#SIG:OPTION.filter:VAL

See https://smlfamily.github.io/Basis/char.html#SIG:CHAR.toString:VAL and https://smlfamily.github.io/Basis/string.html#SIG:STRING.toString:VAL

Implement resizable stack

1

This issue is about implementing a resizable stack for CakeML. Currently CakeML's stack size is determined at initial runtime.

Isabelle's afp has a version of the CakeML semantics but that's based on old lem semantics. This issue is about creating a updated version of the semantics. It should be...

This issue is about adding support for record selector syntax for CakeML tuples. i.e. ```#1 (a,b)```. The main difficulty in implementing it is such that if a fixed tuple type...

This issue would consist of adding sml style records to CakeML.