Code

Fix occurs check bug#20

Code

Merged

changlinli merged 14 commits intomasterZokka-Dev/zokka-compiler:masterfrom fix-occurs-check-bugZokka-Dev/zokka-compiler:fix-occurs-check-bugCopy head branch name to clipboardJul 25, 2024

+150-11

Commits

Commits on Jul 16, 2024

• Add a test for the occurs check bug

  changlinli

  committed
  7bce6ba

  Copy full SHA for 7bce6ba

• Fix the bug in a very hacky way

  Show description for 0e3ec19
  changlinli

  committed
  0e3ec19

  Copy full SHA for 0e3ec19

• Add some elm test rs tests

  changlinli

  committed
  78e5264

  Copy full SHA for 78e5264

• Remove BadOccursTest from elm-rs-tests

  Show description for 692192b
  changlinli

  committed
  692192b

  Copy full SHA for 692192b

Commits on Jul 17, 2024

• Add compiler output tests

  changlinli

  committed
  91401d9

  Copy full SHA for 91401d9

• Add in the exact example in Slack

  changlinli

  committed
  0354cdc

  Copy full SHA for 0354cdc

• Fix typo

  changlinli

  committed
  b30afbf

  Copy full SHA for b30afbf

• Add in recursion depth cutoff

  changlinli

  committed
  925ac3e

  Copy full SHA for 925ac3e

• Get rid of debug cruft

  changlinli

  committed
  92fc8d3

  Copy full SHA for 92fc8d3

• Remove some dangling Debug.trace from previous PRs

  changlinli

  committed
  70afd9c

  Copy full SHA for 70afd9c

• Remove the deriving Show bits

  Show description for 9caf2a0
  changlinli

  committed
  9caf2a0

  Copy full SHA for 9caf2a0

• Remove straggling unsafePerformIO

  changlinli

  committed
  9cf5784

  Copy full SHA for 9cf5784

Commits on Jul 25, 2024

• Actually introduce recursion depth

  changlinli

  committed
  028da4e

  Copy full SHA for 028da4e

• Remove recursiondepth argument

  changlinli

  committed
  d29cf28

  Copy full SHA for d29cf28