CoreUtils: Make exprIsHNF return True for unlifted variables and WorkWrap: Update Note [Wrapper activation]
Just two small patches that improve exprIsHNF
and a Note.
Fixes #20140 (closed) and #15056 (closed).
Just two small patches that improve exprIsHNF
and a Note.
Fixes #20140 (closed) and #15056 (closed).