Changeset 907 for src/ASM/Util.ma


Ignore:
Timestamp:
Jun 8, 2011, 6:15:26 PM (9 years ago)
Author:
boender
Message:
  • added quadruples to Util
  • start of implementation of new jump expansion policy
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r900 r907  
    189189interpretation "Triple construction" 'triple x y z = (pair ? ? (pair ? ? x y) z).
    190190
     191notation "hvbox(\langle term 19 a, break term 19 b, break term 19 c, break term 19 d\rangle)"
     192with precedence 90 for @{ 'quadruple $a $b $c $d}.
     193interpretation "Quadruple construction" 'quadruple w x y z = (pair ? ? (pair ? ? w x) (pair ? ? y z)).
     194
     195notation > "hvbox('let' 〈ident w,ident x,ident y,ident z〉 ≝ t 'in' s)"
     196 with precedence 10
     197for @{ match $t with [ pair ${fresh wx} ${fresh yz} ⇒ match ${fresh wx} with [ pair ${ident w} ${ident x} ⇒ match ${fresh yz} with [ pair ${ident y} ${ident z} ⇒ $s ] ] ] }.
     198
    191199notation > "hvbox('let' 〈ident x,ident y,ident z〉 ≝ t 'in' s)"
    192200 with precedence 10
Note: See TracChangeset for help on using the changeset viewer.