git.iko.soy/elk
on 7cf5a56 help sign in
elk/compiler/Type
1 folder, 10 files
../ Constrain/Add Expressions for ports to check and validate types nicely Alias.hsAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment. Environment.hsAdd -W flag to many files, mostly getting rid of dead imports ExtraChecks.hsAdd -W flag to many files, mostly getting rid of dead imports Fragment.hsUse new Located datastructure, add source strings where appropriate Inference.hsAdd -W flag to many files, mostly getting rid of dead imports PrettyPrint.hsreprime when printing types Solve.hsAdd -W flag to many files, mostly getting rid of dead imports State.hsAdd -W flag to many files, mostly getting rid of dead imports Type.hsAlso catch Just [] as an error Unify.hsAdd -W flag to many files, mostly getting rid of dead imports