Mercurial > urweb
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 |