Mentions légales du service

Skip to content

remove unsound module null.Null

Jean-Christophe Filliâtre requested to merge remove-unsound-module-Null into master

this was unsound for the following reason:

  • in WhyML, it is possible to make the difference between Null and (Value Null)
  • in OCaml, the two would be the same

fix (and improve) example bag, which was the only use of null.Null so far

Merge request reports