Ignore should be tied to the target of synthesis, not the ignored function. #29
Labels
bug
Something isn't working
good first issue
Good for newcomers
help wanted
Extra attention is needed
The problematic use case is when we have a module M, which is imported from both files A and B. A wants to ignore everything in M, but B wants to ignore only a few. The current
ignore
decorator does not support this use case.Inspired by Aesop, a solution is to wrap the target function in a syn_ignore decorator:
This feature might require Metadata in decorators (#30)
Namespaces can be used as ignoring keywords (#26).
The text was updated successfully, but these errors were encountered: