git.iko.soy/elk
on 4cc8b09 help sign in
4cc8b09Introduce "ugly" encodingEvan Czaplicki 572f3c2Detect infinite types before unrolling functions upon mismatchEvan Czaplicki 70f3f60Do not claim it is an anonymous functionEvan Czaplicki 60ca557Show better error messages on infinite comparable typesEvan Czaplicki 1408bc3The Error structure describes how it should be displayedEvan Czaplicki 65aa02aDetect infinite comparable typesEvan Czaplicki 368cdbcMove the occurs check into its own moduleEvan Czaplicki 20fa5f2Better behavior when unifying with yourselfEvan Czaplicki 7729527Start using strict State and WriterEvan Czaplicki 56b0e37Update unification for new union-find algorithmEvan Czaplicki e00a3f3Update for new Type representationEvan Czaplicki d5b0b43Name changes for simpler Type representationEvan Czaplicki 9593f00Get rid of pointless polymorphism in Type representationsEvan Czaplicki f922d2aImplement a custom union-find algorithmEvan Czaplicki 08a8971Start generating shorter field names for union typesEvan Czaplicki 01ff2a9Properly handle enums in kernel codeEvan Czaplicki 3dcae17No longer need to carry table of names aroundEvan Czaplicki 5758751Devise scheme for deterministic operator namesEvan Czaplicki 101709fExpose canonicalToMain for app footersEvan Czaplicki 973bf00Expose Elm.Compiler.parseKernel to grab all kernel dependenciesEvan Czaplicki 65a3af0Do some minor renames in preparation for bigger changeEvan Czaplicki 26bf33fGet rid of symbols, move code to unused module for nowEvan Czaplicki 400f0f2cosmetic: make line shorterEvan Czaplicki aee2191Get rid of "hiddenDependencies"Evan Czaplicki 8f102c0Get Elm.Compiler.Objects.Internal.destruct in a different wayEvan Czaplicki 3db3bdfUse ByteStrings in Kernel chunksEvan Czaplicki e2a5157Better code gen for complex recursive valuesEvan Czaplicki f5bf4adAdd Parse.Kernel that sets things up for code genEvan Czaplicki 0a7b765Rename Elm.Compiler.parseDependencies to parseHeaderEvan Czaplicki 3399b4cUse AST.Module.Name.isKernel instead of string matchingEvan Czaplicki 74a1fd1cosmetic: move parseDependencies lower in Elm.CompilerEvan Czaplicki ae8d75cAdd SCC annotations throughout type inferenceEvan Czaplicki 5a9bb97Restrict exports of Parse.ModuleEvan Czaplicki 7a8b568Build rankDict all in IOEvan Czaplicki b441190Redo Type.State.Solver to not use RWSEvan Czaplicki 314be83Stop relying on laziness in Type.State.makeCopyEvan Czaplicki 5a33259cosmetic: clean up Type.State quite a bitEvan Czaplicki 6854570Move liftIO out of Type.Unify.gatherFieldsEvan Czaplicki c4c5702Switch adjustRank to use IO directly, improving performanceEvan Czaplicki ae0c7e2Do a bit less work in adjustRankHelpEvan Czaplicki 3734effAllocate less in registerIfNotRedundant passEvan Czaplicki f3a7c77Allocate less in Type.Solve.adjustRankContentEvan Czaplicki 2f6c8fcStop building unneeded data structureEvan Czaplicki 921a5a1Replace (!) with (=>) in default importsEvan Czaplicki 4a63470Call unifyFlexSuperStructure directlyEvan Czaplicki 60f4e71Avoid allocation when unifying two flex supersEvan Czaplicki 077d8e9Rename unifySuper to unifyFlexSuper to make specific usage clearerEvan Czaplicki 7a6d5a4Optimize case in combineFlexSupers to fail in fewer stepsEvan Czaplicki 5fe9bb9Fix bugs when unifying rigid constraintsEvan Czaplicki 669fa90Switch tuples to #N constructorsEvan Czaplicki