comparison src/monoize.sml @ 490:366676f7bc88

More ThreadedBlog progress
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 16:27:51 -0500
parents 20fab0e96217
children ae03d09043c1
comparison
equal deleted inserted replaced
489:463dad880470 490:366676f7bc88
404 {disc = tAll, 404 {disc = tAll,
405 result = (L'.TFfi ("Basis", "string"), loc)}), loc), 405 result = (L'.TFfi ("Basis", "string"), loc)}), loc),
406 fm) 406 fm)
407 end 407 end
408 408
409 | _ => (E.errorAt loc "Don't know how to encode attribute type"; 409 | _ => (E.errorAt loc "Don't know how to encode attribute/URL type";
410 Print.eprefaces' [("Type", MonoPrint.p_typ MonoEnv.empty tAll)]; 410 Print.eprefaces' [("Type", MonoPrint.p_typ MonoEnv.empty tAll)];
411 (dummyExp, fm)) 411 (dummyExp, fm))
412 in 412 in
413 fooify 413 fooify
414 end 414 end