Closed jeasinema closed 6 years ago
I change the type checker to a more reasonable one, reference.
To prevent introducing new local variables, I just convert the type instead of making a copy.
Is there any update for this?
Thanks for your work!
I change the type checker to a more reasonable one, reference.
To prevent introducing new local variables, I just convert the type instead of making a copy.