Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add error msg for type checking #1211

Closed
wants to merge 39 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
7946864
Experiment with only Integers
Oct 8, 2024
675411a
Experiment with only Integers
Oct 15, 2024
8220ea7
Try adding parsing functionality
Oct 19, 2024
4820f71
Try adding parsing functionality
Oct 20, 2024
afa61c1
Fix parser for types
Oct 22, 2024
dc8358e
Start working on type checking
Oct 26, 2024
8db8a4b
Try VarDefs
Oct 27, 2024
b4fc2af
Add exception handling for types and try Let again
Oct 29, 2024
ed261fa
Add more to reduce & typeCheck
Nov 2, 2024
c76b2ea
Use check and synth for primitives and BinaryApp
Nov 4, 2024
e3d668c
Use check and synth for primitives and BinaryApp
Nov 4, 2024
42fc5cf
Use check and synth for primitives and BinaryApp
Nov 4, 2024
d62b0b2
Extend check and synth
Nov 9, 2024
b9e36a6
Extend check and synth
Nov 10, 2024
543580f
Extend check and synth
Nov 14, 2024
bca8db7
Extend check and synth
Nov 16, 2024
d26d0be
Extend check and synth and add testing module
Nov 17, 2024
65f1063
Refactor parser to include another type & fixup pattern check and synth
Nov 19, 2024
cb7e404
Add more to check and synth
Nov 23, 2024
6f39672
Changes from meeting
Nov 25, 2024
5fe287f
Add record data type and refactor Context to use List
Nov 30, 2024
6b3a8e7
Add to check and synth, fix PRecord
Dec 8, 2024
f4de9eb
test
Dec 9, 2024
09d350f
comments
Dec 9, 2024
354fba5
fix varDef syntax
Dec 16, 2024
58920f2
fix TypeChecking update errors
Dec 16, 2024
fd2e962
Merge branch 'explorable-viz:develop' into functions-and-integers
tiashah1 Dec 16, 2024
85071ac
fix TypeChecking update errors
Dec 16, 2024
63053aa
Add Dictionary support
Dec 19, 2024
63b76bd
Add error messages and make input come from runParser output
Dec 20, 2024
663d8b0
Edit check' and add test cases
Dec 21, 2024
1dacfa5
Edit check' and synth'
Dec 26, 2024
6aabc4a
Edit check and synth + add test cases
Dec 27, 2024
f58773a
Add MatchAs & App and re-think synthPattern
Dec 28, 2024
80d618b
fixup
Dec 28, 2024
845cbb2
refactor error messages and add matrix to check
Dec 31, 2024
a938821
Merge branch 'explorable-viz:develop' into add-error-msg
tiashah1 Dec 31, 2024
aab469a
Add more expr to pretty and implement check and synth for DProject
Jan 1, 2025
4963b2b
Merge branch 'explorable-viz:develop' into add-error-msg
tiashah1 Jan 13, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion spago.dhall
Original file line number Diff line number Diff line change
Expand Up @@ -45,6 +45,7 @@ You can edit this file as you like.
, "profunctor"
, "st"
, "strings"
, "strings-extra"
, "tailrec"
, "toppokki"
, "transformers"
Expand All @@ -53,8 +54,9 @@ You can edit this file as you like.
, "unicode"
, "unsafe-coerce"
, "web-events"
, "debug"
]
, packages = ./packages.dhall
, sources = [ "src/**/*.purs", "test/**/*.purs", "website/**/*.purs" ]
, sources = [ "src/**/*.purs", "src/*.purs", "test/**/*.purs", "website/**/*.purs" ]
, backend = "purs-backend-es build"
}
Loading
Loading