Changes

Summary

Remove leftover hacks for handling pattern constraints (commit: 058b5a7) (details)
Changes (commit: 427de92) (details)
Add test (commit: af3d875) (details)

Commit 058b5a7dbbe4210f5ab36825d2ebd9f7ae6bbbbb by vincent.laviron Remove leftover hacks for handling pattern constraints (commit: 058b5a7)
The file was modified	typing/untypeast.ml (diff)
The file was modified	typing/typecore.ml (diff)
The file was modified	lambda/matching.ml (diff)
Commit 427de92544c7ddf655010f9afb702f26ff4a0862 by vincent.laviron Changes (commit: 427de92)
The file was modified	Changes (diff)
Commit af3d875bbf7d32fb3010e4cd363ac92f86ded31b by vincent.laviron Add test (commit: af3d875)
The file was modified	testsuite/tests/typing-misc/typecore_errors.ml (diff)