[CakeML-dev] New string/bytearray operations

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Tue Mar 14 05:52:17 UTC 2017


Hi all,

I've started adding string/bytearray conversion and concatenation
primitives (issues 244 and 245). Before getting too deep into updating
the compiler etc., may I request a review of the semantics? Here they
are:

https://github.com/CakeML/cakeml/commit/67dd15bbd03f516be618ba72f1d56a2764209263

I noticed that v_to_char_list might be better as vs_to_char_list, to
be run after v_to_list (rather than duplicating its
list-deconstruction functionality). But I leave such refactoring for
another time.

Cheers,
Ramana



More information about the Developers mailing list