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

feat: Add polymorphism #61

Merged
merged 97 commits into from
Jan 9, 2024
Merged

feat: Add polymorphism #61

merged 97 commits into from
Jan 9, 2024

Conversation

mark-koch
Copy link
Collaborator

No description provided.

mark-koch and others added 30 commits November 21, 2023 15:55
@mark-koch
Factor out checking code
414dbf1
@mark-koch
Factor out graph generation code
bba9c96
@mark-koch
Update cfg
eb1a327
@mark-koch
Update files
4390ddd
@mark-koch
Add statement compiler
d48a149
@mark-koch
Moves custom AST nodes to separate file
a5d51e1
@mark-koch
Add custom funcs, replacing extensions
3edaa00
@mark-koch
Factor out decorator from module code
de2508f
@mark-koch
Reimplement prelude
f9033fd
@mark-koch
Remove unused files
5fb37d0
@mark-koch
Fix tests
18222ed
@mark-koch
Remove unused imports
6db0327
@mark-koch
Run formatting
8616f6b
@mark-koch
Rename guppy_types to types
de454bd
@mark-koch
Make node optional for type building
4dba8a7
@mark-koch
Get rid of NotImplementedCompiler
3b0d0f4
@mark-koch
Make base_checker in ReversingChecker optional
b7ccf59
@mark-koch
Add unsupported builtins
c4bcbea
@mark-koch
Rename types to gtypes
ab599bc
@mark-koch
Split up into multiple PRs
f7be21d
@mark-koch
Add type checking code
871b14c
@mark-koch
Add _internal file
aa33857
@mark-koch
Fix formatting
aabc6ca
@mark-koch
Work on polymorphism
21585fa
@mark-koch
Merge remote-tracking branch 'origin/refactor/compilation-stages' int…
b0f482e 
…o stages/check
@mark-koch
refactor: Move graph generation code (#59)
497cd23 
* Add graph generation code

* Rename predicate to TupleSum

* Add function to add input node with ports
@mark-koch
Merge remote-tracking branch 'origin/refactor/compilation-stages' int…
0f1c428 
…o stages/check
@mark-koch
Merge remote-tracking branch 'origin/stages/check' into feat/poly
62dbf26
@mark-koch
Fix add_input_with_ports
a3ba236
@mark-koch
Merge remote-tracking branch 'origin/refactor/compilation-stages' int…
0851fd6 
…o stages/check
Base automatically changed from stages/check to refactor/compilation-stages December 5, 2023 09:13
Base automatically changed from refactor/compilation-stages to main December 5, 2023 09:28
croyzor
croyzor reviewed Jan 3, 2024
View reviewed changes
guppy/hugr/tys.py Show resolved Hide resolved
tests/error/misc_errors/return_not_annotated_none1.err Outdated Show resolved Hide resolved
guppy/declared.py Show resolved Hide resolved
guppy/checker/expr_checker.py Outdated Show resolved Hide resolved
guppy/gtypes.py Show resolved Hide resolved
guppy/checker/func_checker.py Show resolved Hide resolved
guppy/hugr/hugr.py Show resolved Hide resolved
guppy/hugr/ops.py Outdated Show resolved Hide resolved
tests/error/poly_errors/non_linear1.err Show resolved Hide resolved
tests/integration/test_poly.py Show resolved Hide resolved
@mark-koch mark-koch mentioned this pull request Jan 8, 2024
Merged
@mark-koch mark-koch merged commit d0cf104 into main Jan 9, 2024
1 check passed
@mark-koch mark-koch deleted the feat/poly branch January 9, 2024 13:47
@github-actions github-actions bot mentioned this pull request Apr 10, 2024
Merged
@hugrbot hugrbot mentioned this pull request Oct 21, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@croyzor croyzor croyzor approved these changes

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
@mark-koch @croyzor