on master help sign in
history offcd5528..master
compare
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 3d14963Get rid of a bunch of TODOs in type errorsEvan Czaplicki dd2feecCreate Type.Error module and simplify Error type a bitEvan Czaplicki 5149923Strip out files that are being merged into othersEvan Czaplicki 344579bCreate special "error type" that has extra informationEvan Czaplicki ae89ac7Show `import XYZ as X` for ambiguous qualified namesEvan Czaplicki 2abb904Make the error message for arbitrary unknown binops betterEvan Czaplicki 1d1e763Add special hint for (**) usages by Python peopleEvan Czaplicki 99ef42eStop threading type localizer through canonicalization error codeEvan Czaplicki 8403665Finish TODO for error messages on ambiguous namesEvan Czaplicki