67 |
fun char(err,s,pos) = |
fun char(err,s,pos) = |
68 |
CHAR(check(err,pos,s,Char.fromString(String.substring(s,2,String.size s-3))), |
CHAR(check(err,pos,s,Char.fromString(String.substring(s,2,String.size s-3))), |
69 |
pos,pos + size s) |
pos,pos + size s) |
70 |
|
fun transAsm s = |
71 |
|
let fun loop(#"\\" :: #"<" ::s) = #"<"::loop s |
72 |
|
| loop(#"\\" :: #">" ::s) = #">"::loop s |
73 |
|
| loop(c::s) = c::loop s |
74 |
|
| loop [] = [] |
75 |
|
in String.implode(loop(String.explode s)) |
76 |
|
end |
77 |
|
|
78 |
fun asmtext(err,s,pos) = |
fun asmtext(err,s,pos) = |
79 |
ASMTEXT(check(err,pos,s,String.fromString s),pos,pos + size s) |
ASMTEXT(check(err,pos,s,String.fromString(transAsm s)),pos,pos + size s) |
80 |
|
|
81 |
infix $$ |
infix $$ |
82 |
fun x $$ y = y :: x |
fun x $$ y = y :: x |
236 |
char=#\"([^\\\n\t"]|\\.)*\"; |
char=#\"([^\\\n\t"]|\\.)*\"; |
237 |
sym1=(\-|[=\.+~/*:!@#$%^&*|?])+; |
sym1=(\-|[=\.+~/*:!@#$%^&*|?])+; |
238 |
sym2=`+|'+|\<+|\>+|\=\>|~\>\>; |
sym2=`+|'+|\<+|\>+|\=\>|~\>\>; |
239 |
asmsymbol={sym1}|{sym2}; |
sym3=\\.; |
240 |
|
asmsymbol={sym1}|{sym2}|{sym3}; |
241 |
symbol=(\-|[=+~/*:!@#$%^&*|?<>])+|``|''; |
symbol=(\-|[=+~/*:!@#$%^&*|?<>])+|``|''; |
242 |
asmtext=([^\n\t<>']+|'); |
asmtext=([^\n\t<>']+|'); |
243 |
inf=i; |
inf=i; |