git.iko.soy/elk
on 64038dc help sign in
elk/src/Type/Constrain
4 files
../ Effects.hsGenerate type constraints for patterns without any type lookups! Expression.hsSwitch to Data.Map.Strict in type inference Literal.hsUpdate Type.Constrain.Literal for new AST Pattern.hsNo environment necessary when constraining patterns