git.iko.soy/elk
on 8f7c3cd help sign in
8f7c3cdMove all the compiler code into the compiler/ directoryEvan Czaplicki d985899Remove a file that should be removed anywayEvan Czaplicki 5299f30Move the hints/ into docs/Evan Czaplicki 8f2c278Get rid of profiling/Evan Czaplicki f66b008Move changelog to docs/upgrade/Evan Czaplicki 5449305Migrate upgrade docs from elm-platform repoEvan Czaplicki c807154Adopt important code from elm-platform repoEvan Czaplicki 309cb25Start moving to monorepo. Move evancz/cli in.Evan Czaplicki 1c3cda7Start moving to monorepo. Move evancz/builder in.Evan Czaplicki 097ac1eFix unification of String/appendable and Char/comparableEvan Czaplicki f5f9ed0Make comparable advice more constructiveEvan Czaplicki bd2ab82Properly recognize supers during unificationEvan Czaplicki ca2be8aFix left/right mixup in (++) type errorEvan Czaplicki 0cc5c94Replace tabs in JSON source so the error messages look okayEvan Czaplicki 772478fExpose docs errors so others can write error messages about themEvan Czaplicki e59f542Add Region.zero and adopt JSON error handling codeEvan Czaplicki 963a559Resolve final TODO that causes crashes in the compiler!Evan Czaplicki 9dac8bbimprove style of errors for messed up type variables in aliasesEvan Czaplicki a82d1d4cosmetic: change highlighting a bitEvan Czaplicki 8527e24Finish TypeVarsMessedUpInAlias TODO!Evan Czaplicki 07712e9Work on TODO for bad type variables in type aliasesEvan Czaplicki 3116898cosmetic: shuffle imports aroundEvan Czaplicki 5fb82e2Complete TODO for unbound type variables in union type declarationsEvan Czaplicki 266e49dResolve TODO for cyclic value error messagesEvan Czaplicki 1281933Add logic for (::) type errorsEvan Czaplicki 20e9c3cImprove the error for bad (++) usagesEvan Czaplicki 6f9825fFigure out TODOs for FlexSuper vs RigidSuper hintsEvan Czaplicki e60b6d1Fill in some TODOs in type error messagesEvan Czaplicki c4ee464Get rid of wildcard in pattern matchEvan Czaplicki 0bdfd73Make some progress on type error messages!Evan Czaplicki d924db7Start wiring in type diff implementationEvan Czaplicki 9a55348Implement type diffs for records againEvan Czaplicki 7063cadBegin defining Type.Error.toDiffDocsEvan Czaplicki 5715966Remove duplicate theories in syntax errorsEvan Czaplicki e63ef23Update error managerEvan Czaplicki 7ae4400Update warningsEvan Czaplicki 3fe6d87Move srcToDoc and canToDoc implementations into Render.TypeEvan Czaplicki 4914a41A localizer cannot always be producedEvan Czaplicki 22a5c27First draft of localizing type namesEvan Czaplicki ce99d51Finish TODO for bad `main` typesEvan Czaplicki 15b9171Finish TODO on infinite type errorsEvan Czaplicki 9809b00Implement Render.Code.renderPair functionEvan Czaplicki 5342b58Add a rough implementation for pattern type errorsEvan Czaplicki d7e3cd7Rename Mismatch to BadExprEvan Czaplicki 6ecd0beShow indented types in type errorsEvan Czaplicki 11e44c9Add Type.Error.toDocEvan Czaplicki 785bc76Fix TODO for self-recursive aliasesEvan Czaplicki b5df201Switch TRecord constructors to have (Maybe Name) extensionsEvan Czaplicki 435987dTrim down Reporting.Render.Type to only Doc helpersEvan Czaplicki 96521f6Decide not to special case (::) error for nowEvan Czaplicki