Skip to content

pattern matching: some "inference"

Rémi requested to merge break_old_compatibility into dev

type:fixed

  • stop sorting constructor to preserve odd compatibility
  • some basic inference trying : we try to type the pattern bodies [ B1 ; B2 ; B3 ] in sequence in the following order [ B1 ; B2 ; B3 ] [ B2 ; B3 ; B1 ] [ B3 ; B1 ; B2 ]

Changelog details:

  • improvement of pattern matching type-checking
Edited by Rémi

Merge request reports