Changes between Version 62 and Version 63 of ExplicitCallStack


Ignore:
Timestamp:
Feb 8, 2007 4:33:40 PM (7 years ago)
Author:
bjpop
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v62 v63  
    284284 
    285285{{{ 
    286 Declarations: 
     286Declarations (top level): 
    287287 
    288288   [[ x :: T ]]                       ==>   x :: Trace -> T     , x is function bound, and transformed for tracing 
     
    298298   [[ data f a1 .. an = K1 .. Km ]]   ==>   data f a1 .. an = K1 .. Km 
    299299 
     300Declarations (local): 
     301 
     302   [[ x = E ]]_t                      ==>   x = [[ E ]]_("x":t)  
     303 
     304   (all other local decls are the same as top level rules) 
     305 
    300306Expressions: 
    301307 
     
    308314   [[ E1 E2 ]]_t                      ==>   [[ E1 ]]_t [[ E2 ]]_t 
    309315 
    310    [[ let D1 .. Dn in E ]]_t          ==>   let [[ D1 ]] .. [[ Dn ]] in  [[ E ]]_t 
     316   [[ let D1 .. Dn in E ]]_t          ==>   let [[ D1 ]]_t .. [[ Dn ]]_t in  [[ E ]]_t 
    311317 
    312318   [[ case E of A1 .. An ]]_t         ==>   case [[ E ]]_t of [[ A1 ]]_t .. [[ An ]]_t