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.

Sign up for GitHub

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

Jump to bottom

Type System [Draft - DNM] #1201

Draft
wants to merge 31 commits into
base: develop
Choose a base branch
from
Draft

Type System [Draft - DNM] #1201

wants to merge 31 commits into from

Conversation

tiashah1
Copy link

  • Extend Parser to include Types
  • Add check and synth function for Expr data type
  • Add types to Pretty function
  • Add test cases

Due to some recent changes, I need to remove Record as this has been replaced with Dictionary, some of the logic needs a rework here and I'll edit the datatype to be TDict rather than TRecord now

Tia Shah and others added 28 commits December 9, 2024 17:26
Experiment with only Integers
7946864
Experiment with only Integers
675411a
Try adding parsing functionality
8220ea7
Try adding parsing functionality
4820f71
Fix parser for types
afa61c1
Start working on type checking
dc8358e
Try VarDefs
8db8a4b
Add exception handling for types and try Let again
b4fc2af
Add more to reduce & typeCheck
ed261fa
Use check and synth for primitives and BinaryApp
c76b2ea
Use check and synth for primitives and BinaryApp
e3d668c
Use check and synth for primitives and BinaryApp
42fc5cf
Extend check and synth
d62b0b2
Extend check and synth
b9e36a6
Extend check and synth
543580f
Extend check and synth
bca8db7
Extend check and synth and add testing module
d26d0be
Refactor parser to include another type & fixup pattern check and synth
65f1063
Add more to check and synth
cb7e404
Changes from meeting
6f39672
Add record data type and refactor Context to use List
5fe287f
Add to check and synth, fix PRecord
6b3a8e7
test
f4de9eb
comments
09d350f
fix varDef syntax
354fba5
fix TypeChecking update errors
58920f2
@tiashah1
Merge branch 'explorable-viz:develop' into functions-and-integers
fd2e962
fix TypeChecking update errors
85071ac
@tiashah1 tiashah1 changed the title Functions and integers Functions and integers [Draft - DNM] Dec 16, 2024
@tiashah1 tiashah1 changed the title Functions and integers [Draft - DNM] Type System [Draft - DNM] Dec 16, 2024
@dorchard dorchard self-requested a review December 21, 2024 07:59
@dorchard dorchard added the types label Jan 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dorchard dorchard Awaiting requested review from dorchard

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
types
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tiashah1 @dorchard