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

Basic Type inferencing of code within the same file #12

Closed
philberty opened this issue May 1, 2020 · 0 comments · Fixed by #23, #29, #33 or #71
Closed

Basic Type inferencing of code within the same file #12

philberty opened this issue May 1, 2020 · 0 comments · Fixed by #23, #29, #33 or #71
Assignees
@philberty
Labels
WIP
Projects
Data Structures 1 - Core
Milestone
Data Structures 1...

Comments

@philberty
Copy link
Member

We need to create a method to do name resolution and type basic type inferencing
philberty added a commit that referenced this issue May 1, 2020
@philberty
This setups an initial frame work for our resolution step for the pip…
5daf7bc 
…eline

More work is required but it takes advantage of the vistior pattern
from the AST so we can do this without RTTI and dynamic_casts.

More passes on the AST AKA our HIR should follow this pattern.

Addresses: #12
philberty added a commit that referenced this issue May 1, 2020
@philberty
This setups an initial frame work for our resolution step for the pip…
8ab99b1 
…eline

More work is required but it takes advantage of the vistior pattern
from the AST so we can do this without RTTI and dynamic_casts.

More passes on the AST AKA our HIR should follow this pattern.

Addresses: #12
philberty added a commit that referenced this issue May 2, 2020
@philberty
This sets up the conversion from AST to GCC
01b3551 
It will crash when compiling but its the code setup i want to get in sooner
than later.

Addresses #12
@philberty philberty mentioned this issue May 2, 2020
Merged
philberty added a commit that referenced this issue May 2, 2020
@philberty
This sets up the conversion from AST to GCC
c15966b 
It will crash when compiling but its the code setup i want to get in sooner
than later.

Addresses #12
@philberty philberty self-assigned this May 13, 2020
@philberty philberty added the WIP label May 13, 2020
philberty pushed a commit that referenced this issue May 16, 2020
WIP more type inferencing code for LetStmt
1f220b5 
Addresses: #12
@philberty philberty linked a pull request May 16, 2020 that will close this issue
WIP more type inferencing #23
Merged
@philberty philberty linked a pull request May 18, 2020 that will close this issue
Add type resolution to CallExpr #29
Merged
@philberty philberty reopened this May 18, 2020
@philberty philberty linked a pull request May 21, 2020 that will close this issue
WIP more GIMPLE conversion #33
Merged
@philberty philberty reopened this May 21, 2020
@philberty philberty reopened this May 22, 2020
@philberty philberty mentioned this issue Dec 18, 2020
Merged
@philberty philberty linked a pull request Dec 18, 2020 that will close this issue
Add type unification as part of typecheck. #71
Merged
@philberty philberty added this to the Core Datastructures milestone Dec 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@philberty philberty

Labels
WIP
Projects
No open projects
Data Structures 1 - Core
  
Done
Milestone
Data Structures 1 - Core
1 participant
@philberty