on 85b2e31 help sign in
elk/src/Type/Constrain
3 files
../ Effects.hsGenerate type constraints for patterns without any type lookups! Expression.hsSwitch to Data.Map.Strict in type inference Pattern.hsMake Type.Instantiate and Type.Constrain.Pattern more self-contained