Changes between Version 23 and Version 24 of ExplicitCallStack
 Timestamp:
 Jan 29, 2007 4:51:22 PM (10 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

ExplicitCallStack
v23 v24 128 128 129 129 {{{ 130 [[ x :: T ]] ==> x :: Trace > T , if x is a function binding 130 Declarations: 131 132 [[ x :: T ]] ==> x :: Trace > T , if x is a function binding 131 133 132 [[ x :: T ]] ==> x :: T , is x is a CAF binding134 [[ x :: T ]] ==> x :: T , is x is a CAF binding 133 135 134 136 [[ x = \y1 .. yn > E ]] ==> x = \t y1 .. yn > [[ E ]]_("x":t) 137 138 Expressions: 139 140 [[ x ]]_t ==> x , if x is either lambda bound, or a CAF. 141 142 [[ x ]]_t ==> x t , if f is function bound 143 144 [[ k ]]_t ==> k 145 146 [[ E1 E2 ]]_t ==> [[ E1 ]] [[ E2 ]] 147 148 [[ let D1 .. Dn in E ]]_t ==> let [[ D1 ]] .. [[ Dn ]] in [[ E ]]_t 149 150 [[ case E of A1 .. An ]]_t ==> case [[ E ]]_t of [[ A1 ]]_t .. [[ An ]]_t 151 152 [[ \y1 .. yn > E ]]_t ==> \y1 .. yn > [[ E ]]_t 153 154 Alternatives: 155 156 [[ p > E ]]_t ==> p > [[ E ]]_t 135 157 }}} 136 158