git.iko.soy/elk
on da346ea help sign in
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 4e1f79cGet List and Maybe compiling with the Basics moduleEvan Czaplicki 7968fa5Make Basics compileEvan Czaplicki c4880caRename Prelude to Basics to get rid of circular dependenciesEvan Czaplicki d77dbb0Switch to new type signaturesEvan Czaplicki eba7e62Trim some unused dependenciesEvan Czaplicki 016a199Start using Metadata.PreludeEvan Czaplicki d4b2366Rename Metadata.Libraries to Metadata.PreludeEvan Czaplicki a4468d2Combine two Metadata files into oneEvan Czaplicki 0db809fSwitch formatting for language pragmasEvan Czaplicki e702370Rename a moduleEvan Czaplicki 4c02f6bStart reworking the Metadata modulesEvan Czaplicki 6c808aachange whitespaceEvan Czaplicki 9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki 642b1f7Properly handle constrained variables when converting from Src.Type to Type.TypeEvan Czaplicki 609cc3dUnify any constrained variables with the same super-typeEvan Czaplicki