Added Metadata infrastructure

alcides / aeon

Aeon programming language

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

8 stars 3 forks source link

Closed alcides closed 5 months ago

alcides commented 6 months ago

Addresses #30.

How to implement:

[x] Decorators need to accept a metadata dictionary, and return the new metadata dictionary.
[x] When decorators are being applied for each function, the new metadata is passed to the next decorator.
[x] Between function definitions, the metadata dictionary is also passed on to the next one.
[x] Metadata needs to be passed on to the synthesis procedure.

alcides commented 6 months ago

@eduardo-imadeira What do we want to call "syn_ignore", now that the old "ignore" is remove?

hide/hiding? ignore/ignoring?

eduardo-imadeira commented 6 months ago

@eduardo-imadeira What do we want to call "syn_ignore", now that the old "ignore" is remove?

hide/hiding? ignore/ignoring?

I like having the 'syn' as the prefix of the decorator. But 'hide' is probably a better name than 'ignore', and is also shorter

alcides commented 6 months ago

But then it's inconsistent with minimize (syn_minimize) and the others in the family, no?

With namespaces, we could put them inside a module, and import the module on the top. But that's probably for after your thesis.