Code

Tc errors#964

Code

Merged

yav merged 6 commits intomasterGaloisInc/cryptol:masterfrom tc-errorsGaloisInc/cryptol:tc-errorsCopy head branch name to clipboardNov 17, 2020

+721-754

Commits

Commits on Nov 12, 2020

• Eliminate TCErrorMessage as it was not contributing much.

  Show description for 111904d
  yav

  committed
  111904d

  Copy full SHA for 111904d

• Checkpoint

  yav

  committed
  6f23c7b

  Copy full SHA for 6f23c7b

Commits on Nov 13, 2020

• Nicer pretty printing of unification variables.

  Show description for 7b4c433
  yav

  committed
  7b4c433

  Copy full SHA for 7b4c433

Commits on Nov 16, 2020

• Just a comment

  yav

  committed
  51910d7

  Copy full SHA for 51910d7

• Improvements to error messages

  yav

  committed
  bfad11b

  Copy full SHA for bfad11b

Commits on Nov 17, 2020

• Update for changes to errors

  yav

  committed
  1354cbd

  Copy full SHA for 1354cbd