Skip to content

base: Better error message on invalid getSystemTimerManager call

Ben Gamari requested to merge wip/T15616 into master

Previously we would produce a rather unhelpful pattern match failure error in the case where the user called getSystemTimerManager in a program which isn't built with -threaded. This understandably confused the user in #15616 (closed).

Fixes #15616 (closed).

Merge request reports