A work-in-progress implementation of the OutsideIn(X) constraint-based type inference engine used by GHC, the Glasgow Haskell Compiler.
- finish GADT-less/
let-less system - finish constraint generation for the full system
- finish the solver
This repository has been archived by the owner on Feb 7, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
License
evertedsphere/preposterous
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published