Viewing all changes in revision 10114.
- Committer: Enrico Tassi
- Date: 2014-03-05 15:08:45 UTC
- Revision ID: git-v1:c1d988904483eb1f3a8917ea08fced1240e3844b
Fix (3243): univ constraints of module subtyping were not propagated
Universe constraints coming from subtyping were not propagated
to the outermost module and hence not stocked in the .vo file.
Still, they were added to the interactive safe environment and
hence checked for satisfiability.
Universe constraints coming from subtyping were not propagated
to the outermost module and hence not stocked in the .vo file.
Still, they were added to the interactive safe environment and
hence checked for satisfiability.
- files modified:
- kernel/safe_typing.ml
expand all
collapse all
added
removed
