git.iko.soy/elk
on ab00bce help sign in
ab00bceRemove SourceSyntax.RenameEvan Czaplicki f818274Prettify code to print programEvan Czaplicki 5c81d14Update dependencies and comment out things that slow the build and are unnecessary for testingEvan Czaplicki 2f5639cIntroduce Transform.CanonicalizeEvan Czaplicki 02ab90eNo need to derename, names will be preservedEvan Czaplicki 1418bdeRemove use of SourceSyntax.Rename, which no longer existsEvan Czaplicki e22c7d4Add types and `deprime` function to SourceSyntax.HelpersEvan Czaplicki eb96d7aGet rid of current canonicalization codeEvan Czaplicki e8ab1c2Remove SourceSyntax.Rename, which was unusedEvan Czaplicki fa132eaChange name of Prelude to Basic, matching change in libraries/Evan Czaplicki 0a6bd8bGenerate and use interfaces.data so standard library types are availableEvan Czaplicki 3a4863fGet JavaScript.Experimental workingEvan Czaplicki 3cc169bGet Text compilingEvan Czaplicki fc6ce75Get Graphics/ compiling!Evan Czaplicki d6acea8Get Input library in shape to compileEvan Czaplicki da346eaShow type errors in the order they appear in the source fileEvan Czaplicki 5234d6dGet Graphics/ libraries closer to compilingEvan Czaplicki 272557dFix for "trying to write to a file in a non-existant directory"Evan Czaplicki fd63affCorrect the code that unifies recordsEvan Czaplicki 576e979Simplify code to generate record constraintsEvan Czaplicki ab41d0cTake out types that were listed as "builtin"Evan Czaplicki c1d5f86Simplify type error messagesEvan Czaplicki 42065ebGenerate fewer intermediate variables during record unificationEvan Czaplicki ebcaad0Fix possibility of calling `maximum` on empty listsEvan Czaplicki eb1e353Update .gitignore to ignore files in ElmFiles/ directoriesEvan Czaplicki e1d26d0Get Mouse compilingEvan Czaplicki 20067c4Get more libraries compilingEvan Czaplicki 602117fCorrect types (Int back to KeyCode)Evan Czaplicki 2a51470Implement unification for recordsEvan Czaplicki 760ad90Add record constructors, begin using lists to represent fields in record types to maintain ordering from the source programEvan Czaplicki 7d00618Make Window workEvan Czaplicki 2a5bee0Include type aliases from dependenciesEvan Czaplicki 39f2a87Rewrite `readDeps` so that modules are never read more than onceEvan Czaplicki abb4bc0Fix up many librariesEvan Czaplicki 0f85a2fResolve type aliases in `instantiator`Evan Czaplicki 46631c3Remove dead codeEvan Czaplicki 637c7e0Put type aliases in ModuleInterfaceEvan Czaplicki d7cdaceGet Automaton compilingEvan Czaplicki 6948858Allow multiple different imports of the same module, clean up `canonicalize` codeEvan Czaplicki 9386751Fix parser for "import List" which before was not importing anything.Evan Czaplicki 0ab92aeMinor tweaks to match type-checker generation of ADT constraintsEvan Czaplicki 0681fbeGet rid of dead function and give instantiateTypeWithContext a shorter nameEvan Czaplicki 32a331bLoad ADTs into the environment to fix constraint generation for patternsEvan Czaplicki 435822dGet Date and JS libraries compilingEvan Czaplicki 2b2bc08Minor cosmetic changeEvan Czaplicki ff67c66Get Matrix2D and Signal compilingEvan Czaplicki c19ccfeStop importing the Native library by defaultEvan Czaplicki 727d708Get libraries to compileEvan Czaplicki 1753583Get libraries compilingEvan Czaplicki ec86876Move type annotations out of Environment and into the Basics libraryEvan Czaplicki