I think I found a solution, went back to ghc844 (lts-12.20) and am using the wrapper version of hie. I can avoid this problem for now, but it’s still unclear to me what to do about a tag that goes missing.
I think I found a solution, went back to ghc844 (lts-12.20) and am using the wrapper version of hie. I can avoid this problem for now, but it’s still unclear to me what to do about a tag that goes missing.