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
Currently the code that checks if declarations changed makes the (first) changed module to typecheck twice.
Instead of using Bool, this should be rewriten in a more constructive style. Can be done separately.
Currently the code that checks if declarations changed makes the (first) changed module to typecheck twice.
Instead of using
Bool
, this should be rewriten in a more constructive style. Can be done separately.Originally posted by @fizruk in #159 (comment)
The text was updated successfully, but these errors were encountered: