You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
lazyvala= b | b
lazyvalb= c | c
lazyvalc= d | d
// ...lazyvalz= a | a
Example courtesy of Michael Adams. I'm pretty sure this requires 2^26 operations to compute, since tracked is unshared between branches. Unfortunately, the fix is not as simple as extracting tracked to be shared by both branches, since doing so will cause nodes to not be revisited when their values have been subsequently determined. An example of where naive extraction will fail:
lazyvala:Parser[Any] = b ~ c
lazyvalb:Parser[Any] = c | () ^^^""lazyvalc:Parser[Any] = b |"x"
a.isNullable must beTrue
The text was updated successfully, but these errors were encountered:
Example courtesy of Michael Adams. I'm pretty sure this requires 2^26 operations to compute, since
tracked
is unshared between branches. Unfortunately, the fix is not as simple as extractingtracked
to be shared by both branches, since doing so will cause nodes to not be revisited when their values have been subsequently determined. An example of where naive extraction will fail:The text was updated successfully, but these errors were encountered: