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

Arch refactor typechecker #414

Draft
wants to merge 25 commits into
base: main
Choose a base branch
from
Draft

Arch refactor typechecker #414

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
1e602ad
starting on surface syntax
pataei Mar 10, 2023
eeeff1e
working on synthesized types syntax
pataei Mar 23, 2023
c4e3ac4
types syntax
pataei Mar 23, 2023
cfa36ae
remove unfinished code
pataei Mar 23, 2023
5a45c6b
fix some errors
pataei Mar 24, 2023
45463ce
syntax done
pataei Mar 28, 2023
a94117a
comments
pataei Mar 28, 2023
90c41ff
all types in one
pataei Mar 28, 2023
d1b72e6
surface ir to represent before and after type inference
pataei Mar 29, 2023
b33b964
added stmt decl
pataei Mar 30, 2023
8c4a377
applied comments..inlined tags except for expr stmt and decl
pataei Apr 2, 2023
b83d349
syntax fixed
pataei Apr 6, 2023
7edd710
putting structure in for simple type checker
pataei Apr 8, 2023
a647a5f
working on expr typing
pataei Apr 8, 2023
981b6fc
next up membership rules
pataei Apr 8, 2023
4e625e3
switching to spec
pataei Apr 8, 2023
ae21c14
have to clean up exp mem in doc
pataei Apr 9, 2023
b8efdb0
list almost done..only func call and instantiatio left
pataei Apr 9, 2023
f3cf4c6
changes in meeting
pataei Apr 13, 2023
345aaf8
added some comments
pataei Apr 14, 2023
d564e2c
added comment
pataei Apr 17, 2023
c18f08b
break checker and utils
pataei May 2, 2023
83561c1
binop helper ready for Harim to be filled out
pataei May 2, 2023
c1f69d8
structure for type eq
pataei May 2, 2023
0f45e72
added sufficient comments for all helpers
pataei May 2, 2023
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
Loading