Code

Level-based generalization#8

Code

Draft

evermake wants to merge 17 commits intomainevermake/free-foil-typecheck:mainfrom generalization-with-levelsevermake/free-foil-typecheck:generalization-with-levelsCopy head branch name to clipboard

+295-183

Commits

Commits on Feb 15, 2025

• chore: update doctests, remove commented import

  evermake

  committed
  b5c83b1

  Copy full SHA for b5c83b1

• apply hints suggested by LSP

  evermake

  committed
  0d6de03

  Copy full SHA for 0d6de03

• level-based generalization (WIP)

  evermake

  committed
  3d6bf05

  Copy full SHA for 3d6bf05

• Refactor specialize

  

  fizruk

  authored and

  evermake

  committed
  c6a2e42

  Copy full SHA for c6a2e42

• fix type error and formatting

  evermake

  committed
  3e1fe97

  Copy full SHA for 3e1fe97

• update generalize to use levels

  evermake

  committed
  88eccd3

  Copy full SHA for 88eccd3

• fail in generalize if uvar level is not found in levels map

  evermake

  committed
  000bc2b

  Copy full SHA for 000bc2b

• use unifyWith to avoid code duplication

  evermake

  committed
  9159327

  Copy full SHA for 9159327

• fail when unifying FreeFoil.Var (not supported)

  evermake

  committed
  de531be

  Copy full SHA for de531be

Commits on Feb 18, 2025

• chore: use type alias, inline return

  evermake

  committed
  029ceda

  Copy full SHA for 029ceda

Commits on Feb 20, 2025

• reorganize Typecheck module

  evermake

  committed
  394b237

  Copy full SHA for 394b237

• add occurs check and update levels in unification (doesn't work yet)

  evermake

  committed
  cabc7e7

  Copy full SHA for cabc7e7

• Minor cleanup of unifyUVar

  fizruk

  committed
  6118f51

  Copy full SHA for 6118f51

• refactor implementations to be more generic and clear

  evermake

  committed
  fcd65e4

  Copy full SHA for fcd65e4

Commits on Mar 4, 2025

• chore: remove comment, add doctest

  evermake

  committed
  2853e09

  Copy full SHA for 2853e09

• fix: make allUVarsOfType return Set, add logContext for debugging

  evermake

  committed
  9f4c8b1

  Copy full SHA for 9f4c8b1

• fix unify

  evermake

  committed
  1a0ed69

  Copy full SHA for 1a0ed69