blob: f238086633b01a5f5df613d7ecae0788b5950bd9 (
plain)
1
2
3
4
5
|
(* DO NOT MODIFY THIS FILE DIRECTLY *)
(* It is autogenerated by dev/tools/update-compat.py. *)
Check match 2 with 0 => 0 | S n => n end.
Notation "|" := 1 (compat "8.8").
Check match 2 with 0 => 0 | S n => n end. (* fails *)
|
