git.iko.soy/elk
on ec24738 help sign in
ec24738Get rid of dead codeEvan Czaplicki fda1d2fAdd canonicalization for aliases and ADTsEvan Czaplicki 5d90172Add the `String` type alias to Basics and update modules that depend on stringsEvan Czaplicki a767024Update to rely on the difinition of Signals in the Signal libraryEvan Czaplicki 6ace8a0Move the definition of the Signal type out of the compiler and into the Signal libraryEvan Czaplicki 0f3910dMake SortDefinitions aware of ADT constructors, gave incorrect sorts beforeEvan Czaplicki 46cb850Whitespace cleanupEvan Czaplicki 3f96acfGet rid of logging and add Int, Float, Char, Bool to the global environmentEvan Czaplicki 2f49151Cosmetic changesEvan Czaplicki 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