Changes between Version 16 and Version 17 of ExplicitCallStack


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