Code

Add error msg for type checking#1211

Code

Draft

tiashah1 wants to merge 39 commits intoexplorable-viz:developexplorable-viz/fluid:developfrom tiashah1:add-error-msgtiashah1/fluid:add-error-msgCopy head branch name to clipboard

+2,908-23

Commits

Commits on Dec 9, 2024

• Experiment with only Integers

  

  Tia Shah

  committed
  7946864

  Copy full SHA for 7946864

• Experiment with only Integers

  

  Tia Shah

  committed
  675411a

  Copy full SHA for 675411a

• Try adding parsing functionality

  

  Tia Shah

  committed
  8220ea7

  Copy full SHA for 8220ea7

• Try adding parsing functionality

  

  Tia Shah

  committed
  4820f71

  Copy full SHA for 4820f71

• Fix parser for types

  

  Tia Shah

  committed
  afa61c1

  Copy full SHA for afa61c1

• Start working on type checking

  

  Tia Shah

  committed
  dc8358e

  Copy full SHA for dc8358e

• Try VarDefs

  

  Tia Shah

  committed
  8db8a4b

  Copy full SHA for 8db8a4b

• Add exception handling for types and try Let again

  

  Tia Shah

  committed
  b4fc2af

  Copy full SHA for b4fc2af

• Add more to reduce & typeCheck

  

  Tia Shah

  committed
  ed261fa

  Copy full SHA for ed261fa

• Use check and synth for primitives and BinaryApp

  

  Tia Shah

  committed
  c76b2ea

  Copy full SHA for c76b2ea

• Use check and synth for primitives and BinaryApp

  

  Tia Shah

  committed
  e3d668c

  Copy full SHA for e3d668c

• Use check and synth for primitives and BinaryApp

  

  Tia Shah

  committed
  42fc5cf

  Copy full SHA for 42fc5cf

• Extend check and synth

  

  Tia Shah

  committed
  d62b0b2

  Copy full SHA for d62b0b2

• Extend check and synth

  

  Tia Shah

  committed
  b9e36a6

  Copy full SHA for b9e36a6

• Extend check and synth

  

  Tia Shah

  committed
  543580f

  Copy full SHA for 543580f

• Extend check and synth

  

  Tia Shah

  committed
  bca8db7

  Copy full SHA for bca8db7

• Extend check and synth and add testing module

  

  Tia Shah

  committed
  d26d0be

  Copy full SHA for d26d0be

• Refactor parser to include another type & fixup pattern check and synth

  

  Tia Shah

  committed
  65f1063

  Copy full SHA for 65f1063

• Add more to check and synth

  

  Tia Shah

  committed
  cb7e404

  Copy full SHA for cb7e404

• Changes from meeting

  

  Tia Shah

  committed
  6f39672

  Copy full SHA for 6f39672

• Add record data type and refactor Context to use List

  

  Tia Shah

  committed
  5fe287f

  Copy full SHA for 5fe287f

• Add to check and synth, fix PRecord

  

  Tia Shah

  committed
  6b3a8e7

  Copy full SHA for 6b3a8e7

• test

  

  Tia Shah

  committed
  f4de9eb

  Copy full SHA for f4de9eb

• comments

  

  Tia Shah

  committed
  09d350f

  Copy full SHA for 09d350f

Commits on Dec 16, 2024

• fix varDef syntax

  

  Tia Shah

  committed
  354fba5

  Copy full SHA for 354fba5

• fix TypeChecking update errors

  

  Tia Shah

  committed
  58920f2

  Copy full SHA for 58920f2

• Merge branch 'explorable-viz:develop' into functions-and-integers

  tiashah1

  authored
  fd2e962

  Copy full SHA for fd2e962

• fix TypeChecking update errors

  

  Tia Shah

  committed
  85071ac

  Copy full SHA for 85071ac

Commits on Dec 19, 2024

• Add Dictionary support

  

  Tia Shah

  committed
  63053aa

  Copy full SHA for 63053aa

Commits on Dec 20, 2024

• Add error messages and make input come from runParser output

  

  Tia Shah

  committed
  63b76bd

  Copy full SHA for 63b76bd

Commits on Dec 21, 2024

• Edit check' and add test cases

  

  Tia Shah

  committed
  663d8b0

  Copy full SHA for 663d8b0

Commits on Dec 26, 2024

• Edit check' and synth'

  

  Tia Shah

  committed
  1dacfa5

  Copy full SHA for 1dacfa5

Commits on Dec 27, 2024

• Edit check and synth + add test cases

  

  Tia Shah

  committed
  6aabc4a

  Copy full SHA for 6aabc4a

Commits on Dec 28, 2024

• Add MatchAs & App and re-think synthPattern

  

  Tia Shah

  committed
  f58773a

  Copy full SHA for f58773a

• fixup

  

  Tia Shah

  committed
  80d618b

  Copy full SHA for 80d618b

Commits on Dec 31, 2024

• refactor error messages and add matrix to check

  

  Tia Shah

  committed
  845cbb2

  Copy full SHA for 845cbb2

• Merge branch 'explorable-viz:develop' into add-error-msg

  tiashah1

  authored
  a938821

  Copy full SHA for a938821

Commits on Jan 1, 2025

• Add more expr to pretty and implement check and synth for DProject

  

  Tia Shah

  committed
  aab469a

  Copy full SHA for aab469a

Commits on Jan 13, 2025

• Merge branch 'explorable-viz:develop' into add-error-msg

  tiashah1

  authored
  4963b2b

  Copy full SHA for 4963b2b