comparison src/cjr_print.sml @ 244:71bafe66dbe1

Laconic -> Ur
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:32:18 -0400
parents 5dbba661deab
children fac9fae654e2
comparison
equal deleted inserted replaced
243:2b9dfaffb008 244:71bafe66dbe1
1143 box [string "#include <stdio.h>", 1143 box [string "#include <stdio.h>",
1144 newline, 1144 newline,
1145 string "#include <stdlib.h>", 1145 string "#include <stdlib.h>",
1146 newline, 1146 newline,
1147 newline, 1147 newline,
1148 string "#include \"lacweb.h\"", 1148 string "#include \"urweb.h\"",
1149 newline, 1149 newline,
1150 newline, 1150 newline,
1151 p_list_sep newline (fn x => x) pds, 1151 p_list_sep newline (fn x => x) pds,
1152 newline, 1152 newline,
1153 string "int lw_inputs_len = ", 1153 string "int lw_inputs_len = ",