Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
types
Coercion.lhs
Find file
Blame
History
Permalink
Rename setRole_maybe to downgradeRole_maybe
· 9c81db45
Simon Peyton Jones
authored
Oct 29, 2014
This change is just for naming uniformity with the existing downgradeRole
9c81db45