No, the title is correct. It specifically means "without generating <<loop>> output". That's a diagnostic GHC-generated code emits when it discovers that evalua

No, the title is correct. It specifically means "without generating <<loop>> output". That's a diagnostic GHC-generated code emits when it discovers that evaluating a thunk requires the result of evaluating that same thunk. The title does use a bit of shorthand, as it's aimed at Haskell developers. And any Haskell dev using GHC with enough experience has run into <<loop>> before. So the title isn't wrong; it's just for a different audience.