mirrors
/
codon
mirror of https://github.com/exaloop/codon.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
306 Commits
12 Branches
13 Tags
23 MiB
Commit Graph

29 Commits (3dfd377d2fb40da6db259cd225754e3810427957)

Author SHA1 Message Date
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
Ishak Numanagić 8d72ff8cfa CR pt. 1 2022-02-28 21:21:46 +01:00
Ibrahim Numanagić d59ec14cc6 @deduce tests 2022-02-18 17:34:23 -08:00
Ibrahim Numanagić 2506cb849e Use @overload for top-level function overloads; Partial function bugfixes 2022-02-18 17:27:24 -08:00
Ibrahim Numanagić aaf5e03e56 Fix Linux undefined behaviour; Update CMake for g++ 2022-02-17 19:03:07 -08:00
Ibrahim Numanagić 47bea7017b Add isinstance support for inherited classes; Fix review issues 2022-01-11 11:49:12 -08:00
Ibrahim Numanagić 3920a16cdd Add tests for super() 2022-01-07 18:33:51 -08:00
Ibrahim Numanagić cb0a6ea443 Rename function overload 'super' to 'superf' 2022-01-07 17:27:51 -08:00
Ibrahim Numanagić d6ace332b8 Fix partial dots 2021-12-29 17:58:22 -08:00
Ibrahim Numanagić c79035b180 Merge remote-tracking branch 'origin/develop' into fn-dispatch 2021-12-29 17:07:24 -08:00
Ibrahim Numanagić 18d1d9b51e
Seq backports (#8) 
* Backport seq-lang/seq@develop fixes

* Backport seq-lang/seq@develop fixes

* Resolve review issues

* Resolve File.__copy__() issue

* Resolve incorrect partial handling of object methods

* Use ints and floats for __suffix__ methods

* Fix float test

* Update complex tests

* Fix float constructor

* Fix cmath test

Co-authored-by: A. R. Shajii <ars@ars.me>
 2021-12-29 19:46:15 -05:00
Ibrahim Numanagić 5bca6e47a9 Support for overloaded functions 2021-12-29 09:56:07 -08:00
Ibrahim Numanagić fa7278e616 Support for overloaded functions [wip; base logic done] 2021-12-28 20:58:20 -08:00
Ibrahim Numanagić 58664374c7 Add super() tests; Allow static inheritance to inherit @extend methods 2021-12-17 10:10:40 -08:00
Ibrahim Numanagić ec76298ab5 Fix grammar to allow variable names that have reserved word as a prefix 2021-12-16 13:56:37 -08:00
Ibrahim Numanagić acc96aa6eb Add support for partial functions with *args/**kwargs; Fix partial method dispatch 2021-12-16 13:23:31 -08:00
Ibrahim Numanagić 3d6090322d Fix various bugs and update tests 2021-12-15 11:44:17 -08:00
Ibrahim Numanagić a68e95fb2b Select the last matching overload by default [wip] 2021-12-12 11:30:57 -08:00
Ibrahim Numanagić 721531c409 Backport seq-lang/seq@develop fixes 2021-12-10 13:01:40 -08:00
Ibrahim Numanagić adac82bdef Backport seq-lang/seq@develop fixes 2021-12-10 12:28:19 -08:00
Ibrahim Numanagić 5834228f3d Fix pipeline JIT bug 2021-12-10 10:46:48 -08:00
A. R. Shajii 1cf742d5ec Fix byte __repr__ 2021-10-13 12:21:40 -04:00
A. R. Shajii 35895ed811 Transition to __repr__ 2021-10-12 16:16:24 -04:00
A. R. Shajii bf57a4bd48 Add "_" files back 2021-10-02 18:56:18 -04:00
A. R. Shajii 398ef2b328 Fix tests 2021-10-01 14:55:04 -04:00
A. R. Shajii 0d185019f3 .seq to .codon 2021-10-01 09:56:35 -04:00
A. R. Shajii 5e143ecbde Fix test 2021-09-30 16:26:39 -04:00
A. R. Shajii d763282137 Rename (wip) 2021-09-30 15:04:26 -04:00
A. R. Shajii ede7765171 Initial commit 2021-09-27 14:02:44 -04:00