Changes between Version 13 and Version 14 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:13:37 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v13 v14  
    8585
    8686{{{
    87    Decls --> x :: T | x = E | data f a1 .. an = K1 .. Km
     87   Decls(D) --> x :: T | x = E | data f a1 .. an = K1 .. Km
     88
     89   Constructors(K) --> k T1 .. Tn
     90
     91   Types(T) --> f | a | T1 T2
    8892}}}
    8993