Skip to content

Use the wrapper for an unlifted binding

Simon Peyton Jones requested to merge wip/T21516 into master

We assumed the wrapper for an unlifted binding is the identity, but as #21516 (closed) showed, that is no always true.

Solution is simple: use it.

Merge request reports