on 375ed59 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Improve the error messages for bad rigid type variables Constraint.hsUse NOINLINE values to reduce allocation of Descriptors in constraint generation Environment.hsImprove the error messages for bad rigid type variables Inference.hsImprove the error messages for bad rigid type variables Occurs.hsImprove the error messages for bad rigid type variables Solve.hsImprove the error messages for bad rigid type variables State.hsImprove the error messages for bad rigid type variables Type.hsImprove the error messages for bad rigid type variables Unify.hsImprove canonicalization hints and add JSON decoder hint UnionFind.hsBetter behavior when unifying with yourself