Files @ 20e64ced68b1
Branch filter:

Location: CSY/reowolf/testdata/parser/negative/23.txt - annotation

Christopher Esterhuyse
reversed a predicate simplification; turns out to break the mutual inconsistency property of native branches in some corner cases where 3+ branches have colliding predicates
1
2
3
Parse error at 23.pdl:13:7: Unresolved label
	goto unreach;
	     ^