Mercurial > urweb
comparison src/cjr_print.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 | 6064ddd90ca6 |
children | b6ce8ef0ea88 |
comparison
equal
deleted
inserted
replaced
1445:6e6f1643c4e9 | 1446:36f7d1debb37 |
---|---|
2721 :: ListUtil.mapi (fn (i, _) => string ("arg" ^ Int.toString i)) ts), | 2721 :: ListUtil.mapi (fn (i, _) => string ("arg" ^ Int.toString i)) ts), |
2722 inputsVar, | 2722 inputsVar, |
2723 string ", 0);", | 2723 string ", 0);", |
2724 newline, | 2724 newline, |
2725 box (case ek of | 2725 box (case ek of |
2726 Core.Rpc _ => [urlify env ran] | 2726 Core.Rpc _ => [string "uw_write(ctx, uw_get_real_script(ctx));", |
2727 newline, | |
2728 string "uw_write(ctx, \"\\n\");", | |
2729 newline, | |
2730 urlify env ran] | |
2727 | _ => [string "uw_write(ctx, \"</html>\");", | 2731 | _ => [string "uw_write(ctx, \"</html>\");", |
2728 newline]), | 2732 newline]), |
2729 string "return;", | 2733 string "return;", |
2730 newline, | 2734 newline, |
2731 string "}", | 2735 string "}", |