Code

Remove uid module#1253

Code

Merged

Halbaroth merged 9 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:remove-uid-moduleHalbaroth/alt-ergo:remove-uid-moduleCopy head branch name to clipboardOct 9, 2024

+300-531

Commits

Commits on Oct 8, 2024

• Do not use Uid.of_hstring for Fpa constructors

  Halbaroth

  committed
  54d4975

  Copy full SHA for 54d4975

• Remove unification in Ty

  Halbaroth

  committed
  58830b0

  Copy full SHA for 58830b0

• Remove Hstring constructor in Uid

  Halbaroth

  committed
  5d8cba8

  Copy full SHA for 5d8cba8

• Remove Uid module

  Show description for c6f00a6
  Halbaroth

  committed
  c6f00a6

  Copy full SHA for c6f00a6

• Too long lines

  Halbaroth

  committed
  da5d51c

  Copy full SHA for da5d51c

Commits on Oct 9, 2024

• Use Compat.List.find_map

  Halbaroth

  committed
  e3a6539

  Copy full SHA for e3a6539

• More defensive programming!

  Halbaroth

  committed
  12175c7

  Copy full SHA for 12175c7

• clean up

  Halbaroth

  committed
  a84dc94

  Copy full SHA for a84dc94

• Review changes

  Halbaroth

  committed
  8224c9d

  Copy full SHA for 8224c9d