Skip to content

Generalize liftData to work over any Quote (#17857)

Ryan Scott requested to merge wip/T17857 into master

The Overloaded Quotations proposal generalized the type of lift to work over any Quote, but not the type of liftData, leading to #17857 (closed). Thankfully, generalizing liftData is extremely straightforward.

Fixes #17857 (closed).

Merge request reports