-
Andrei Paskevich authored
This fixes a soundness bug in WhyML typechecking. See bench/programs/bad-typing/alias6.mlw for an example of illegal alias that would go uncatched until now.
13585337
This fixes a soundness bug in WhyML typechecking. See bench/programs/bad-typing/alias6.mlw for an example of illegal alias that would go uncatched until now.