git.iko.soy/elk
on a5bc960 help sign in
elk/compiler/Type/Constrain
4 files
../ Declaration.hsCreate the Type.Inference module which handles type inference from start to finish. Give it a Module and it returns a dictionary mapping top-level values to types. Expression.hsCreate module to sort let-blocks into "strongly connected components". This does two things: Literal.hsMove the Environment.hs and Fragment.hs files down a directory. Pattern.hsMove the Environment.hs and Fragment.hs files down a directory.