diff options
| author | Pierre-Marie Pédrot | 2019-06-27 15:09:40 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-07-18 17:00:54 +0200 |
| commit | c13a3b61c9b1a714c50bcf0ec371a4effe1ff627 (patch) | |
| tree | f79625d7022c38673989e02247d2558754af0d32 /doc/stdlib | |
| parent | f8f77bb08968d6df7a4de3a8308b3069bcf15f0d (diff) | |
Attach the universe polymorphic status to sections.
The previous implementation allowed to dynamically decide whether a section
would be monomorphic or polymorphic at the first definition of a variable
or a constraint. Instead of relying on this delayed decision, we set the
universe polymorphic property directly at the time of the section definition.
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions