renaming imported identifiers (Was: Proposal: unify constant functors)

Henning Thielemann lemming at
Mon May 7 19:42:00 CEST 2012

On Fri, 4 May 2012, Andreas Abel wrote:

> P.P.S.:  All of discussion would be superfluous if import statements had a 
> renaming option like in Agda.
>  open import Data.Functor.Constant renaming (Constant to K)
> Maybe that could be a feature of future Haskell as well?

If library writers would define names that work well with qualification, 
then we could simply use qualification renaming for that.

More information about the Libraries mailing list