• David Feuer's avatar
    Clarify what the FFI spec says · 48dee7c9
    David Feuer authored
    Section 10.1.1 claimed that
    
    > The FFI addendum stipulates that an implementation is free to
    implement an unsafe call by performing a safe call ...
    
    Reading through the FFI addendum (and the Haskell 2010 Report, which
    integrates it), I see no such stipulation. I think this explains the
    situation a bit better.
    
    [ci skip]
    
    Reviewers: bgamari
    
    Reviewed By: bgamari
    
    Subscribers: thomie, carter
    
    Differential Revision: https://phabricator.haskell.org/D4656
    48dee7c9
ffi-chap.rst 31.6 KB