[GHC] #10461: Suggest UnliftedFFITypes when applicable
#10461: Suggest UnliftedFFITypes when applicable -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.11 (Type checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: Incorrect Architecture: | warning at compile-time Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Here's an example bad error message: {{{ Serum.hs:5:1: Unacceptable result type in foreign declaration: ‘Word#’ cannot be marshalled in a foreign call When checking declaration: foreign import prim safe "static chenycopy" cheneycopy :: Any -> Word# }}} We should also add something like: {{{ To enable marshalling unlifted types, enable -XUnliftedFFITypes }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10461> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10461: Suggest UnliftedFFITypes when applicable -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.11 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: Incorrect | Test Case: warning at compile-time | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"3758050f02c1de6af41c50ed122b3df012d400ff/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="3758050f02c1de6af41c50ed122b3df012d400ff" Improve FFI error reporting I refactored TcType FFI functions to return Validity rather than Bool, which turned out to be an easy way to solve Trac #10461. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10461#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10461: Suggest UnliftedFFITypes when applicable -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: closed Priority: low | Milestone: Component: Compiler (Type | Version: 7.11 checker) | Keywords: Resolution: fixed | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: Incorrect | Test Case: warning at compile-time | ffi/should_fail/T10461 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: => ffi/should_fail/T10461 * resolution: => fixed Comment: Good idea and easily done. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10461#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC