Mercurial > urweb
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 = ", |