testsuite/tests/polykinds/T13394.hs · 49f69f50afbfd352f0e9645b4dbe87200e63b37e · Reinier Maas / GHC

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

8 years ago

Join points can be levity-polymorphic · 8e053700

It's ok to have a levity-polymorphic join point, thus
   let j :: r :: TYPE l = blah
   in ...

Usually we don't allow levity-polymorphic binders, but join points
are different because they are not first class.  I updated the
invariants in CoreSyn.

This commit fixes Trac #13394.

8e053700

History

Join points can be levity-polymorphic

Simon Peyton Jones authored 8 years ago

It's ok to have a levity-polymorphic join point, thus
   let j :: r :: TYPE l = blah
   in ...

Usually we don't allow levity-polymorphic binders, but join points
are different because they are not first class.  I updated the
invariants in CoreSyn.

This commit fixes Trac #13394.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.