Ibrahim Numanagić
|
cb945f569c
|
Typechecker refactoring (#20)
* Initial refactor commit
* Support external vars
* Simplify refactor; Python scoping [wip]
* Python scoping [wip]
* Python scoping [fix loops; wip]
* Fix lambdas
* Python scoping [test fixes; wip]
* Fix scoping [wip]
* Fix basic tests [no-ci]
* Fix tests
* CallExpr refactoring [wip]
* CallExpr refactoring [wip]
* Remove activeUnbounds tracking
* Add core.codon
* Move Function and other core types to core.codon; Revamp Function and Callable types
* Refactor IntExpr, FloatExpr and CallExpr
* Refactor ClassStmt
* Refactor context, IdExpr and DotExpr
* Refactor DotExpr and AssignStmt
* Refactor ImportStmt
* Refactor FunctionStmt
* Refactor
* Remove UpdateStmt
* Refactor AssignReplacementVisitor
* Make SimplifyVisitor in-place
* Fix new scoping
* Fix import type alias handling
* Add docstrings; Complete Simplify refactoring
* Fixes for seqtest
* Refactor typecheck [wip]
* Refactor typecheck [wip]
* Refactor typecheck/access; Remove void anduse NoneType; Fix #18
* Refactor typecheck/assign
* clang-format and cmake-format
* Fix none types in IR
* Multi-error support in simplify
* Fix IR tests for new void
* Simplify ClassStmt
* Refactor cond.cpp
* Refactor error.cpp
* Refactor function.cpp and simplify unbounds
* Refactor op.cpp
* Refactor call.cpp [wip] [no-ci]
* seqassertn updates [noci]
* Refactor call.cpp
* Refactor call.cpp
* Refactor call.cpp
* Refactor typecheck
* clang-tidy updates [noci]
* Refactor infer.cpp [wip]
* Refactor infer.cpp
* Refactor wrapExpr
* Remove visitedAsts
* Remove old base logic
* Refactor typecheck ctx
* Fix JIT bug
* Fix JIT tests
* Scoping fixes [wip] [noci]
* Fix ImperativeForFlow var store
* Add newlines [noci]
* Dump IR module with log flag
* Fix scoping bugs; Add &, ^ and | static operations; Address stylistic review issues
* Fix side effect analysis for for-loops
* Add support for class variables and ClassVar
* Refactor special dot-member cases
* Add codon app tests
* Fix class variables; clang-tidy
* Fix __argv__
* Add datetime constants and update tests
* Fix #25; Add Py_None, Py_True and Py_False; External var support [wip]
* External var support [wip]
* Dump LLVM IR when debug flags are active
* clang-format
* Fix arg var construction
* Extern var fixes
* Undo extern var changes related to stdout etc.
* Fix tuple magics
* Fix extern vars and tuple magics
* Fix duplicate var name error
* Fix extern vars
* Fix #16
* Fix side-effect analysis for try-catch
* Move test C var to test executable
* Add staticmethod
* Fix var status for try-catch
* Fix tests
* Fix shell var name
* Fix test
* Fix app test
* Fix scoping issue (remove dominated identifier from stack)
* Fix no-pie issue
* Use PIC when building library object
* Don't use -no-pie when building library [noci]
* Use -relocation-model=pic in test
* Fix lib build on Linux
* Fix lib build
* Update exceptions to use subclasses vs. header
* Fix __repr__
* Fix tests
* Fix exceptions test
* Don't build docs
Co-authored-by: A. R. Shajii <ars@ars.me>
|
2022-07-26 16:06:00 -04:00 |
A. R. Shajii