Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tests: aliases and applicative functors (commit: c991225) (details)
Commit c9912256524fb348a68a4d89057a10ee69fb56b0 by Florian Angeletti
tests: aliases and applicative functors

* Enable the full test for 3476
* add the 5058 example
 (commit: c991225)
The file was modifiedtestsuite/tests/typing-modules/aliases.ml (diff)