#125 (May 27, 2020, 9:26:42 AM)

Started 5 yr 3 mo ago

Took 41 min on olive

	Started by GitHub push by gasche
	Revision: e68b75eb823c27894c5a2fcf30f1166029abffb1 Repository: https://github.com/ocaml/ocaml origin/trunk

Changes

matching: use constructor descriptions instead of tags as matching keys (commit: d333ac8) (details / githubweb)
Matching: propagate constructor descriptions in complete_pats_constrs (commit: bf95a24) (details / githubweb)