[GHC] #1037: primRepHint:VoidRep

GHC trac at galois.com
Thu Aug 9 06:16:02 EDT 2007


#1037: primRepHint:VoidRep
-------------------------------+--------------------------------------------
    Reporter:  igloo           |        Owner:           
        Type:  bug             |       Status:  closed   
    Priority:  normal          |    Milestone:  6.8      
   Component:  Compiler (FFI)  |      Version:  6.6      
    Severity:  normal          |   Resolution:  fixed    
    Keywords:                  |   Difficulty:  Unknown  
          Os:  Unknown         |     Testcase:  ccfail001
Architecture:  Unknown         |  
-------------------------------+--------------------------------------------
Changes (by simonpj):

  * resolution:  => fixed
  * testcase:  => ccfail001
  * status:  new => closed

Comment:

 It makes *sense* for a foreign import to have a zero-sized return, thus
 {{{
     foreign import ccall foo :: Int -> State# RealWorld
 }}}
 but it's not clear that it's useful, and it requires some back-end (a
 Hint for void types) to make it go right through the back end. It's not
 clear that
 we really want this facility, so rather than fixing the code
 generator, I'm just making the construct illegal for now.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1037>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list