WIP: Constraint-based GADT reasoning#5258

Closed

abgruszecki wants to merge 21 commits intoscala:masterfrom

dotty-staging:wip/gadt-uni/tvar

Commits on Nov 22, 2018

Revert "Handle higher-kinded GADT bounds"
Aleksander Boruch-Gruszecki
committed
Add GADT compilation tests
Aleksander Boruch-Gruszecki
committed
TVar based implementation
Aleksander Boruch-Gruszecki
committed
Substitute TypeParams on RHS with TypeVars
Aleksander Boruch-Gruszecki
committed
Allow overriding ConstraintHandling logs
Aleksander Boruch-Gruszecki
committed
Move TyperState.instType
Aleksander Boruch-Gruszecki
committed
Refactor TypeComparer.explained
Aleksander Boruch-Gruszecki
committed
Handle TypeVar instantiation
Aleksander Boruch-Gruszecki
committed
Do not instantiate GadtMap TypeVars
Aleksander Boruch-Gruszecki
committed
Remove unnecessary hack for HKT
Aleksander Boruch-Gruszecki
committed
Add neg GADT test
Aleksander Boruch-Gruszecki
committed
Fixx issue with GADTs using HKTs
Aleksander Boruch-Gruszecki
committed
Add more GADT tests
Aleksander Boruch-Gruszecki
committed
Add caching to SmartGADTMap
Aleksander Boruch-Gruszecki
committed
Clean up comments and remove useless code
Aleksander Boruch-Gruszecki
committed
Add specialized printer for GADT constraint
Aleksander Boruch-Gruszecki
committed
Cleanup SmartGADTMap#ctx
Aleksander Boruch-Gruszecki
committed
Add test showing injectivity issue
Aleksander Boruch-Gruszecki
committed
Clean up SmartGADTMap#addBound
Aleksander Boruch-Gruszecki
committed
Apply substParam trick to SmartGADTMap TypeMaps
Aleksander Boruch-Gruszecki
committed

Commits on Dec 7, 2018

Make GADTMap member names clearer
Aleksander Boruch-Gruszecki
committed