Add support for congruences

joaoraf / kiama

Automatically exported from code.google.com/p/kiama

GNU Lesser General Public License v3.0

7 stars 2 forks source link

Add support for congruences #39

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

Congruences in Stratego allow you to write things like App (d, e) to pattern 
match on App's, apply d 
to the first component and e to the second component, failing if either d or e 
fail.

Add a generic congruence combinator that gets us as far as we can to having 
this notation for 
Kiama.

Original issue reported on code.google.com by inkytonik on 17 Nov 2009 at 2:20

GoogleCodeExporter commented 9 years ago

Original comment by inkytonik on 19 Nov 2009 at 2:24

Added labels: Milestone-Release1.0
Removed labels: Milestone-Release1.1

GoogleCodeExporter commented 9 years ago

Done (r8cd329f131).  Now have generic congruences operator.  User must write a 
type-specific entry point.

Original comment by inkytonik on 24 Nov 2009 at 12:44

Changed state: Resolved