comparison src/cjr_print.sml @ 433:659c17441250

Switch exit(1) call to uw_error()
author Adam Chlipala <adamc@hcoop.net>
date Mon, 27 Oct 2008 08:16:19 -0400
parents 5de838fb0950
children 1c27f03d9bd2
comparison
equal deleted inserted replaced
432:5de838fb0950 433:659c17441250
1843 string f, 1843 string f,
1844 string "input(ctx, ", 1844 string "input(ctx, ",
1845 string (Int.toString n), 1845 string (Int.toString n),
1846 string ");", 1846 string ");",
1847 newline, 1847 newline,
1848 string "if (request == NULL) {", 1848 string "if (request == NULL)",
1849 newline, 1849 newline,
1850 box [string "printf(\"Missing input ", 1850 box [string "uw_error(ctx, FATAL, \"Missing input ",
1851 string x, 1851 string x,
1852 string "\\n\");", 1852 string "\");"],
1853 newline,
1854 string "exit(1);"],
1855 newline,
1856 string "}",
1857 newline, 1853 newline,
1858 string "uw_input_", 1854 string "uw_input_",
1859 p_ident x, 1855 p_ident x,
1860 space, 1856 space,
1861 string "=", 1857 string "=",