Code

WIP: Type error display improvements#49

Code

Draft

david-christiansen wants to merge 6 commits intomaingelisam/klister:mainfrom many-type-errorsgelisam/klister:many-type-errorsCopy head branch name to clipboard

+142-46

Commits

Commits on Apr 24, 2020

• Make type errors easier to read

  Show description for e7afcbc
  david-christiansen

  committed
  e7afcbc

  Copy full SHA for e7afcbc

• Collect type checker errors into a single datatype

  david-christiansen

  committed
  b654939

  Copy full SHA for b654939

• Explicit export set for Expander.TC

  Show description for 6e0c84a
  david-christiansen

  committed
  6e0c84a

  Copy full SHA for 6e0c84a

• Enable the display of multiple type errors for a single compilation unit

  Show description for 209e39c
  david-christiansen

  committed
  209e39c

  Copy full SHA for 209e39c

Commits on Apr 27, 2020

• Abstract out repeated code

  david-christiansen

  committed
  2ac1459

  Copy full SHA for 2ac1459

• Delete dead code

  david-christiansen

  committed
  dfd380b

  Copy full SHA for dfd380b