Skip to content

Instantly share code, notes, and snippets.

@rsimoes

rsimoes/uni_charassign.dats

Created December 13, 2011 09:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rsimoes/1471389 to your computer and use it in GitHub Desktop.
Save rsimoes/1471389 to your computer and use it in GitHub Desktop.
Download ZIP
unicode character assignment in ATS
Raw
uni_charassign.dats
val foo = '€';
implement main () = ()
(*
rsimoes@desktop:~/scratch/ats$ atscc uni_charsassign.dats
/usr/lib/ats-anairiats-0.2.5/bin/atsopt --output uni_charsassign_dats.c --dynamic uni_charsassign.dats
/home/rsimoes/scratch/ats/uni_charsassign.dats: LEXING ERROR: illegal character at [11(line=1, offs=11)] is unclosed!
exit(ATS): uncaught exception: _2fhome_2ffac2_2fhwxi_2fresearch_2fATS_2fIMPLEMENT_2fGeizella_2fAnairiats_2fsvn_2fats_2dlang_2fsrc_2flibats_lex_lexing_2esats__LexingErrorException(1235)
exit(ATS): [ccomp_file_to_file(uni_charsassign.dats, uni_charsassign_dats.c)] failed
*)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment