Skip to content

GFunctors changed to a record

Irene Yoon requested to merge euisuny/iris:gfunctor_record into master

This merge request changes the definition of GFunctors into a record.

Changing the definition to a dependent record fixes certain universe inconsistency issues (gFunctors defined with sigT imposes universe constraints that are incompatible for the Vellvm project).

Merge request reports