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
It is possible that this change would also make the work-around of #9 unnecessary as there are several server-timeouts are already involved (but might simply not get accounted for because of unsafePerformIO)?
Currently
unsafePerformIO
is used to perform tests.I think the only reason for doing so is, because it was always done like this. However it is not required to do so. Commit 9ba7c0c fixes this.
But the change would involve updating the underlying
GHC_PACKAGE_DB
. That is why this change should happen probably after the semester has ended.The text was updated successfully, but these errors were encountered: