diff options
| author | Cale Gibbard <cgibbard@gmail.com> | 2020-11-09 16:11:45 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-14 13:37:09 -0500 |
| commit | c696bb2f4476e0ce4071e0d91687c1fe84405599 (patch) | |
| tree | dc55fdaebbcd8dbd0c1f53c80214c2996c7f3f0a /compiler/GHC/Tc/TyCl.hs | |
| parent | 78580ba3f99565b0aecb25c4206718d4c8a52317 (diff) | |
| download | haskell-c696bb2f4476e0ce4071e0d91687c1fe84405599.tar.gz | |
Implement type applications in patterns
The haddock submodule is also updated so that it understands the changes
to patterns.
Diffstat (limited to 'compiler/GHC/Tc/TyCl.hs')
| -rw-r--r-- | compiler/GHC/Tc/TyCl.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/TyCl.hs b/compiler/GHC/Tc/TyCl.hs index 1378eda16e..50d4f72610 100644 --- a/compiler/GHC/Tc/TyCl.hs +++ b/compiler/GHC/Tc/TyCl.hs @@ -1581,7 +1581,7 @@ kcConArgTys new_or_data res_kind arg_tys = do -- Kind-check the types of arguments to a Haskell98 data constructor. kcConH98Args :: NewOrData -> Kind -> HsConDeclH98Details GhcRn -> TcM () kcConH98Args new_or_data res_kind con_args = case con_args of - PrefixCon tys -> kcConArgTys new_or_data res_kind tys + PrefixCon _ tys -> kcConArgTys new_or_data res_kind tys InfixCon ty1 ty2 -> kcConArgTys new_or_data res_kind [ty1, ty2] RecCon (L _ flds) -> kcConArgTys new_or_data res_kind $ map (hsLinear . cd_fld_type . unLoc) flds @@ -3519,7 +3519,7 @@ tcConH98Args :: ContextKind -- expected kind of arguments -- might have a specific kind -> HsConDeclH98Details GhcRn -> TcM [(Scaled TcType, HsSrcBang)] -tcConH98Args exp_kind (PrefixCon btys) +tcConH98Args exp_kind (PrefixCon _ btys) = mapM (tcConArg exp_kind) btys tcConH98Args exp_kind (InfixCon bty1 bty2) = do { bty1' <- tcConArg exp_kind bty1 |