Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Make Scoped_location.scopes abstract (commit: ee1a202) (details)
  2. Precompute string_of_scopes (commit: 0d25f78) (details)
Commit ee1a202acd257b6bfd6e1a1f8b5bf461c748326d by alain
Make Scoped_location.scopes abstract
 (commit: ee1a202)
The file was modifiedlambda/translmod.ml (diff)
The file was modifiedlambda/debuginfo.mli (diff)
The file was modifiedlambda/debuginfo.ml (diff)
Commit 0d25f783c6aa5aaeebba441b1432291a965dddaf by alain
Precompute string_of_scopes
 (commit: 0d25f78)
The file was modifiedlambda/debuginfo.ml (diff)
The file was modifiedlambda/translmod.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedtestsuite/tools/parsecmmaux.ml (diff)