cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Add stateful pretty printer for references in REPL

Open ordinarymath opened this issue 4 months ago • 0 comments

When using the repl References are printed as <ref>

> val a = Ref 0;
val a = <ref>: int ref

Current implementation is here https://github.com/CakeML/cakeml/blob/5204d423c1b89d92a970f41f52da476d6cfb1e47/basis/pure/mlprettyprinterScript.sml#L217-L219 This should be what's printed instead

> val a = Ref 0;
val a = Ref 0: int ref

ordinarymath avatar Sep 05 '25 16:09 ordinarymath