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 checker #4

Merged
merged 47 commits into from
Jun 18, 2024
Merged

type checker #4

merged 47 commits into from
Jun 18, 2024

Conversation

butterunderflow
Copy link
Owner

@butterunderflow butterunderflow commented Apr 14, 2024 •
edited
Loading

  • functor application 操作

@butterunderflow
typing expression(wip)
71836f2
@butterunderflow
remove type alias syntax (for now)
00fac5f
@butterunderflow
remove recursive module syntax
d5ee7bd
@butterunderflow
parsing expression lambda
1ffa6a9
@butterunderflow
fix unification
8f0a3f1
@butterunderflow
fix bool literal parsing
4617fc5
@butterunderflow
fix tuple parsing
508d7cd
@butterunderflow
add two debug function
8ad249d
@butterunderflow
discard pattern matching in let
e0fa6fe
@butterunderflow
envirment debug function
d6fe572
@butterunderflow
apply unifier to top level definition
aec9009
@butterunderflow
typing expression and toplevel
d82f496 
Some notes:
1. All type variables are identifier(Ident.ident) to get readable names
2. Definition `mod_type` is removed to "type cluster" of
3. In check.ml, indexes are synced between typed expression, type and unifier
@butterunderflow
parsing and typing pattern matching
be61427
@butterunderflow
fix typing pattern matching and tuple expression
b8f0494
@butterunderflow
some placeholder for typing and test
27722ae
@butterunderflow
add a index to indicate current typing module
c50862b
@butterunderflow butterunderflow force-pushed the dev-type-checker branch 2 times, most recently from d4df57f to 25c4667 Compare May 20, 2024 09:12
@butterunderflow butterunderflow force-pushed the dev-type-checker branch 2 times, most recently from cfa05d6 to 648097f Compare May 21, 2024 05:34
@butterunderflow butterunderflow force-pushed the dev-type-checker branch 2 times, most recently from 6bbddd9 to 3e4be72 Compare May 25, 2024 17:10
@butterunderflow butterunderflow force-pushed the dev-type-checker branch 6 times, most recently from ea0e5c2 to c533d02 Compare June 9, 2024 08:48
@butterunderflow
typing struct module expression
c33a482
@butterunderflow
remove a redundant field
9db5ac7
@butterunderflow
normalize module type & some rename
9ade8fb
@butterunderflow
functor application semantic
104202f
@butterunderflow
typing functor application
21f2e94
@butterunderflow
fix: split environment into scopes
e162e27
@butterunderflow
paren in module expression & more test
426a48d
@butterunderflow
fix: when applying functor, use actual input module type to check its…
fb93647 
… body
@butterunderflow
fix mapping between subtype module
18e92d1
@butterunderflow
record module creation history in envirment and module type
58ca07a
@butterunderflow
more effecient functor applitaion (wip)
7e23bab 
by staging module type creation history
@butterunderflow
create module in function application by shifting module ids
01f0f93
@butterunderflow
tidy
a245b7b
@butterunderflow
fix: use reference in scope & remove some unneeded environment creation
e463797
@butterunderflow
refactor: more strict environment absorb
b10a936
@butterunderflow
add quote before every typevar
ae0a608
@butterunderflow
add type to pattern binding
85bd2b5
@butterunderflow
add priority to top level headings
5c422bd
@butterunderflow
fix: ref should never be deep copied
3d35154
@butterunderflow
pretty printer for test
26951dd
@butterunderflow
tweak: more explicit pointer equal test
dbb2976
@butterunderflow
tweak
062ae32
@butterunderflow
remove end of type definition
f1159cb
@butterunderflow
allow optional | after type definition
903f599
@butterunderflow
pp module type & move some test to pretty print typed tree
91a9b3e
@butterunderflow
add type annotation to module restrict & more tests
e09ff83
@butterunderflow
config module type printing
ffce151
@butterunderflow butterunderflow merged commit 1470816 into master Jun 18, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@butterunderflow