Skip to content

Check hygiene#9

Closed
dra27 wants to merge 18 commits intotrunkfrom
check-hygiene
Closed

Check hygiene#9
dra27 wants to merge 18 commits intotrunkfrom
check-hygiene

Conversation

@dra27
Copy link
Owner

@dra27 dra27 commented Apr 20, 2020

No description provided.

dra27 and others added 6 commits April 17, 2020 16:14
We don't want to record the state of the file system at the start
of the compilation in the compiled files.
Consequently, we only add persistent modules to the env summary
if they have an observable action on the initial environment.
This is only the case if they shadow a non-persistent module of the
initially opened library (which can only be Stdlib currently).
@dra27 dra27 force-pushed the check-hygiene branch 4 times, most recently from 26e35c0 to cdec395 Compare April 21, 2020 08:38
@dra27 dra27 closed this Apr 21, 2020
dra27 pushed a commit that referenced this pull request Jul 20, 2024
The filename ça.ml is NFD normalized. The test source now the two
normalizations for each unit identifiers.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants