Giters
sheaf
/
ghc-tcplugin-api
An interface for GHC type-checking plugins
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
20
Watchers:
2
Issues:
4
Forks:
4
sheaf/ghc-tcplugin-api Issues
Export a function to deal with flattening variables in a compatible way
Updated
2 years ago
Re-export some built-ins (e.g. type-level list TyCons)
Closed
3 years ago
Comments count
7
Add type variable re-exports
Closed
3 years ago
Comments count
1
Re-export `evDataConApp` from `GHC.Tc.Types.Evidence`
Closed
3 years ago
Comments count
1