Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 2d160222 by Simon Hengel at 2026-01-24T07:13:17-05:00 Fix typo in roles.rst - - - - - 1 changed file: - docs/users_guide/exts/roles.rst Changes: ===================================== docs/users_guide/exts/roles.rst ===================================== @@ -38,7 +38,7 @@ trouble. The way to identify such situations is to have *roles* assigned to type variables of datatypes, classes, and type synonyms. -Roles as implemented in GHC are a from a simplified version of the work +Roles as implemented in GHC are based on a simplified version of the work described in `Generative type abstraction and type-level computation https://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf`__, published at POPL 2011. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2d160222aa5cfa994999d73483877acb... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2d160222aa5cfa994999d73483877acb... You're receiving this email because of your account on gitlab.haskell.org.
participants (1)
-
Marge Bot (@marge-bot)