[GHC] #9590: AMP breaks `haskell2010` package

GHC ghc-devs at haskell.org
Wed Oct 1 03:00:42 UTC 2014


#9590: AMP breaks `haskell2010` package
-------------------------------------+-------------------------------------
              Reporter:  hvr         |            Owner:
                  Type:  bug         |           Status:  new
              Priority:  high        |        Milestone:  7.10.1
             Component:              |          Version:  7.9
  libraries/haskell2010              |         Keywords:  AMP
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:  GHC         |  Related Tickets:
  rejects valid program              |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by ekmett):

 It is a bit more complex than just pasting the report. GHC internals
 actually know where `Monad` comes from for instance, so you'd have knock-
 on consequences.

 If we `do` adopt a `haskell2010` fully standards compliant package:

 1.) We'd need to make some modifications to GHC itself to tell it where to
 desugar to for the `Monad` syntax and internal hackery. We'd need to
 figure out how to tell tools like cabal to do the right thing.

 2.) Code that previously worked with the `haskell2010` or `haskell98`
 packages would cease to work with `base` and vice versa where those
 instances are concerned. You'd be giving up, say, `containers`, not just
 the rest of `base`. This actually comes at a price to a dozen or two
 packages that are built right now with the `haskell98` package and with
 these other dependencies as well, possibly breaking in non-obvious ways.

 It may be that to fully support both of these two very different usecases
 for `haskell2010` that you'd get two `haskell2010`-like packages to
 support both user pools.

 This makes for a very complex story to explain to end users, and a lot of
 engineering.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9590#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list