Code

Strict typechecking mode#2077

Code

Merged

jneem merged 7 commits intomastertweag/nickel:masterfrom interpreter-configtweag/nickel:interpreter-configCopy head branch name to clipboardOct 24, 2024

+167-48

Commits

Commits on Oct 22, 2024

• Add interpreter config and strict typecheck mode

  jneem

  committed
  7a8ae3c

  Copy full SHA for 7a8ae3c

Commits on Oct 23, 2024

• Add tests

  jneem

  committed
  99c5290

  Copy full SHA for 99c5290

• Make it typechecker-only, and run it twice

  jneem

  committed
  548f016

  Copy full SHA for 548f016

• Add a test for imports

  jneem

  committed
  2b42e26

  Copy full SHA for 2b42e26

• Test the cli also

  jneem

  committed
  7e42fa7

  Copy full SHA for 7e42fa7

Commits on Oct 24, 2024

• Fix benches, add a comment

  jneem

  committed
  2343582

  Copy full SHA for 2343582

• Remove unused config module

  jneem

  committed
  6d9347b

  Copy full SHA for 6d9347b