Skip to content

CoreUtils: Make exprIsHNF return True for unlifted variables and WorkWrap: Update Note [Wrapper activation]

Sebastian Graf requested to merge wip/sgraf-misc-2 into master

Just two small patches that improve exprIsHNF and a Note.

Fixes #20140 (closed) and #15056 (closed).

Edited by Sebastian Graf

Merge request reports