Idris-dev/test/basic013
Edwin Brady c4132807f0 String in C is now UTF8 encoded
Primitives for head/tail/index/cons/reverse/length now all assume the
char* is UTF8 encoded.  Also updated generation of literals to encode as
UTF8.  Primitives are probably not as efficient as they could be (though
some of the will be used rarely)

ASCII strings will work exactly as before.

Everything I know about UTF8 encoding has been learned in the past few
hours. Therefore, this is unlikely to be the best way to do this. Please
educate me, ideally in the form of annotated Pull Requests :).
2015-03-28 17:13:59 +00:00
..
basic013.idr String in C is now UTF8 encoded 2015-03-28 17:13:59 +00:00
expected String in C is now UTF8 encoded 2015-03-28 17:13:59 +00:00
run String in C is now UTF8 encoded 2015-03-28 17:13:59 +00:00