Mercurial > urweb
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) |