Clean out the SAWScript type checker - #3334

Open

sauclovian-g wants to merge 27 commits into

masterfrom

typechecker-cleanout

Commits on Jul 17, 2026

typechecker: Kill off the ContextName information.
sauclovian-g
committed
eebda9d
typechecker: tidy the TI monad
sauclovian-g
committed
d318cfe
typechecker: G/C unused third argument of FailMGU.
sauclovian-g
committed
d959d8f
typechecker: rearrange the message generation deep in unify
sauclovian-g
committed
84bf0af
typechecker: Switch to using prettyprinter docs for errors.
sauclovian-g
committed
53c4d2a
typechecker: Normalize file header.
sauclovian-g
committed
ed5b2c4
typechecker: tidy messy imports
sauclovian-g
committed
4767240
typechecker: tidy some more
sauclovian-g
committed
e5dd972
typechecker: Whitespace.
sauclovian-g
committed
c520807
typechecker: code formatting that isn't whitespace
sauclovian-g
committed
6bf6fa4
typechecker: Move the guts of unification into the monad.
sauclovian-g
committed
14c197f
typechecker: Simplify error prints after previous.
sauclovian-g
committed
addd330
typechecker: Kill off the "mismatch of type constructors" message.
sauclovian-g
committed
9d1d4a6
typechecker: Condense some of the error messages.
sauclovian-g
committed
7a3f595
typechecker: Rearrange the type provenance reports in errors.
sauclovian-g
committed
386010b
typechecker: Rearrange/simplify the occurs check code.
sauclovian-g
committed
c97581b
typechecker: Build up a single resolution table for unification vars.
sauclovian-g
committed
5f1b598
typechecker: Take steps to avoid cycles of unification variables.
sauclovian-g
committed
91ea8b4
typechecker: Recurse when substituting for unification vars.
sauclovian-g
committed
36edef8
typechecker: Simplify "mgus".
sauclovian-g
committed
5b9738d
typechecker: mgu/mgus no longer need to carry ppopts around by hand.
sauclovian-g
committed
f7aa85e
typechecker: substitute only on demand
sauclovian-g
committed
92a7c55
typechecker: Reform local variable naming in "mgu".
sauclovian-g
committed
1d896cc
typechecker: "mgu" no longer needs to be a separate function.
sauclovian-g
committed
fee59b0
typechecker: add suggested microoptimization in speculateTI
sauclovian-g
committed
0dbd267
typechecker: Expand on the correctness and termination arguments.
sauclovian-g
committed
778b2b2
test_type_errors: Add a test with a more complex occurs check failure.
sauclovian-g
committed
4a36d68

Navigation Menu

Uh oh!

Clean out the SAWScript type checker - #3334

Clean out the SAWScript type checker#3334
sauclovian-g wants to merge 27 commits into
masterfrom
typechecker-cleanout

Commits on Jul 17, 2026

typechecker: Kill off the ContextName information.

typechecker: tidy the TI monad

typechecker: G/C unused third argument of FailMGU.

typechecker: rearrange the message generation deep in unify

typechecker: Switch to using prettyprinter docs for errors.

typechecker: Normalize file header.

typechecker: tidy messy imports

typechecker: tidy some more

typechecker: Whitespace.

typechecker: code formatting that isn't whitespace

typechecker: Move the guts of unification into the monad.

typechecker: Simplify error prints after previous.

typechecker: Kill off the "mismatch of type constructors" message.

typechecker: Condense some of the error messages.

typechecker: Rearrange the type provenance reports in errors.

typechecker: Rearrange/simplify the occurs check code.

typechecker: Build up a single resolution table for unification vars.

typechecker: Take steps to avoid cycles of unification variables.

typechecker: Recurse when substituting for unification vars.

typechecker: Simplify "mgus".

typechecker: mgu/mgus no longer need to carry ppopts around by hand.

typechecker: substitute only on demand

typechecker: Reform local variable naming in "mgu".

typechecker: "mgu" no longer needs to be a separate function.

typechecker: add suggested microoptimization in speculateTI

typechecker: Expand on the correctness and termination arguments.

test_type_errors: Add a test with a more complex occurs check failure.