comparison src/jscomp.sml @ 1446:36f7d1debb37

Each context gets its own non-repeating sequence of source numbers
author Adam Chlipala <adam@chlipala.net>
date Sat, 09 Apr 2011 14:36:47 -0400
parents 6e6f1643c4e9
children 290de2dcecf6
comparison
equal deleted inserted replaced
1445:6e6f1643c4e9 1446:36f7d1debb37
89 | TRecord [] => true 89 | TRecord [] => true
90 | _ => false 90 | _ => false
91 91
92 fun quoteExp loc (t : typ) (e, st) = 92 fun quoteExp loc (t : typ) (e, st) =
93 case #1 t of 93 case #1 t of
94 TSource => (strcat loc [str loc "s", 94 TSource => ((EFfiApp ("Basis", "htmlifySource", [e]), loc), st)
95 (EFfiApp ("Basis", "htmlifyInt", [e]), loc)], st)
96 95
97 | TRecord [] => (str loc "null", st) 96 | TRecord [] => (str loc "null", st)
98 | TRecord [(x, t)] => 97 | TRecord [(x, t)] =>
99 let 98 let
100 val (e, st) = quoteExp loc t ((EField (e, x), loc), st) 99 val (e, st) = quoteExp loc t ((EField (e, x), loc), st)