Ticket #11401: T11401.patch

File T11401.patch, 729 bytes (added by adamgundry, 3 years ago)

Patch against HEAD

  • compiler/typecheck/TcInteract.hs

    diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs
    index 90f7243..a891d01 100644
    a b reduce_top_fun_eq old_ev fsk ax_co rhs_ty 
    14071407  | Just (tc, tc_args) <- tcSplitTyConApp_maybe rhs_ty
    14081408  , isTypeFamilyTyCon tc
    14091409  , tc_args `lengthIs` tyConArity tc    -- Short-cut
     1410  , not (isDerived old_ev)
    14101411  = shortCutReduction old_ev fsk ax_co tc tc_args
    1411        -- Try shortcut; see Note [Short cut for top-level reaction]
     1412       -- Try shortcut; see Note [Top-level reductions for type functions]
    14121413
    14131414  | isGiven old_ev  -- Not shortcut
    14141415  = do { let final_co = mkTcSymCo (ctEvCoercion old_ev) `mkTcTransCo` ax_co