Implement Traversable/Foldable-Burning-Bridges Proposal
|Reported by:||hvr||Owned by:||hvr|
|Keywords:||report-impact||Cc:||hvr, ekmett, core-libraries-committee@…, George, lelf|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||#9621||Differential Rev(s):||Phab:D209|
Description (last modified by )
More details to follow. I've created this ticket to be able to refer to from related preparatory commits.
In a nutshell the FTP (Foldable/Traversable-Proposal) sub-goal of the BBP (Burning-Bridges-Proposal) includes to be able to compile code like the following w/o errors (due to conflicting definitions):
module XPrelude (module X) where import Data.Foldable as X import Data.Traversable as X import Data.List as X import Control.Monad as X import Prelude as X
Other goals include to generalise/weaken type-signatures where possible w/o breaking (much) compatibility with existing code. An in-depth design-document is in the works.
Change History (47)
comment:32 Changed 2 years ago by
|Status:||new → closed|