Changes between Initial Version and Version 1 of Ticket #3920


Ignore:
Timestamp:
2016-05-19T14:02:19Z (9 years ago)
Author:
Vitalij Ruge
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #3920 – Description

    initial v1  
    22{{{
    33   case(e1 as X(), e2 as Y() )
     4   guard
     5     ...
     6   equation
     7     ...
    48     then f(e1,e2)
    59   case(e2 as Y(), e1 as X())
     10   guard
     11     ...
     12   equation
     13     ...
    614     then f(e1,e2)
    715}}}
    … …  
    1119   case(e1 as X(), e2 as Y()) /*key-word?*/
    1220   case(e2 as Y(), e1 as X())
     21   guard
     22     ...
     23   equation
     24     ...
    1325     then f(e1,e2)
    1426}}}