andrejbauer/eff — comment on commit a528c1e702e3b92f514741768f224773e92bfb68
File: src/eff.ml line 11
By andrejbauer:

Whether we in interactive mode or not depends on each file separately. If it was loaded with -l then it is non-interactive, otherwise interactive.