on bca019d 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 the error messages for bad rigid type variables UnionFind.hsBetter behavior when unifying with yourself