aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/circular_subtyping1.v
Commit message (Expand)AuthorAge
* Fixed the pseudo-cicularity problem due to the with operator on Module Type.Gravatar soubiran2007-02-21
* Tests de référence circulaire au sous-typage de module (pour mémoire)Gravatar herbelin2007-01-19