Code

Error UI changes j 2023#2034

Code

Draft

OAGr wants to merge 6 commits intomainquantified-uncertainty/squiggle:mainfrom Error-ui-changes-j-2023quantified-uncertainty/squiggle:Error-ui-changes-j-2023Copy head branch name to clipboard

+711-117

Commits

Commits on Jul 11, 2023

• Show wrong argument types

  OAGr

  committed
  81f422e

  Copy full SHA for 81f422e

• Error should show error type, and has better styling

  OAGr

  committed
  80e06f2

  Copy full SHA for 80e06f2

Commits on Jul 27, 2023

• Merged with develop

  OAGr

  committed
  3f18b54

  Copy full SHA for 3f18b54

• Adding markdown error messages

  OAGr

  committed
  a9439a6

  Copy full SHA for a9439a6

Commits on Jul 28, 2023

• Merged with main

  OAGr

  committed
  e444e94

  Copy full SHA for e444e94

Commits on Jul 29, 2023

• Mild markdown formatting

  OAGr

  committed
  d532204

  Copy full SHA for d532204