Commit 88a89b76 authored by Ryan Scott's avatar Ryan Scott
Browse files

Nix typo and redundant where-clauses

parent e4ab8ba7
...@@ -1109,7 +1109,6 @@ dataConUserType (MkData { dcUnivTyVars = univ_tvs, ...@@ -1109,7 +1109,6 @@ dataConUserType (MkData { dcUnivTyVars = univ_tvs,
mkFunTys theta $ mkFunTys theta $
mkFunTys arg_tys $ mkFunTys arg_tys $
res_ty res_ty
where
-- | Finds the instantiated types of the arguments required to construct a 'DataCon' representation -- | Finds the instantiated types of the arguments required to construct a 'DataCon' representation
-- NB: these INCLUDE any dictionary args -- NB: these INCLUDE any dictionary args
......
...@@ -738,7 +738,6 @@ availFromGRE (GRE { gre_name = me, gre_par = parent }) ...@@ -738,7 +738,6 @@ availFromGRE (GRE { gre_name = me, gre_par = parent })
NoParent | isTyConName me -> AvailTC me [me] [] NoParent | isTyConName me -> AvailTC me [me] []
| otherwise -> avail me | otherwise -> avail me
FldParent p mb_lbl -> AvailTC p [] [mkFieldLabel me mb_lbl] FldParent p mb_lbl -> AvailTC p [] [mkFieldLabel me mb_lbl]
where
mkFieldLabel :: Name -> Maybe FastString -> FieldLabel mkFieldLabel :: Name -> Maybe FastString -> FieldLabel
mkFieldLabel me mb_lbl = mkFieldLabel me mb_lbl =
......
...@@ -1053,7 +1053,6 @@ splitLHsInstDeclTy (HsIB { hsib_vars = itkvs ...@@ -1053,7 +1053,6 @@ splitLHsInstDeclTy (HsIB { hsib_vars = itkvs
= (itkvs ++ map hsLTyVarName tvs, cxt, body_ty) = (itkvs ++ map hsLTyVarName tvs, cxt, body_ty)
-- Return implicitly bound type and kind vars -- Return implicitly bound type and kind vars
-- For an instance decl, all of them are in scope -- For an instance decl, all of them are in scope
where
getLHsInstDeclHead :: LHsSigType name -> LHsType name getLHsInstDeclHead :: LHsSigType name -> LHsType name
getLHsInstDeclHead inst_ty getLHsInstDeclHead inst_ty
......
...@@ -234,8 +234,6 @@ getRegister (CmmMachOp mop [x, y]) ...@@ -234,8 +234,6 @@ getRegister (CmmMachOp mop [x, y])
MO_S_Shr rep -> trivialCode rep SRA x y MO_S_Shr rep -> trivialCode rep SRA x y
_ -> pprPanic "getRegister(sparc) - binary CmmMachOp (1)" (pprMachOp mop) _ -> pprPanic "getRegister(sparc) - binary CmmMachOp (1)" (pprMachOp mop)
where
getRegister (CmmLoad mem pk) = do getRegister (CmmLoad mem pk) = do
Amode src code <- getAmode mem Amode src code <- getAmode mem
......
...@@ -324,7 +324,7 @@ See also Note [Kind checking recursive type and class declarations] ...@@ -324,7 +324,7 @@ See also Note [Kind checking recursive type and class declarations]
kcTyClGroup :: [LTyClDecl Name] -> TcM [TcTyCon] kcTyClGroup :: [LTyClDecl Name] -> TcM [TcTyCon]
-- Kind check this group, kind generalize, and return the resulting local env -- Kind check this group, kind generalize, and return the resulting local env
-- This bindds the TyCons and Classes of the group, but not the DataCons -- This binds the TyCons and Classes of the group, but not the DataCons
-- See Note [Kind checking for type and class decls] -- See Note [Kind checking for type and class decls]
-- Third return value is Nothing if the tycon be unsaturated; otherwise, -- Third return value is Nothing if the tycon be unsaturated; otherwise,
-- the arity -- the arity
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment