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

refactor: minor changes to lowering #4364

Merged
merged 1 commit into from
Mar 28, 2024
Merged

refactor: minor changes to lowering #4364

merged 1 commit into from
Mar 28, 2024

Conversation

aljazerzen
Copy link
Member

No description provided.

@aljazerzen aljazerzen merged commit 2e9795d into feat-types Mar 28, 2024
2 checks passed
@aljazerzen aljazerzen deleted the refactor-lowering branch March 28, 2024 13:27
aljazerzen added a commit that referenced this pull request Sep 2, 2024
@aljazerzen
feat-types
13b50d1 
Squashed commit of the following:

commit cbdda4ff7614bee711d785036544b867f981c0bc
Merge: b898560f 6fa675e
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon Jul 22 16:43:16 2024 +0200

    Merge branch 'main' into feat-indirections

commit b898560f3e93f13be9c452f85fac36e5e1ae4a7b
Merge: 96844669 755811b0
Author: Aljaž Mur Eržen <[email protected]>
Date:   Wed Jun 26 11:42:24 2024 +0200

    merge main into feat-types

commit 755811b0f56e3d359a97f67881998c88523dad2e
Author: Aljaž Mur Eržen <[email protected]>
Date:   Wed Jun 26 10:52:47 2024 +0200

    Revert "chore: Move `db.` to a new branch (#4349)"

    This reverts commit 76c4f76.

commit 96844669f9c834fe43d18b79a79ceebe588ce6f0
Author: Aljaž Mur Eržen <[email protected]>
Date:   Fri Jun 14 09:31:57 2024 +0200

    fix: infer types for empty arrays

commit 70fd898c8c231c895cab9f3e033b9ef42127a9c4
Merge: e71ae6dd 80e4a1d7
Author: Aljaž Mur Eržen <[email protected]>
Date:   Fri Jun 14 09:20:11 2024 +0200

    merge main into feat-types

commit 80e4a1d7f50e95fecc51100353919d33e754cf2a
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sat Jun 1 18:59:48 2024 +0200

    Revert "chore: Move `db.` to a new branch (#4349)"

    This reverts commit 76c4f76.

commit e71ae6dd4f5eda78472d6ad5fe65555c6bce4597
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun Jun 2 20:28:46 2024 +0200

    fix: tuple type checking

commit f0627d9
Merge: 041310e f0fd93b
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sat Jun 1 19:29:53 2024 +0200

    merge main into feat-types

commit f0fd93b
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sat Jun 1 18:59:48 2024 +0200

    Revert "chore: Move `db.` to a new branch (#4349)"

    This reverts commit 76c4f76.

commit 041310e
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun May 19 16:39:12 2024 +0200

    refactor: minor cleanup

commit 5867f62
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun May 19 16:36:24 2024 +0200

    fix: lowering aggregate

commit 2e67021
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun May 19 13:51:02 2024 +0200

    refactor: scope

commit fff7a75
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun May 19 12:14:32 2024 +0200

    feat: infer type as array

commit 87df34f
Author: Aljaž Mur Eržen <[email protected]>
Date:   Wed May 15 21:43:20 2024 +0200

    fix: organize tests, minor fixes

commit d855aa9
Author: Aljaž Mur Eržen <[email protected]>
Date:   Wed May 15 20:38:40 2024 +0200

    fix: excluding fields

commit 1980e03
Author: Aljaž Mur Eržen <[email protected]>
Date:   Wed May 15 19:31:48 2024 +0200

    refactor: cleanup TyFunc

commit 39cb797
Author: Aljaž Mur Eržen <[email protected]>
Date:   Wed May 15 19:17:47 2024 +0200

    feat: nested tuple indirection

commit f5fa4f3
Author: Aljaž Mur Eržen <[email protected]>
Date:   Tue May 14 14:27:45 2024 +0200

    refactor: resolving tuple indirection

commit 043047e
Author: Aljaž Mur Eržen <[email protected]>
Date:   Tue May 14 14:04:22 2024 +0200

    feat: lowering for rq operators and relational literals

commit 35eeb84
Author: Aljaž Mur Eržen <[email protected]>
Date:   Tue May 14 12:13:06 2024 +0200

    feat: finalize global generics after each stmt

commit 983c085
Author: Aljaž Mur Eržen <[email protected]>
Date:   Tue May 14 11:58:50 2024 +0200

    refactor: cleanup LayeredModules

commit 4b060ef
Author: Aljaž Mur Eržen <[email protected]>
Date:   Tue May 14 11:42:26 2024 +0200

    refactor: lowering

commit 9d37888
Author: Aljaž Mur Eržen <[email protected]>
Date:   Tue May 14 10:39:04 2024 +0200

    feat: create generics for all unknown types

commit f13c93d
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon May 13 20:19:25 2024 +0200

    refactor: remove DeclKind::TableDecl in favor DeclKind::Expr

commit f5d2588
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon May 13 19:52:06 2024 +0200

    fix: relational functions

commit 6990ff8
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon May 13 18:40:17 2024 +0200

    fix: lowering and special_functions

commit 5120b9a
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon May 13 18:17:25 2024 +0200

    feat: local scopes instead of modules

commit 1631528
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon May 13 13:52:47 2024 +0200

    refactor: move table inference into name resolver

commit db27409
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon May 13 12:47:25 2024 +0200

    feat: unpack must come last

commit 43255ec
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon May 13 12:10:04 2024 +0200

    feat!: forbid functions without paramaters

commit 85da349
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun May 12 12:08:05 2024 +0200

    ignore failed tests

commit 17af072
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon Apr 15 19:20:12 2024 +0200

    feat: resolve functions without inlining

commit e1ebdc4
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon Apr 15 15:35:27 2024 +0200

    feat: split pl::FuncApplication from pl::Func

commit 98e26f0
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon Apr 15 13:19:48 2024 +0200

    refactor: cosmetic tweaks for types

commit 4319c04
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun Apr 14 20:50:14 2024 +0200

    feat: inference between generics

commit e4f4e40
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun Apr 14 19:49:57 2024 +0200

    refactor: merge local and global _generic modules

commit 5e5c015
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun Apr 14 10:45:36 2024 +0200

    refactor: validate_type

commit b8f9895
Author: Aljaž Mur Eržen <[email protected]>
Date:   Thu Apr 4 13:24:04 2024 +0200

    feat: move flatten and special functions into lowering

commit 6d11a77
Author: Aljaž Mur Eržen <[email protected]>
Date:   Thu Apr 4 11:00:25 2024 +0200

    feat: ty tuple exclude

commit 33415ce
Author: Aljaž Mur Eržen <[email protected]>
Date:   Wed Apr 3 12:40:59 2024 +0200

    refactors and fixes

commit 03c6f51
Author: Aljaž Mur Eržen <[email protected]>
Date:   Wed Apr 3 10:04:01 2024 +0200

    fmt

commit ac36f23
Author: Aljaž Mur Eržen <[email protected]>
Date:   Tue Apr 2 13:51:09 2024 +0200

    fix: a few tests

commit f6c29cf
Author: Aljaž Mur Eržen <[email protected]>
Date:   Sun Mar 31 12:23:42 2024 +0200

    feat: global generic arguments for table inference

commit 2d47aeb
Author: Aljaž Mur Eržen <[email protected]>
Date:   Fri Mar 29 16:05:11 2024 +0100

    refactor: generic type parameters

commit 3eac276
Author: Aljaž Mur Eržen <[email protected]>
Date:   Fri Mar 29 15:42:47 2024 +0100

    cleanup inference

commit 2de7286
Author: Aljaž Mur Eržen <[email protected]>
Date:   Fri Mar 29 14:06:38 2024 +0100

    feat: tuple unpacking

commit b33153f
Author: Aljaž Mur Eržen <[email protected]>
Date:   Fri Mar 29 13:14:22 2024 +0100

    feat: wildcard includes and excludes

commit 9aa3397
Author: Aljaž Mur Eržen <[email protected]>
Date:   Fri Mar 29 11:54:19 2024 +0100

    feat: implicit closures and joins

commit 2b3233a
Author: Aljaž Mur Eržen <[email protected]>
Date:   Thu Mar 28 16:53:56 2024 +0100

    feat: remove obsolete type machinery

    This includes:
    - TypeKind::Singleton,
    - TypeKind::Union,
    - type normalization,
    - subtyping,

    This commit also:
    - changes syntax for generic type arguments,
    - adds type annotations to transforms,

    Many tests now fail.

commit 107c22e
Author: Aljaž Mur Eržen <[email protected]>
Date:   Thu Mar 28 12:24:03 2024 +0100

    more lowering & test cases

commit a8040ce
Author: Aljaž Mur Eržen <[email protected]>
Date:   Thu Mar 28 11:49:05 2024 +0100

    feat: rewire lowering to work with indirections

commit 4c53729
Author: Aljaž Mur Eržen <[email protected]>
Date:   Fri Feb 16 19:24:55 2024 +0100

    feat: indirection

commit 43bb7a7
Author: Aljaž Mur Eržen <[email protected]>
Date:   Thu Apr 4 13:27:22 2024 +0200

    refactor: remove `debug eval` command

commit 2e9795d
Author: Aljaž Mur Eržen <[email protected]>
Date:   Thu Mar 28 14:27:20 2024 +0100

    refactor: minor changes to lowering (#4364)

commit 125aafb
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon Mar 25 17:19:58 2024 +0100

    feat!: resolve declaration names before the resolver (#4353)

commit 7dbe057
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon Mar 25 14:21:41 2024 +0100

    build: test for feat-types

commit ee6b2ce
Author: Aljaž Mur Eržen <[email protected]>
Date:   Mon Mar 25 12:30:38 2024 +0100

    feat: indirection parsing (#4356)
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.
1 participant
@aljazerzen