on da346ea help sign in
elk/compiler/SourceSyntax
12 files
../ Declaration.hsCreate a source syntax for types that will get converted into the internal type representation during type checking. Everything.hsStart using the PrettyPrint library to show expressions, literals, and patterns. Expression.hsPrettier printing for infix functions like `div` Helpers.hsCreate an `isOp` function for strings. Literal.hsfix pretty printer for chars Location.hsConvert more files to the new Expression format that relies more on patterns. Seems to clean things up so far. Module.hsAdd record constructors, begin using lists to represent fields in record types to maintain ordering from the source program Pattern.hsPrettier printing for infix operator definitions PrettyPrint.hsPrettier printing for infix operator definitions Rename.hsStart switching over to an AST that uses patterns in lambdas and pulls the arguments out of Definitions (placing them in lambdas). Type.hsSimplify code to generate record constraints Variable.hsAdd support for pattern matching on literals.