-
Notifications
You must be signed in to change notification settings - Fork 3
Open
Labels
component:cross-quotesImprovement/fix to Cross-Quotes functionalityImprovement/fix to Cross-Quotes functionalityhelp wantedExtra attention is neededExtra attention is neededholding out for a heroIt's not impossible, but life is too short to do this to oneself for freeIt's not impossible, but life is too short to do this to oneself for freeissue-type:bugSomething isn't workingSomething isn't working
Description
We need to rewrite trees on untyped-tree phase, because later we cannot turn Expr.quote {} into '{} etc.
But this it not aware of a context, and each code looking like Expr.quote/Expr.splice will be rewritten.
Probably something like would be needed:
- during untyped tree phase
- create rewritten tree part
- create a "tuple" of sort (rewrittenTree, originalTree)
- after/during type checking
- check if the symbols points to Cross-Quotes
- pick rewritten tree if they do, restore the original tree if they don't
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
component:cross-quotesImprovement/fix to Cross-Quotes functionalityImprovement/fix to Cross-Quotes functionalityhelp wantedExtra attention is neededExtra attention is neededholding out for a heroIt's not impossible, but life is too short to do this to oneself for freeIt's not impossible, but life is too short to do this to oneself for freeissue-type:bugSomething isn't workingSomething isn't working