Code

Merge Enum theory into ADT theory#1094

Code

Merged

Halbaroth merged 7 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:merge-enumHalbaroth/alt-ergo:merge-enumCopy head branch name to clipboardJun 12, 2024

+243-590

Commits

Commits on Jun 12, 2024

• Merge Enum Theory into ADT Theory

  Show description for 9bb31c4
  Halbaroth

  committed
  9bb31c4

  Copy full SHA for 9bb31c4

• Attempt to fix regressions

  Halbaroth

  committed
  7045bb6

  Copy full SHA for 7045bb6

• poetry

  Halbaroth

  committed
  226fda1

  Copy full SHA for 226fda1

• Restore the check for polymorphism in enum type

  Halbaroth

  committed
  1bc685a

  Copy full SHA for 1bc685a

• Use a polymorphic variant for the enum flag

  Halbaroth

  committed
  36d143d

  Copy full SHA for 36d143d

• Store the enum flag in the type_body

  Halbaroth

  committed
  73739aa

  Copy full SHA for 73739aa

• Factorize the code of split_enum and split_best

  Halbaroth

  committed
  3fc2112

  Copy full SHA for 3fc2112