Code

Remove packing for bools.#5449

Code

Merged

aryairani merged 7 commits intotrunkunisonweb/unison:trunkfrom cp/better-boolsunisonweb/unison:cp/better-boolsCopy head branch name to clipboardDec 3, 2024

+373-253

Commits

Commits on Dec 2, 2024

• Define BoolVal patterns and true/false singleton vals

  ChrisPenner

  committed
  89c2fe2

• Define new instrs for lt, neq

  ChrisPenner

  committed
  9d5911f

• Remove boolift/notlift

  ChrisPenner

  committed
  2424312

• Remove superfluous bool combinators

  ChrisPenner

  committed
  845833c

• Fix up bool pattern matching

  ChrisPenner

  committed
  17531ab

• Fix Stack.hs in stackcheck mode

  ChrisPenner

  committed
  91b6405

• Add dumpcore flag

  ChrisPenner

  committed
  b04aa8b