Changes between Version 16 and Version 17 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:31:47 PM (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v16 v17  
    8585 
    8686{{{ 
    87    Decls(D)        -->   x :: T | x = E | data f a1 .. an = K1 .. Km 
     87   Decls(D)        -->   x :: T   |   x = E   |  data f a1 .. an = K1 .. Km 
    8888 
    8989   Constructors(K) -->   k T1 .. Tn 
    9090 
    91    Types(T)        -->   f | a | T1 T2 
     91   Types(T)        -->   f   |   a   |  T1 T2 
    9292 
    93    Expressions(E)  -->   x | k | E1 E2 | let D1 .. Dn in E | case E of A1 .. An | \y1 .. yn -> E 
     93   Expressions(E)  -->   x   |   k   |   E1 E2   |   let D1 .. Dn in E   |   case E of A1 .. An   |  \y1 .. yn -> E 
    9494 
    9595   Alts(A)         -->   p -> E 
    9696 
    97    Pats(P)         -->   x | k P1 .. Pn 
     97   Pats(P)         -->   x   |  k P1 .. Pn 
    9898}}} 
    9999