Changes between Version 13 and Version 14 of ExplicitCallStack


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