Commit Graph

661 Commits (6d50e0cc26acae1e87b56185171b64711f9b9d59)
 

Author SHA1 Message Date
Ibrahim Numanagić 6d50e0cc26 Various bugfixes 2024-05-04 20:59:20 -07:00
Ibrahim Numanagić 843644f04f Merge branch 'develop' into typecheck-v2 2024-05-03 21:09:08 -07:00
Ibrahim Numanagić f73e974a3d Remove default inits; various bugfixes 2024-04-21 14:05:06 -07:00
Ibrahim Numanagić e7bb5c1609 Merge remote-tracking branch 'origin/cancall_new' into develop 2024-04-03 09:42:42 -07:00
A. R. Shajii 4c0caeb020 Fix error message printing 2024-04-03 11:55:10 -04:00
Ibrahim Numanagić 07ffc62511 Fix traits 2024-04-01 17:26:34 -07:00
Ibrahim Numanagić 547c744b53 Fix infer [wip] 2024-03-28 14:56:25 -07:00
Ibrahim Numanagić 03cbed7c31 Fix constructor passing 2024-03-22 06:47:27 -07:00
Ibrahim Numanagić 127bca6cf3 Fix methodcaller 2024-03-21 15:39:30 -07:00
Ibrahim Numanagić af9a74301a Add unrealized_type 2024-03-21 14:42:43 -07:00
Ibrahim Numanagić b15b70875a Fix partials [wip] 2024-03-21 11:29:07 -07:00
Ibrahim Numanagić 9a370468f3 Fix hasUnbounds 2024-03-20 15:16:33 -07:00
Ibrahim Numanagić 19be8cee98 Fix Link.unify 2024-03-20 15:07:15 -07:00
Ibrahim Numanagić f24bfee9b1 Add hasUnbounds 2024-03-20 13:47:50 -07:00
Ibrahim Numanagić 93f3c36c23 Fix tests 2024-03-19 10:31:08 -07:00
Ibrahim Numanagić e737536b38 Fix polymorphism 2024-03-18 16:15:36 -07:00
Ibrahim Numanagić f4fe8ec18f Remove RecordType 2024-03-13 12:54:30 -07:00
Ibrahim Numanagić df94b9061c Remove RecordType 2024-03-09 18:18:10 -08:00
Ibrahim Numanagić d02775dec0 Fix statics [wip] 2024-03-08 16:51:18 -08:00
Ibrahim Numanagić 9b18a739ea New static fixes [wip] 2024-03-06 20:50:51 -08:00
Ibrahim Numanagić 0c5e22bf6d Fix statics [wip] 2024-03-04 19:11:22 -08:00
Ibrahim Numanagić 4ae3c5f7ec Fix statics [wip] 2024-03-04 13:06:52 -08:00
Ibrahim Numanagić b2f3d45a51 New static fixes [wip] 2024-03-04 09:02:48 -08:00
A. R. Shajii 0e42fded1a
2024 updates (#548)
* Update copyright dates in stdlib

* Update copyright dates in cpp files

* Update copyright dates in h files

* Update copyright dates in py files

* Bump version

* Update LICENSE

* Update release notes
2024-03-02 16:30:03 -05:00
Ibrahim Numanagić d2d4bb73a7 Use type[] for type variables; Revamp statics and types[wip] 2024-03-01 14:11:23 -08:00
Philip Kaelbling 4400e3d849
Generic Slices (#544)
* Changed slice fields to generics, added check to adjust_indices

* fix typecheck

* Refactored Slice class, fixed test

* fix test

* made slice fields optional, updated tests

* Fix list optimization for new slices; update tests

---------

Co-authored-by: A. R. Shajii <ars@ars.me>
2024-02-25 11:42:31 -05:00
A. R. Shajii 4be3bbf9e7
Add allocation hoist optimization (#534)
* Add allocation hoist optimization

* Fix analysis of nested loops

* Check for irreducible cycles

* Add additional check when analyzing insertvalue

* Add allocation-specific attributes in LLVM IR

* Remove unused calloc function from runtime library

* Add float -> intN and float -> uintN constructors

* Only hoist atomic allocations

* Update codegen

* Simplify codegen

* Change allocation hoist pass to be a function pass

* Fix loop iteration order

* Use 'struct' instead of 'class'

* Add check for phi instructions in header; refactor

* Remove unneeded checks

* Fix C++ benchmark

* Remove annotation
2024-02-22 19:31:19 -05:00
Ibrahim Numanagić d3f3486f5a Fix static.fn_can_call 2024-02-21 17:33:12 -08:00
A. R. Shajii 7a787bfcf1
Import fixes (#542)
* Fix sub-imports

* Fix sub-imports

* Remove log lines

* Fix out-of-module shadowing

---------

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2024-02-17 15:31:17 -05:00
Ibrahim Numanagić b853397b34 Fix out-of-module shadowing 2024-02-15 19:37:17 -08:00
Ibrahim Numanagić c16dfb5654
Fix sub-imports (#538)
* Fix sub-imports

* Fix sub-imports

* Remove log lines

---------

Co-authored-by: A. R. Shajii <ars@ars.me>
2024-02-07 10:36:07 -05:00
Ibrahim Numanagić a61ed7d164 Fix sub-imports 2024-02-05 18:07:16 -08:00
Ibrahim Numanagić 9993ddc3e4 Fix sub-imports 2024-02-05 17:12:25 -08:00
dependabot[bot] 927e430dd0
Bump actions/cache from 3 to 4 (#536)
Bumps [actions/cache](https://github.com/actions/cache) from 3 to 4.
- [Release notes](https://github.com/actions/cache/releases)
- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md)
- [Commits](https://github.com/actions/cache/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/cache
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-02-02 10:56:13 -05:00
A. R. Shajii e40527f845
Add from-str constructors for several types (#533)
* Add from-str constructors for several types

* Fix tests

* Disable test
2024-01-25 13:41:36 -05:00
A. R. Shajii 725003c64f
Upgrade to LLVM 17 (#531)
* Support LLVM 16

* Update for LLVM 17

* Add climits include

* Use LLVM 17 branch

* Disable tests in clang build

* Fix regex GC issue

* Use new "codon" branch of exaloop/llvm
2024-01-23 17:12:58 -05:00
A. R. Shajii c8bc944a50
Updates - January 2024 (#530)
* Add bz2

* Support 'b' prefix on str

* List.index() throws an exception if item not found

This is consistent with Python. Added find() method that returns -1 similar to str (although this does not exist in Python's list).

* Update complex64 str and repr

* Fix tests

* Add 'default' arg to min() and max()
2024-01-19 11:22:20 -05:00
Ibrahim Numanagić b1b75913ec Fix Python 2024-01-18 11:53:57 -08:00
Ibrahim Numanagić 9a1c2741ee Fix imports and Python [wip] 2024-01-17 21:33:13 -08:00
Ibrahim Numanagić 41dcb83be0 Fix lambdas [wip] 2024-01-16 09:14:37 -08:00
A. R. Shajii d23c8c7a75
Support "key" argument on min() and max() builtins (#505)
* Support "key" argument on min() and max() builtins

* Delay overload selection when arguments are not known (delayed dispatch)

* Delay 'is None' for 'Optional[T]' until type is known

* Fix union overload selection

* Add static string slicing

* Fix itertools.accumulate

* Fix list comprehension optimization ( minitech:imports-in-list-comprehensions )

* Fix match or patterns

* Fix tests and faulty static tuple issue

* Fix OpenMP reductions with new min/max functions

* Fix domination of dominated bindings; Fix hasattr overloads; Fix arg=None handling

* Fix empty return handling; Mark generators with an attribute

* Fix #487

* Fix test

* Fix IR pass

---------

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2024-01-12 19:27:29 -05:00
Ibrahim Numanagić 377e619f7f Fix loops 2024-01-09 12:36:18 -08:00
Ibrahim Numanagić 10503d3c2a Fix loops 2024-01-09 12:31:45 -08:00
Ibrahim Numanagić cdc8e17955 Fix static issues 2024-01-08 23:09:29 -08:00
dependabot[bot] 8a0064a611
Bump actions/upload-artifact from 3 to 4 (#523)
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 3 to 4.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](https://github.com/actions/upload-artifact/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/upload-artifact
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-01-02 13:36:11 -05:00
A. R. Shajii d609629489
Format 1-element tuples as "(x,)" (#521)
* Format 1-element tuples as "(x,)"

Currently, single-element tuple "repr" / "str" gives "(x)", but it should really give "(x,)" according to Python.

* Fix tests
2024-01-02 13:35:55 -05:00
dependabot[bot] f476ff2f92
Bump actions/download-artifact from 3 to 4 (#524)
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-01-02 13:35:34 -05:00
dependabot[bot] f819bfd943
Bump actions/setup-python from 4 to 5 (#525)
Bumps [actions/setup-python](https://github.com/actions/setup-python) from 4 to 5.
- [Release notes](https://github.com/actions/setup-python/releases)
- [Commits](https://github.com/actions/setup-python/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/setup-python
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-01-02 13:35:17 -05:00
Ibrahim Numanagić 416cc5fa59
Bugfixes (Dec 2023) (#515)
* Delay overload selection when arguments are not known (delayed dispatch)

* Delay 'is None' for 'Optional[T]' until type is known

* Fix union overload selection

* Add static string slicing

* Fix itertools.accumulate

* Fix list comprehension optimization ( minitech:imports-in-list-comprehensions )

* Fix match or patterns

* Fix tests and faulty static tuple issue
2023-12-26 09:35:03 -05:00
Ibrahim Numanagić cff38ea734 Fix cond tests [wip] 2023-12-13 17:23:50 -08:00