Skip to content

Add type inference #1652

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
Draft
wants to merge 70 commits into
base: main
Choose a base branch
from
Draft

Add type inference #1652

wants to merge 70 commits into from

Conversation

EagleoutIce
Copy link
Member

No description provided.

loki259 and others added 30 commits April 5, 2025 23:56
@loki259
feat: infer types for constant expressions
337ed96
@loki259
style: make stylistic changes to satisfy ESLint
4ef9811
@loki259
test(typing): streamline the type inferencer tests using describe.each
746596b
@loki259
feat(typing): add preliminary support for expression lists and NULL
e53e003
@loki259
test(typing): add tests for unsupported expression types
8072fe6
@loki259
test: add a test for empty expression lists
ce1fc8c
@loki259
feat(typing): add support for complex number literals
53fe22f
@loki259
test(types): refactor tests to use tree-sitter
18ec199
@loki259
refactor: refactor the type representation of R data types
bb514bf
@loki259
Merge branch 'main' into 174-add-type-inference
2eccfcd
@loki259
Merge branch 'main' into 174-add-type-inference
67f9204
@loki259
feat(ast): add mapAstInfo for transforming metadata attached to nodes
ebcff1e
@loki259
Merge branch '1637-map-attached-ast-info' into 174-add-type-inference
9c8c4c1
@loki259
wip(typing): rework type inference to use type variables and constraints
e8f02a2
@loki259
Merge branch 'main' into 174-add-type-inference
c74a1cb
@loki259
refactor(typing): replace '<>' with EmptyArgument constant
9b7e136
@loki259
refactor(typing): rename string representation of RDataTypeTag.Any
d936697
@loki259
feat-fix(typing): fix erroneous property access of inferredType
ac3b105
@EagleoutIce
feat-fix(semantic-cfg): explicit onProgram visitor
9710138 
and in-place ast mapping/type decoration
@loki259
refactor(ast): rework mapAstInfo to mutate the AST nodes in place
14913c4
@loki259
refactor(ast): define default for downUpdater argument of mapAstInfo
5339c1a
@loki259
feat(ast): add wrapper of mapAstInfo for normalized ASTs
d00cced
@loki259
Merge branch '1637-map-attached-ast-info' into 174-add-type-inference
c966fe9
@loki259
refactor(typing): infer types directly on the normalized AST
b1b5963
@loki259
test(typing): add test helper for asserting types of queried subnodes
a9bbff0
@loki259
meta(typing): rename test file to better reflect its testing domain
d65e243
@loki259
feat(typing): add support for variables
2427695
@loki259
refactor(typing): handle expression lists more robustly via return edges
45a417d
@loki259
refactor(typing): handle variables more robustly
5d631fc
@loki259
feat(typing): add preliminary support for functions
76c5c1b
loki259 added 11 commits May 25, 2025 00:07
@loki259
feat-fix(cfg): link for loop cfg exits using end instead of exit
9cd59e9
@loki259
Merge branch '1676-misspelled-origin-identifier-for-repeat-loops' int…
393080f 
…o 174-add-type-inference
@loki259
Merge branch '1677-loop-cfg-vertices-use-exit-instead-of-end-field' i…
fa54a37 
…nto 174-add-type-inference
@loki259
build-fix(typing): fix merge issues
38238af
@loki259
test(typing): test type inference for loops
5aad303
@loki259
Merge remote-tracking branch 'origin/main' into 174-add-type-inference
afccc29
@loki259
refactor(typing): refactor onDefaultFunctionCall
3222f31
@loki259
Merge remote-tracking branch 'origin/main' into 174-add-type-inference
c8bbeca
@loki259
feat(typing): add support for NULL constants
41b166c
@loki259
test(typing): add tests for currently inferrable builtin functions
24a4e33
@loki259
feat-fix(typing): fix type inference for quote calls
8720315
loki259 and others added 12 commits June 1, 2025 12:56
@loki259
Merge remote-tracking branch 'origin/main' into 174-add-type-inference
a07b142
@loki259
build-fix(typing): resolve merge issues
7fcd64f
@loki259
test(typing): update test cases for loops and conditionals
b660b7b
@loki259 @EagleoutIce
Add A Query Type For Querying Data Types (#1707)
92f3f71 
* feat(cli): add repl command for extracting inferred types from ast nodes

* feat(query-api): implement 'datatype' query

* refactor(repl): remove datatype repl command in favor of related query

* feat(query-api): make criterion in datatype query optional

* refactor(query-api): simplify datatype query implementation

* doc(datatype-query): add to wiki

* refactor(query): supply flatting op

* doc(query): bum pquery api wiki

---------

Co-authored-by: Florian Sihler <[email protected]>
@loki259
feat(typing): include dead code analysis passes when extracting the cfg
9693b40
@loki259
Merge branch '174-add-type-inference' of github.com:flowr-analysis/fl…
473ee21 
…owr into 174-add-type-inference
@loki259
Merge remote-tracking branch 'origin/main' into 174-add-type-inference
dae9dca
@loki259
test(typing): edit tests
6dab576
@loki259
feat(typing): properly track conflicting types within RErrorType
a676aad
@loki259
refactor(typing): refactor typing of if-then-else calls
6f65c7e
@loki259
refactor(typing): remove Any and Never and introduce Unknown type
f7bb39d 
`Any` and `Never` are incompatible with the current unification-based approach of the type inference system and will be reintroduced for implementing a system with support for subtyping in the future.
@loki259
feat-fix(typing): fix typing of get calls
8565e11
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.
2 participants
@EagleoutIce @loki259