[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