diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-07-28 15:20:44 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-02 19:19:38 +0200 |
| commit | 808d0c1ecc6cdd247c5c39328540a3ae627aa309 (patch) | |
| tree | 74f3428c9f1704865b64d2cd7809b3a3fcd3804e /compiler/GHC/CoreToIface.hs | |
| parent | 34e352173dd1fc3cd86c49380fda5a4eb5dd7aef (diff) | |
| download | haskell-wip/funtycon-args.tar.gz | |
Use a pattern synonym for arguments to FunTy (#18750)wip/funtycon-args
This makes it easier to add more arguments to FunTy in the future.
Not done in Unify.hs, because of perf problems #20165.
Diffstat (limited to 'compiler/GHC/CoreToIface.hs')
| -rw-r--r-- | compiler/GHC/CoreToIface.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/CoreToIface.hs b/compiler/GHC/CoreToIface.hs index 2356f6c7f5..53938a801e 100644 --- a/compiler/GHC/CoreToIface.hs +++ b/compiler/GHC/CoreToIface.hs @@ -302,8 +302,8 @@ toIfaceCoercionX fr co (toIfaceTypeX fr t2) go (TyConAppCo r tc cos) | tc `hasKey` funTyConKey - , [_,_,_,_, _] <- cos = panic "toIfaceCoercion" - | otherwise = + , FunTyConArgs _ _ _ _ _ <- cos = panic "toIfaceCoercion" + | otherwise = IfaceTyConAppCo r (toIfaceTyCon tc) (map go cos) go (FunCo r w co1 co2) = IfaceFunCo r (go w) (go co1) (go co2) |