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: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
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: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
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: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
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: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs