-rnFixityDeclEnv :: FixityEnv -> LFixitySig RdrName -> RnM FixityEnv
-rnFixityDeclEnv fix_env (L loc (FixitySig rdr_name fixity))
- = setSrcSpan loc $
- -- GHC extension: look up both the tycon and data con
- -- for con-like things
- -- If neither are in scope, report an error; otherwise
- -- add both to the fixity env
- addLocM lookupLocalDataTcNames rdr_name `thenM` \ names ->
- foldlM add fix_env names
- where
- add fix_env name
- = case lookupNameEnv fix_env name of
- Just (FixItem _ _ loc')
- -> addLocErr rdr_name (dupFixityDecl loc') `thenM_`
- returnM fix_env
- Nothing -> returnM (extendNameEnv fix_env name fix_item)
- where
- fix_item = FixItem (nameOccName name) fixity (getLoc rdr_name)
+rnFixityDeclEnv :: FixityEnv -> LFixitySig Name -> RnM FixityEnv
+rnFixityDeclEnv fix_env (L loc (FixitySig (L nameLoc name) fixity))
+ = case lookupNameEnv fix_env name of
+ Just (FixItem _ _ loc')
+ -> do addLocErr (L nameLoc name) (dupFixityDecl loc')
+ return fix_env
+ Nothing
+ -> return (extendNameEnv fix_env name fix_item)
+ where fix_item = FixItem (nameOccName name) fixity nameLoc