git.iko.soy/elk
on 4dc68ac help sign in
4dc68acStop creating types for ADT's, use Constant and Flexible in the right placeEvan Czaplicki 4c0f716Change the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variableEvan Czaplicki 807076aAdd CSaveEnv, optimize CAnd, make it prettierEvan Czaplicki 648cbd4Use letters for arguments in adt constructorsEvan Czaplicki c942afeNicer pretty printing and a special variable to "Save the Environment"Evan Czaplicki c1aef78Flatten lets only during JavaScript generationEvan Czaplicki ce652d9Print errors more nicelyEvan Czaplicki 45b43e8When creating a named var, allow it to be flexible.Evan Czaplicki 2673890Make error message in solver slightly more specificEvan Czaplicki b540fb4Fix bug in generating Def for ADT constructorsEvan Czaplicki b87e45aChange module prefixes for some valuesEvan Czaplicki c881bd8Fix bug in type application when converting SourceSyntax.Type to Type.TypeEvan Czaplicki 901179cMarginally better errors when a variable is undefined.Evan Czaplicki a3a7b3eRefactor type environmentEvan Czaplicki 90c5c7dAdd terse way to do type applicationEvan Czaplicki 334d39cManual dead code elimination ;)Evan Czaplicki 1d10836Fix naming bug for List typeEvan Czaplicki e852ae2Add field to MetadataModule for datatypesEvan Czaplicki fceb46dTry to support polymorphic pattern matchingEvan Czaplicki 3bb618bProvide the type *and definition* for data constructurs during type checkingEvan Czaplicki 82983a6Update more modules to use the MetadataModule data structureEvan Czaplicki 8145e60Create MetadataModule for more refined information about modulesEvan Czaplicki 621a9c2Add a way to flatten lets that have become nestedEvan Czaplicki 0cfae2eMore specific importsEvan Czaplicki 640f98eRename functions and modulesEvan Czaplicki 1ffaad1Create an `isOp` function for strings.Evan Czaplicki 91be5a0Rename the parser.Evan Czaplicki 025b7a1Update changelog with latest parser improvements.Evan Czaplicki ce357b3Switch to reporting errors with [Doc] for prettier layout.Evan Czaplicki 1c9da4bForce whitespace between number and operator in infix declarations.Evan Czaplicki 8590c6bAdd parsing for infix declarations. No support for actually using this information though.Evan Czaplicki 72bd5cbClean out this file, getting rid of dead code and adding some types.Evan Czaplicki a5bc960Minor cosmetic changesEvan Czaplicki 67ef1ecCreate 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.Evan Czaplicki 18adffcTurn unary negation back on.Evan Czaplicki 90d50dbTurn off unary negation parsing for now. It has weird behavior when paired with function calls:Evan Czaplicki 2b98863Fix parsing of unary negation when it is the first thing in parentheses.Evan Czaplicki 93a948cAdd back in checks for duplicate and out-of-order definitions.Evan Czaplicki 1fcb01fFinish switching over to '_Tuple' format for tuples.Evan Czaplicki 0070a84Switch the internal data constructor name for tuples. Before tuple constructors could be shadowed by user defined ADT's such as "Tuple0", "Tuple2", etc. Now it uses "_Tuple0" to make it impossible to overlap with user defined ASTs.Evan Czaplicki e7b949dBegin adding testing framework to .cabal file.Evan Czaplicki 003ebfdAdd new syntax to the changelogEvan Czaplicki 343dcf2Add support for unary negation with the '-' symbol. Makes the use of '-' whitespace sensitive, as in the unary negation proposal in elm-discuss.Evan Czaplicki 08ff939Be more flexible with the position of the closing bracket of a record type.Evan Czaplicki fe7357aExport boundVars function, which is currently reeded to generate JS.Evan Czaplicki 87d2f8dGet declarations parsing properly. The definition parser needs to be the last option.Evan Czaplicki 2b9853cGet variable reordering working for Declarations.Evan Czaplicki fe23c0efix pretty printer for charsEvan Czaplicki 7f43392Create module to sort let-blocks into "strongly connected components". This does two things:Evan Czaplicki 433b533Update tests to be actual programs, not just expressions. Content stays the same.Evan Czaplicki