CoreLint lints all top-level bindings as recursive bindings
At the moment, lintCoreBindings
calls lintRecBindings
for all the top-level bindings, which means that top-level non-recursive bindings are linted as top-level recursive bindings.
That in turn shows in !2218 (closed), where CoreLint trips up on top-level bindings for DataCon workers and wrappers after CorePrep. These bindings are ok-for-spec, so CoreLint wouldn't trigger if they were correctly linted as non-recursive.