[GHC] #9079: Foreign.C.Types in haskell2010

GHC ghc-devs at haskell.org
Thu May 8 11:32:33 UTC 2014


#9079: Foreign.C.Types in haskell2010
------------------------------------------+--------------------------------
        Reporter:  tensor5                |            Owner:
            Type:  bug                    |           Status:  new
        Priority:  normal                 |        Milestone:
       Component:  libraries/haskell2010  |          Version:  7.8.2
      Resolution:                         |         Keywords:
Operating System:  Unknown/Multiple       |     Architecture:
 Type of failure:  None/Unknown           |  Unknown/Multiple
       Test Case:                         |       Difficulty:  Unknown
        Blocking:                         |       Blocked By:
                                          |  Related Tickets:
------------------------------------------+--------------------------------

Comment (by simonpj):

 Well, this looks to me like a bug in the
 [http://www.haskell.org/onlinereport/haskell2010/ Haskell 2010 report]
  * [http://www.haskell.org/onlinereport/haskell2010/haskellch8.html
 Section 8.4.2 ] says that newtypes must have their constructors visible,
 and claims that `Foreign.C.Types` follows this convention.

  * But [http://www.haskell.org/onlinereport/haskell2010/haskellch28.html
 Chapter 28] which shows `Foreign.C.Types` manifestly does '''not''' follow
 this convention.

 That looks like an outright contradiction.

 I think we should export all the data constructors in `Foreign.C.Types` in
 the `haskell2010` package.  Does anyone disagree?

 Meanwhile, I'm adding Simon M to the cc list, as editor of the H2010
 report.

 Autin: could you act on this after a suitable delay?

 Simon

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


More information about the ghc-tickets mailing list