search

ruby / typeprof

An experimental type-level Ruby interpreter for testing and understanding Ruby code
MIT License
755 stars 84 forks source link

Prevent the analysis from getting stuck #259

Closed mame closed 1 month ago

mame commented 1 month ago

Creating a new vertex in argument matching may cause infinite loop. See scenario/misc/ivar-stuck-case.rb.

mame commented 1 month ago

However, this changeset brings a huge performance degeneration. I want a better solution...