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.

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

Metahandlers #65

Merged
merged 58 commits into from
Aug 8, 2024
Merged

Metahandlers #65

merged 58 commits into from
Aug 8, 2024

Conversation

eduardo-imadeira
Copy link
Collaborator

@eduardo-imadeira eduardo-imadeira commented Apr 26, 2024

  • hole refined type to metahandlers
  • handle refined types during grammar nodes generation from ctx (break this down into smaller tasks):
    • the grammar nodes of vars with refined types should extend to the grammar nodes that represent the base type of the refinement type and the grammar node that represent the refined type
    • translation of aeon refined types to sympy, get the bounded intervals and convert them if possible to GeneticEngine Metahandlers

@eduardo-imadeira eduardo-imadeira self-assigned this Apr 26, 2024
@eduardo-imadeira
Copy link
Collaborator Author

eduardo-imadeira commented Jun 4, 2024

@alcides the GA is failing due to this error:

aeon/synthesis_grammar/grammar.py:233:73 SyntaxError: invalid syntax 'return metahandler_list[0] if len(metahandler_list) == 1 else Union[*metahandler_list]

Is it becasue of the usage of the unpacking operator * ?

@alcides
Copy link
Owner

alcides commented Jun 7, 2024

@alcides the GA is failing due to this error:

aeon/synthesis_grammar/grammar.py:233:73 SyntaxError: invalid syntax 'return metahandler_list[0] if len(metahandler_list) == 1 else Union[*metahandler_list]

Is it becasue of the usage of the unpacking operator * ?

Have you tried other python versions?

Also, you can try and use the Union constructor, instead of the [] operator.

@alcides alcides merged commit 65a1ed4 into master Aug 8, 2024
5 checks passed
@alcides alcides deleted the metahandlers branch August 8, 2024 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants