Changes between Version 62 and Version 63 of ExplicitCallStack


Ignore:
Timestamp:
Feb 8, 2007 4:33:40 PM (9 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