Forked from
Glasgow Haskell Compiler / GHC
Richard Eisenberg
authored
This re-working of the typechecker algorithm is based on the paper "Visible type application", by Richard Eisenberg, Stephanie Weirich, and Hamidhasan Ahmed, to be published at ESOP'16. This patch introduces -XTypeApplications, which allows users to say, for example `id @Int`, which has type `Int -> Int`. See the changes to the user manual for details. This patch addresses tickets #10619, #5296, #10589.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Class.hs | ||
| CoAxiom.hs | ||
| Coercion.hs | ||
| Coercion.hs-boot | ||
| FamInstEnv.hs | ||
| InstEnv.hs | ||
| Kind.hs | ||
| OptCoercion.hs | ||
| TyCoRep.hs | ||
| TyCoRep.hs-boot | ||
| TyCon.hs | ||
| TyCon.hs-boot | ||
| Type.hs | ||
| Type.hs-boot | ||
| Unify.hs | ||