[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


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.


More information about the Developers mailing list