Changeset 856 for src/ASM/Interpret.ma


Ignore:
Timestamp:
May 30, 2011, 1:44:45 PM (9 years ago)
Author:
sacerdot
Message:
  1. if_then_else is now a notation for match with (to allow Russell to work better)
  2. notation for destructuring let fixed to work in pretty printing mode too
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r843 r856  
    505505        ].
    506506    try assumption
    507     try (
    508       normalize
    509       repeat (@ (le_S_S))
    510       @ (le_O_n)
    511     )
     507    try @I
    512508    try (
    513509      @ (execute_1_technical … (subaddressing_modein …))
    514       @ I
    515     )
    516     try (
    517       normalize
    518510      @ I
    519511    )
Note: See TracChangeset for help on using the changeset viewer.