Mercurial > urweb

comparison src/monoize.sml @ 325:e457d8972ff1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud listing IDs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 17:41:52 -0400
parents a07f476d9b61
children e976b187d73a
comparison
equal deleted inserted replaced
324:b91480c9a729 325:e457d8972ff1
1370 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); 1370 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
1371 raise Fail "No name passed to lselect tag")) 1371 raise Fail "No name passed to lselect tag"))
1372 1372
1373 | "loption" => normal ("option", NONE) 1373 | "loption" => normal ("option", NONE)
1374 1374
1375 | "tabl" => normal ("table", NONE)
1375 | _ => normal (tag, NONE) 1376 | _ => normal (tag, NONE)
1376 end 1377 end
1377 1378
1378 | L.EApp ((L.ECApp ( 1379 | L.EApp ((L.ECApp (
1379 (L.ECApp ((L.EFfi ("Basis", "lform"), _), _), _), 1380 (L.ECApp ((L.EFfi ("Basis", "lform"), _), _), _),