[isabelle] Conversion Scala Char to Isabelle chars




Dear all Isabelle users,


I am using Isabelle code generation towards Scala and my Isabelle code is using strings, i.e. lists of chars. However, in the generated code I only have Isabelle representation of chars using couple of hexadecimal numbers (am I right ?) but no function to convert Scala chars to an Isabelle one...

Is there something that I missed somewhere or do I have to write it by hand?

Thanks in advance,

Thomas
--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet at irisa.fr
http://www.irisa.fr/celtique/genet





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.