3 ms·
It probably could be checked statically if someone taught the type checker about this package so that it could track which variables are frozen at which points
by rcthompson 5y ago
It probably could be checked statically if someone taught the type checker about this package so that it could track which variables are frozen at which points in the code.