Changeset 2861


Ignore:
Timestamp:
Mar 13, 2013, 1:15:31 PM (4 years ago)
Author:
mckinna
Message:

PROVISIONAL commit:

Unintentional list reversal cause final step of translate_data to fail???

I inserted a change step to clarify the problem.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLToERTL.ma

    r2806 r2861  
    313313  try #a try #b try #c try #d try #e try #f destruct
    314314  cases a in b; #a1 #a2 normalize nodelta #EQ destruct
    315 | #r1 #r2 #r3 #r4 #r5 #r6 #r7 #r8 #ral #rah #tmpr #addr1 #addr2 %
     315| #r1 #r2 #r3 #r4 #r5 #r6 #r7 #r8 #ral #rah #tmpr #addr1 #addr2
     316change with (? = ?)
     317% (* XXX: FAILS, unintentional list reversal??? *)
    316318]
    317319(* #l *
Note: See TracChangeset for help on using the changeset viewer.