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 "}",