Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Parmatch.exhaust: single-row optimization (commit: a3b66f1) (details)
Commit a3b66f1b32ef4b3b69524145043f6a8dc6063382 by gabriel.scherer
Parmatch.exhaust: single-row optimization

(See testsuite and code comments for an explanation.)
 (commit: a3b66f1)
The file was modifiedChanges (diff)
The file was modifiedtestsuite/tests/typing-warnings/exhaustiveness.ml (diff)
The file was modifiedtyping/parmatch.ml (diff)