Skip to content
  • Edward Z. Yang's avatar
    Fix incorrect retypecheck loop in -j (#14075) · 4717ce86
    Edward Z. Yang authored
    
    
    The parallel codepath was incorrectly retypechecking the
    hs-boot ModIface prior to typechecking the hs file,
    which was inconsistent with the non-parallel case.  The
    non-parallel case gets it right: you don't want to retypecheck
    the hs-boot file itself (forwarding its declarations to hs)
    because you need it to be consistently knot-tied with itself
    when you compare the interfaces.
    
    Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
    
    Test Plan: validate
    
    Reviewers: bgamari, simonpj, austin
    
    Reviewed By: bgamari
    
    Subscribers: duog, rwbarton, thomie
    
    GHC Trac Issues: #14075
    
    Differential Revision: https://phabricator.haskell.org/D3815
    4717ce86