Changeset 856 for src/ASM/Fetch.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/Fetch.ma

    r820 r856  
    2929           let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (MOV … (inl … (inl … (inl … (inr … 〈DIRECT b1,ACC_A〉))))), pc〉, 1〉
    3030          else
    31            〈〈CPL … ACC_A, pc〉, 1〉
     31           〈〈RealInstruction (CPL … ACC_A), pc〉, 1〉
    3232        else
    3333         let 〈b,v〉≝  head … v in if b then
Note: See TracChangeset for help on using the changeset viewer.