Changes between Version 15 and Version 16 of ExplicitCallStack


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v15 v16  
    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 
    89    Constructors(K) --> k T1 .. Tn 
     89   Constructors(K) -->   k T1 .. Tn 
    9090 
    91    Types(T) --> f | a | T1 T2 
     91   Types(T)        -->   f | a | T1 T2 
     92 
     93   Expressions(E)  -->   x | k | E1 E2 | let D1 .. Dn in E | case E of A1 .. An | \y1 .. yn -> E 
     94 
     95   Alts(A)         -->   p -> E 
     96 
     97   Pats(P)         -->   x | k P1 .. Pn 
    9298}}} 
    9399