Skip to content
Success

Changes

Summary

  1. Recognize %identity as nonexpansive (#14029) (details)
Commit 57fcefed333210bf441bba0f1eaf592c623ca61f by noreply
Recognize %identity as nonexpansive (#14029)

Co-authored-by: Stephen Dolan <sdolan@janestreet.com>
The file was addedtestsuite/tests/typing-misc/magic_is_a_value.ml
The file was modifiedtyping/typecore.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedstdlib/fun.ml (diff)
The file was modifiedstdlib/fun.mli (diff)