Metahandlers - Githubissues

alcides / aeon

Aeon programming language

https://alcides.github.io/aeon/

8 stars 3 forks source link

Metahandlers #65

Closed eduardo-imadeira closed 1 month ago

eduardo-imadeira commented 4 months ago

[x] hole refined type to metahandlers
[x] handle refined types during grammar nodes generation from ctx (break this down into smaller tasks):
- [x] 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
- [x] translation of aeon refined types to sympy, get the bounded intervals and convert them if possible to GeneticEngine Metahandlers

eduardo-imadeira commented 3 months ago

@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 commented 3 months ago

@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.