Skip to content

Normalize types when dropping absent arguments from workers

As described in #17852 (closed), absent unlifted newtypes are not dropped in the worker when performing a worker/wrapper split. This small patch fixes that by applying topNormaliseType_maybe to unlifted types in WwLib.mk_absent_let.

Edited by Alexis King

Merge request reports