Nix typo and redundant where-clauses
authorRyan Scott <ryan.gl.scott@gmail.com>
Thu, 26 Jan 2017 04:51:32 +0000 (23:51 -0500)
committerRyan Scott <ryan.gl.scott@gmail.com>
Thu, 26 Jan 2017 04:51:59 +0000 (23:51 -0500)
compiler/basicTypes/DataCon.hs
compiler/basicTypes/RdrName.hs
compiler/hsSyn/HsTypes.hs
compiler/nativeGen/SPARC/CodeGen/Gen32.hs
compiler/typecheck/TcTyClsDecls.hs

index f4cdb21..620aea6 100644 (file)
@@ -1109,7 +1109,6 @@ dataConUserType (MkData { dcUnivTyVars = univ_tvs,
     mkFunTys theta $
     mkFunTys arg_tys $
     res_ty
-  where
 
 -- | Finds the instantiated types of the arguments required to construct a 'DataCon' representation
 -- NB: these INCLUDE any dictionary args
index 1bba34d..321b13a 100644 (file)
@@ -738,7 +738,6 @@ availFromGRE (GRE { gre_name = me, gre_par = parent })
       NoParent   | isTyConName me -> AvailTC me [me] []
                  | otherwise      -> avail   me
       FldParent p mb_lbl -> AvailTC p [] [mkFieldLabel me mb_lbl]
-        where
 
 mkFieldLabel :: Name -> Maybe FastString -> FieldLabel
 mkFieldLabel me mb_lbl =
index 7dd3491..c974d1f 100644 (file)
@@ -1053,7 +1053,6 @@ splitLHsInstDeclTy (HsIB { hsib_vars = itkvs
   = (itkvs ++ map hsLTyVarName tvs, cxt, body_ty)
          -- Return implicitly bound type and kind vars
          -- For an instance decl, all of them are in scope
-  where
 
 getLHsInstDeclHead :: LHsSigType name -> LHsType name
 getLHsInstDeclHead inst_ty
index a708558..a0e86f1 100644 (file)
@@ -234,8 +234,6 @@ getRegister (CmmMachOp mop [x, y])
       MO_S_Shr rep      -> trivialCode rep SRA x y
 
       _                 -> pprPanic "getRegister(sparc) - binary CmmMachOp (1)" (pprMachOp mop)
-  where
-
 
 getRegister (CmmLoad mem pk) = do
     Amode src code <- getAmode mem
index e790a11..d3e308f 100644 (file)
@@ -324,7 +324,7 @@ See also Note [Kind checking recursive type and class declarations]
 kcTyClGroup :: [LTyClDecl Name] -> TcM [TcTyCon]
 
 -- 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]
 -- Third return value is Nothing if the tycon be unsaturated; otherwise,
 -- the arity