preposterous icon indicating copy to clipboard operation
preposterous copied to clipboard

verified publisher icon evertedsphere
→

Metadata

An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"

preposterous

A work-in-progress implementation of the OutsideIn(X) constraint-based type inference engine used by GHC, the Glasgow Haskell Compiler.

TODO

  • [x] finish GADT-less/let-less system
  • [ ] finish constraint generation for the full system
  • [ ] finish the solver

← Metadata

16
Stars
1
Forks
Watchers

Owner

verified publisher icon evertedsphere

Metadata

An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"

Back