Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Attach package type attributes to core_type (#9615) (commit: 71e9112) (details)
Commit 71e91123c27780fdfeca93c6c57c2f9af5417e54 by noreply
Attach package type attributes to core_type (#9615)

 (commit: 71e9112)
The file was modifiedparsing/parser.mly (diff)
The file was modifiedtestsuite/tests/parsing/attributes.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedboot/menhir/parser.ml (diff)
The file was modifiedtestsuite/tests/parsing/attributes.compilers.reference (diff)