Changeset 790 for src/Cminor/toRTLabs.ma

Timestamp:

May 10, 2011, 5:50:09 PM (10 years ago)

Author:

campbell

Message:

A little tidying: get rid of requirement for jmeq in Mem.ma, remove extra case
in Cminor -> RTLabs.

File:

• src/Cminor/toRTLabs.ma (modified) (1 diff)

src/Cminor/toRTLabs.ma

@@ -320 +320 @@
     do f ← add_stmt env label_env s' exits ptrs f;
     add_fresh_to_graph (St_cost l) f
-| _ ⇒ Error ? (* XXX implement *)
 ].
 [ @(λ_. St_skip l_next)