Skip to content

Use a better strategy for determining the offset applied to FFI arguments

Andrew Martin requested to merge andrewthad/ghc:foreign_cmm_offsets_from_function_type into master

When determining the offset for an FFI argument, use the types in the foreign function's type, not the types of the arguments. This is nearly the same thing, but in the presence of unsafeCoerce#, the new strategy gives us better behavior. See the note added in this MR. Also, see !939 (comment 198233)

Merge request reports