• Edward Z. Yang's avatar
    Fix #9243 so recompilation avoidance works with -fno-code · 2223e196
    Edward Z. Yang authored
    Summary:
    Where we track timestamps of object files, also track timestamps
    for interface files.  When -fno-code -fwrite-interface is enabled, use
    the interface file timestamp as an extra check to see if the files are
    up-to-date.  We had to apply this logic to one-shot and make modes.
    
    This fix would be good to merge into 7.10; it makes using -fno-code
    -fwrite-interface for flywheel type checking usable.
    Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
    
    Test Plan: validate and new test cases
    
    Reviewers: austin
    
    Subscribers: carter, thomie
    
    Differential Revision: https://phabricator.haskell.org/D596
    
    GHC Trac Issues: #9243
    2223e196
.gitignore 48.2 KB