Louis Gesbert 9ef8625df7 Compiler: support cumulative exceptions ... Closes #208 (implementing Solution 1, without adding an explicit syntax) Two exceptions or more, e.g. `(j1 |- c1)` and `(j2 |- c2)` such that `c1 = c2`, are collapsed by this transformation into `((j1 |- c1) | j2 |- c2)`, introducing an arbitrary precedence that avoids the conflict. The transormation is not applied if any exceptions apply to the subterms themselves: while these exceptions could be merged, that would turn more conflicts into arbitrary outcomes than wanted.		2022-05-30 14:22:34 +02:00
..
bad	Compiler: support cumulative exceptions	2022-05-30 14:22:34 +02:00
good	Compiler: support cumulative exceptions	2022-05-30 14:22:34 +02:00