andrejbauer/eff — comment on commit a528c1e702e3b92f514741768f224773e92bfb68
File: pervasives.eff line 16
By andrejbauer:

A datatype of common "system level" exceptions. It seems better to use a single (builtin) exception instance err for all such exceptions, mainly because then we can have nice printing of uncought exceptions.