comparison src/monoize.sml @ 1416:a8606c1cfe87

Fix monoization of sql_relop (grandfathered into release!)
author Adam Chlipala <adam@chlipala.net>
date Sun, 23 Jan 2011 15:49:35 -0500
parents 5f4fee8a4dcd
children 3dab4696d116
comparison
equal deleted inserted replaced
1415:e65082d76d26 1416:a8606c1cfe87
2556 | L.ECApp ( 2556 | L.ECApp (
2557 (L.ECApp ( 2557 (L.ECApp (
2558 (L.ECApp ( 2558 (L.ECApp (
2559 (L.ECApp ( 2559 (L.ECApp (
2560 (L.ECApp ( 2560 (L.ECApp (
2561 (L.EFfi ("Basis", "sql_relop"), _), 2561 (L.ECApp (
2562 (L.EFfi ("Basis", "sql_relop"), _),
2563 _), _),
2562 _), _), 2564 _), _),
2563 _), _), 2565 _), _),
2564 _), _), 2566 _), _),
2565 _), _), 2567 _), _),
2566 _) => 2568 _) =>