Multiple macros expansions with bindings results in exponential time complexity

[andreypopp]

Using code from master branch.

Example macro

macro m {
  rule { $val:expr } => {
    var x = $val;
  }
}

m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11

expands in 1.04s

While

m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11

expands in 5.34s

And after adding just a one more m 11

m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11
m 11

in 10.26s

:(

[andreypopp]

Possibly related to #86

[andreypopp]

If I remove var keyword then everything is fast so this is probably an issue with how hygiene is handled.

[andreypopp]

Macro like

macro m {
  rule { $val:expr } => {
    y = function() {
      var x = $val;
    }
  }
}

which creates a new lexical scope doesn't cause the problem

[andreypopp]

After some profiling I see it's resolveCtx function takes a lot of time.

[disnet]

For additional context see #90. resolveCtx used to be way worse but we still have a ways to go.

Some initial guesses about this slowdown. It probably has something to do with the interaction of definition contexts and marks. There's a short circuit that should be taken in certain cases that might be failing to trigger?

[disnet]

I'm mass closing issues due to the release of 1.0 obviating lots of bugs. If you feel this issue is something we still need to address feel free to reopen.