Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Enforce !current_level <= generic_level and explain create_scope (details)
  2. assign PR (details)
Commit 502fa59fc043534c86e889d24db5208b39edd999 by garrigue
Enforce !current_level <= generic_level and explain create_scope
The file was modifiedChanges (diff)
The file was modifiedtyping/ctype.ml (diff)
The file was modifiedtyping/ctype.mli (diff)
The file was modifiedChanges (diff)