Changes between Version 15 and Version 16 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:17:17 PM (9 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