Re: [GHC] #7243: regression: acceptable foreign result types

2012-09-18 Thread GHC 
#7243: regression: acceptable foreign result types
---+
Reporter:  dmwit   |   Owner:  igloo
Type:  bug |  Status:  new  
Priority:  normal  |   Milestone:  7.6.2
   Component:  Compiler (FFI)  | Version:  7.6.1
Keywords:  |  Os:  Unknown/Multiple 
Architecture:  x86_64 (amd64)  | Failure:  GHC rejects valid program
  Difficulty:  Unknown |Testcase:   
   Blockedby:  |Blocking:   
 Related:  |  
---+

Comment(by simonpj):

 See also #5610.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7243#comment:4
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7243: regression: acceptable foreign result types

2012-09-17 Thread GHC 
#7243: regression: acceptable foreign result types
---+
 Reporter:  dmwit  |  Owner:
 Type:  bug| Status:  new   
 Priority:  normal |  Component:  Compiler  
  Version:  7.6.1  |   Keywords:
   Os:  Unknown/Multiple   |   Architecture:  x86_64 (amd64)
  Failure:  GHC rejects valid program  |   Testcase:
Blockedby: |   Blocking:
  Related: |  
---+
Changes (by romildo):

 * cc: malaquias@… (added)


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7243#comment:2
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7243: regression: acceptable foreign result types

2012-09-17 Thread GHC 
#7243: regression: acceptable foreign result types
---+
Reporter:  dmwit   |   Owner:  igloo
Type:  bug |  Status:  new  
Priority:  normal  |   Milestone:  7.6.2
   Component:  Compiler (FFI)  | Version:  7.6.1
Keywords:  |  Os:  Unknown/Multiple 
Architecture:  x86_64 (amd64)  | Failure:  GHC rejects valid program
  Difficulty:  Unknown |Testcase:   
   Blockedby:  |Blocking:   
 Related:  |  
---+
Changes (by igloo):

  * owner:  = igloo
  * difficulty:  = Unknown
  * component:  Compiler = Compiler (FFI)
  * milestone:  = 7.6.2


Comment:

 The problem is:
 {{{
 Dynamic wrapper.
 The type of a wrapper stub has to be of the form ft - IO (FunPtr ft),
 where ft may be any foreign type.
 }}}
 e.g. this is accepted:
 {{{
 import Foreign.Ptr
 foreign import ccall wrapper foo :: () - IO (FunPtr ())
 }}}

 I'll leave the ticket open, though, as I think we should give the expected
 pattern in the error message.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7243#comment:3
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #7243: regression: acceptable foreign result types

2012-09-16 Thread GHC 
#7243: regression: acceptable foreign result types
---+
 Reporter:  dmwit  |  Owner:
 Type:  bug| Status:  new   
 Priority:  normal |  Component:  Compiler  
  Version:  7.6.1  |   Keywords:
   Os:  Unknown/Multiple   |   Architecture:  x86_64 (amd64)
  Failure:  GHC rejects valid program  |   Testcase:
Blockedby: |   Blocking:
  Related: |  
---+
Changes (by td123):

 * cc: gostrc@… (added)


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7243#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs