[project @ 2000-02-15 22:18:16 by panne]
[ghc-hetmet.git] / ghc / compiler / rename / RnNames.lhs
index 0b7691f..832c925 100644 (file)
@@ -23,7 +23,7 @@ import HsSyn  ( HsModule(..), HsDecl(..), TyClDecl(..),
 import RdrHsSyn        ( RdrNameIE, RdrNameImportDecl,
                  RdrNameHsModule, RdrNameHsDecl
                )
-import RnIfaces        ( getInterfaceExports, getDeclBinders,
+import RnIfaces        ( getInterfaceExports, getDeclBinders, getDeclSysBinders,
                  recordSlurp, checkUpToDate
                )
 import RnEnv
@@ -34,14 +34,15 @@ import PrelMods
 import PrelInfo ( main_RDR )
 import UniqFM  ( lookupUFM )
 import Bag     ( bagToList )
-import Maybes  ( maybeToBool )
+import Maybes  ( maybeToBool, catMaybes )
 import Module  ( ModuleName, mkThisModule, pprModuleName, WhereFrom(..) )
 import NameSet
 import Name    ( Name, ExportFlag(..), ImportReason(..), Provenance(..),
                  isLocallyDefined, setNameProvenance,
                  nameOccName, getSrcLoc, pprProvenance, getNameProvenance
                )
-import RdrName ( RdrName, rdrNameOcc, mkRdrQual, mkRdrUnqual, isQual )
+import RdrName ( RdrName, rdrNameOcc, setRdrNameOcc, mkRdrQual, mkRdrUnqual, isQual )
+import OccName ( setOccNameSpace, dataName )
 import SrcLoc  ( SrcLoc )
 import NameSet ( elemNameSet, emptyNameSet )
 import Outputable
@@ -62,18 +63,17 @@ import List ( partition )
 getGlobalNames :: RdrNameHsModule
               -> RnMG (Maybe (ExportEnv, 
                               GlobalRdrEnv,
-                              FixityEnv,               -- Fixities for local decls only
-                              NameEnv AvailInfo        -- Maps a name to its parent AvailInfo
-                                                       -- Just for in-scope things only
+                              FixityEnv,        -- Fixities for local decls only
+                              NameEnv AvailInfo -- Maps a name to its parent AvailInfo
+                                                -- Just for in-scope things only
                               ))
                        -- Nothing => no need to recompile
 
-getGlobalNames (HsModule this_mod _ exports imports decls mod_loc)
+getGlobalNames (HsModule this_mod _ exports imports decls _ mod_loc)
   =    -- These two fix-loops are to get the right
        -- provenance information into a Name
     fixRn (\ ~(rec_gbl_env, rec_exported_avails, _) ->
 
---       fixRn (\ ~(rec_rn_env, _) ->
        let
           rec_unqual_fn :: Name -> Bool        -- Is this chap in scope unqualified?
           rec_unqual_fn = unQualInScope rec_gbl_env
@@ -81,13 +81,13 @@ getGlobalNames (HsModule this_mod _ exports imports decls mod_loc)
           rec_exp_fn :: Name -> ExportFlag
           rec_exp_fn = mk_export_fn (availsToNameSet rec_exported_avails)
        in
---     setOmitQualFn rec_unqual_fn             $
        setModuleRn this_mod                    $
 
                -- PROCESS LOCAL DECLS
                -- Do these *first* so that the correct provenance gets
                -- into the global name cache.
-       importsFromLocalDecls this_mod rec_exp_fn decls `thenRn` \ (local_gbl_env, local_mod_avails) ->
+       importsFromLocalDecls this_mod rec_exp_fn decls
+       `thenRn` \ (local_gbl_env, local_mod_avails) ->
 
                -- PROCESS IMPORT DECLS
                -- Do the non {- SOURCE -} ones first, so that we get a helpful
@@ -97,8 +97,10 @@ getGlobalNames (HsModule this_mod _ exports imports decls mod_loc)
          is_source_import (ImportDecl _ ImportByUserSource _ _ _ _) = True
          is_source_import other                                     = False
        in
-       mapAndUnzipRn (importsFromImportDecl rec_unqual_fn) ordinary    `thenRn` \ (imp_gbl_envs1, imp_avails_s1) ->
-       mapAndUnzipRn (importsFromImportDecl rec_unqual_fn) source      `thenRn` \ (imp_gbl_envs2, imp_avails_s2) ->
+       mapAndUnzipRn (importsFromImportDecl rec_unqual_fn) ordinary
+       `thenRn` \ (imp_gbl_envs1, imp_avails_s1) ->
+       mapAndUnzipRn (importsFromImportDecl rec_unqual_fn) source
+       `thenRn` \ (imp_gbl_envs2, imp_avails_s2) ->
 
                -- COMBINE RESULTS
                -- We put the local env second, so that a local provenance
@@ -111,8 +113,6 @@ getGlobalNames (HsModule this_mod _ exports imports decls mod_loc)
            all_avails :: ExportAvails
            all_avails = foldr plusExportAvails local_mod_avails (imp_avails_s2 ++ imp_avails_s1)
        in
---     returnRn (gbl_env, all_avails)
---      )                                                      `thenRn` \ (gbl_env, all_avails) ->
 
        -- TRY FOR EARLY EXIT
        -- We can't go for an early exit before this because we have to check
@@ -143,7 +143,7 @@ getGlobalNames (HsModule this_mod _ exports imports decls mod_loc)
                                          isQual rdr_name])     `thenRn_`
 
        -- PROCESS EXPORT LISTS
-      exportsFromAvail this_mod exports all_avails gbl_env     `thenRn` \ exported_avails ->
+      exportsFromAvail this_mod exports all_avails gbl_env      `thenRn` \ exported_avails ->
 
        -- DONE
       returnRn (gbl_env, exported_avails, Just all_avails)
@@ -153,8 +153,6 @@ getGlobalNames (HsModule this_mod _ exports imports decls mod_loc)
        Nothing -> returnRn Nothing ;
        Just all_avails ->
 
-   traceRn (text "updateProv" <+> fsep (map ppr (rdrEnvElts gbl_env))) `thenRn_`
-    
        -- DEAL WITH FIXITIES
    fixitiesFromLocalDecls gbl_env decls                `thenRn` \ local_fixity_env ->
    let
@@ -162,17 +160,21 @@ getGlobalNames (HsModule this_mod _ exports imports decls mod_loc)
        --      (a) defined in this module
        --      (b) exported
        exported_fixities :: [(Name,Fixity)]
-       exported_fixities = [(name,fixity) | FixitySig name fixity _ <- nameEnvElts local_fixity_env,
-                                            isLocallyDefined name
+       exported_fixities = [(name,fixity)
+                           | FixitySig name fixity _ <- nameEnvElts local_fixity_env,
+                             isLocallyDefined name
                            ]
-   in
-   traceRn (text "fixity env" <+> vcat (map ppr (nameEnvElts local_fixity_env)))       `thenRn_`
 
-       --- TIDY UP 
-   let
-       export_env            = ExportEnv exported_avails exported_fixities
+       -- CONSTRUCT RESULTS
+       export_mods = case exports of
+                       Nothing -> []
+                       Just es -> [mod | IEModuleContents mod <- es, mod /= this_mod]
+
+       export_env            = ExportEnv exported_avails exported_fixities export_mods
        (_, global_avail_env) = all_avails
    in
+   traceRn (text "fixity env" <+> vcat (map ppr (nameEnvElts local_fixity_env)))       `thenRn_`
+
    returnRn (Just (export_env, gbl_env, local_fixity_env, global_avail_env))
    }
   where
@@ -188,12 +190,12 @@ getGlobalNames (HsModule this_mod _ exports imports decls mod_loc)
                   opt_NoImplicitPrelude
                 = []
 
-                | otherwise               = [ImportDecl pRELUDE_Name
-                                                        ImportByUser
-                                                        False          {- Not qualified -}
-                                                        Nothing        {- No "as" -}
-                                                        Nothing        {- No import list -}
-                                                        mod_loc]
+                | otherwise = [ImportDecl pRELUDE_Name
+                                          ImportByUser
+                                          False        {- Not qualified -}
+                                          Nothing      {- No "as" -}
+                                          Nothing      {- No import list -}
+                                          mod_loc]
     
     explicit_prelude_import
       = not (null [ () | (ImportDecl mod _ _ _ _ _) <- imports, mod == pRELUDE_Name ])
@@ -217,9 +219,9 @@ checkEarlyExit mod
        -- Unchanged source, and no errors yet; see if usage info
        -- up to date, and exit if so
     checkUpToDate mod                                          `thenRn` \ up_to_date ->
-    putDocRn (text "Compilation" <+> 
-             text (if up_to_date then "IS NOT" else "IS") <+>
-             text "required")                                  `thenRn_`
+    (if up_to_date 
+       then putDocRn (text "Compilation IS NOT required")
+       else returnRn ())                                       `thenRn_`
     returnRn up_to_date
 \end{code}
        
@@ -239,7 +241,8 @@ importsFromImportDecl is_unqual (ImportDecl imp_mod_name from qual_only as_mod i
        returnRn (emptyRdrEnv, mkEmptyExportAvails imp_mod_name)
     else
 
-    filterImports imp_mod_name import_spec avails      `thenRn` \ (filtered_avails, hides, explicits) ->
+    filterImports imp_mod_name import_spec avails
+    `thenRn` \ (filtered_avails, hides, explicits) ->
 
        -- We 'improve' the provenance by setting
        --      (a) the import-reason field, so that the Name says how it came into scope
@@ -247,14 +250,16 @@ importsFromImportDecl is_unqual (ImportDecl imp_mod_name from qual_only as_mod i
        --      (b) the print-unqualified field
        -- But don't fiddle with wired-in things or we get in a twist
     let
-       improve_prov name = setNameProvenance name (NonLocalDef (UserImport imp_mod iloc (is_explicit name)) 
-                                                               (is_unqual name))
+       improve_prov name =
+        setNameProvenance name (NonLocalDef (UserImport imp_mod iloc (is_explicit name)) 
+                                            (is_unqual name))
        is_explicit name  = name `elemNameSet` explicits
     in
     qualifyImports imp_mod_name
                   (not qual_only)      -- Maybe want unqualified names
                   as_mod hides
-                  filtered_avails improve_prov         `thenRn` \ (rdr_name_env, mod_avails) ->
+                  filtered_avails improve_prov
+    `thenRn` \ (rdr_name_env, mod_avails) ->
 
     returnRn (rdr_name_env, mod_avails)
 \end{code}
@@ -271,10 +276,7 @@ importsFromLocalDecls mod_name rec_exp_fn decls
        all_names = [name | avail <- avails, name <- availNames avail]
 
        dups :: [[Name]]
-       dups = filter non_singleton (equivClassesByUniq getUnique all_names)
-            where
-               non_singleton (x1:x2:xs) = True
-               non_singleton other      = False
+       (_, dups) = removeDups compare all_names
     in
        -- Check for duplicate definitions
     mapRn_ (addErrRn . dupDeclErr) dups                `thenRn_` 
@@ -291,10 +293,19 @@ importsFromLocalDecls mod_name rec_exp_fn decls
                   (\n -> n)
 
   where
-    newLocalName rdr_name loc = newLocalTopBinder mod (rdrNameOcc rdr_name)
-                                                 rec_exp_fn loc
     mod = mkThisModule mod_name
 
+    newLocalName rdr_name loc 
+       = (if isQual rdr_name then
+               qualNameErr (text "the binding for" <+> quotes (ppr rdr_name)) (rdr_name,loc)
+               -- There should never be a qualified name in a binding position (except in instance decls)
+               -- The parser doesn't check this because the same parser parses instance decls
+           else 
+               returnRn ())                    `thenRn_`
+
+         newLocalTopBinder mod (rdrNameOcc rdr_name) rec_exp_fn loc
+
+
 getLocalDeclBinders :: (RdrName -> SrcLoc -> RnMG Name)        -- New-name function
                    -> RdrNameHsDecl
                    -> RnMG Avails
@@ -304,24 +315,16 @@ getLocalDeclBinders new_name (ValD binds)
     do_one (rdr_name, loc) = new_name rdr_name loc     `thenRn` \ name ->
                             returnRn (Avail name)
 
-    -- foreign declarations
-getLocalDeclBinders new_name (ForD (ForeignDecl nm kind _ dyn _ loc))
-  | binds_haskell_name kind dyn
-  = new_name nm loc                `thenRn` \ name ->
-    returnRn [Avail name]
-
-  | otherwise
-  = returnRn []
-
 getLocalDeclBinders new_name decl
   = getDeclBinders new_name decl       `thenRn` \ maybe_avail ->
     case maybe_avail of
        Nothing    -> returnRn []               -- Instance decls and suchlike
-       Just avail -> returnRn [avail]
-
-binds_haskell_name (FoImport _) _   = True
-binds_haskell_name FoLabel      _   = True
-binds_haskell_name FoExport  ext_nm = isDynamic ext_nm
+       Just avail -> getDeclSysBinders new_sys_name decl               `thenRn_`  
+                     returnRn [avail]
+  where
+       -- The getDeclSysBinders is just to get the names of superclass selectors
+       -- etc, into the cache
+    new_sys_name rdr_name loc = newImplicitBinder (rdrNameOcc rdr_name) loc
 
 fixitiesFromLocalDecls :: GlobalRdrEnv -> [RdrNameHsDecl] -> RnMG FixityEnv
 fixitiesFromLocalDecls gbl_env decls
@@ -331,7 +334,7 @@ fixitiesFromLocalDecls gbl_env decls
     getFixities acc (FixD fix)
       = fix_decl acc fix
 
-    getFixities acc (TyClD (ClassDecl _ _ _ sigs _ _ _ _ _ _))
+    getFixities acc (TyClD (ClassDecl _ _ _ _ sigs _ _ _ _ _ _))
       = foldlRn fix_decl acc [sig | FixSig sig <- sigs]
                -- Get fixities from class decl sigs too.
     getFixities acc other_decl
@@ -341,16 +344,16 @@ fixitiesFromLocalDecls gbl_env decls
        =       -- Check for fixity decl for something not declared
          case lookupRdrEnv gbl_env rdr_name of {
            Nothing | opt_WarnUnusedBinds 
-                   -> pushSrcLocRn loc (addWarnRn (unusedFixityDecl rdr_name fixity))  `thenRn_`
-                      returnRn acc 
+                   -> pushSrcLocRn loc (addWarnRn (unusedFixityDecl rdr_name fixity))
+                      `thenRn_` returnRn acc 
                    | otherwise -> returnRn acc ;
        
            Just (name:_) ->
 
                -- Check for duplicate fixity decl
          case lookupNameEnv acc name of {
-           Just (FixitySig _ _ loc') -> addErrRn (dupFixityDecl rdr_name loc loc')     `thenRn_`
-                                        returnRn acc ;
+           Just (FixitySig _ _ loc') -> addErrRn (dupFixityDecl rdr_name loc loc')
+                                        `thenRn_` returnRn acc ;
 
            Nothing -> returnRn (addToNameEnv acc name (FixitySig name fixity loc))
          }}
@@ -370,7 +373,11 @@ filterImports :: ModuleName                        -- The module being imported
              -> Maybe (Bool, [RdrNameIE])      -- Import spec; True => hiding
              -> [AvailInfo]                    -- What's available
              -> RnMG ([AvailInfo],             -- What's actually imported
-                      [AvailInfo],             -- What's to be hidden (the unqualified version, that is)
+                      [AvailInfo],             -- What's to be hidden
+                                               -- (the unqualified version, that is)
+                       -- (We need to return both the above sets, because
+                       --  the qualified version is never hidden; so we can't
+                       --  implement hiding by reducing what's imported.)
                       NameSet)                 -- What was imported explicitly
 
        -- Complains if import spec mentions things that the module doesn't export
@@ -379,7 +386,7 @@ filterImports mod Nothing imports
   = returnRn (imports, [], emptyNameSet)
 
 filterImports mod (Just (want_hiding, import_items)) avails
-  = mapMaybeRn check_item import_items         `thenRn` \ avails_w_explicits ->
+  = flatMapRn get_item import_items            `thenRn` \ avails_w_explicits ->
     let
        (item_avails, explicits_s) = unzip avails_w_explicits
        explicits                  = foldl addListToNameSet emptyNameSet explicits_s
@@ -400,20 +407,46 @@ filterImports mod (Just (want_hiding, import_items)) avails
        -- they won't make any difference because naked entities like T
        -- in an import list map to TcOccs, not VarOccs.
 
-    check_item item@(IEModuleContents _)
-      = addErrRn (badImportItemErr mod item)   `thenRn_`
-       returnRn Nothing
+    bale_out item = addErrRn (badImportItemErr mod item)       `thenRn_`
+                   returnRn []
+
+    get_item item@(IEModuleContents _) = bale_out item
+
+    get_item item@(IEThingAll _)
+      = case check_item item of
+         Nothing                    -> bale_out item
+         Just avail@(AvailTC _ [n]) ->         -- This occurs when you import T(..), but
+                                               -- only export T abstractly.  The single [n]
+                                               -- in the AvailTC is the type or class itself
+                                       addWarnRn (dodgyImportWarn mod item)    `thenRn_`
+                                       returnRn [(avail, [availName avail])]
+         Just avail                 -> returnRn [(avail, [availName avail])]
+
+    get_item item@(IEThingAbs n)
+      | want_hiding    -- hiding( C ) 
+                       -- Here the 'C' can be a data constructor *or* a type/class
+      = case catMaybes [check_item item, check_item (IEThingAbs data_n)] of
+               []     -> bale_out item
+               avails -> returnRn [(a, []) | a <- avails]
+                               -- The 'explicits' list is irrelevant when hiding
+      where
+       data_n = setRdrNameOcc n (setOccNameSpace (rdrNameOcc n) dataName)
+
+    get_item item
+      = case check_item item of
+         Nothing    -> bale_out item
+         Just avail -> returnRn [(avail, availNames avail)]
+
+    ok_dotdot_item (AvailTC _ [n]) = False
+    ok_dotdot_item other = True
 
     check_item item
       | not (maybeToBool maybe_in_import_avails) ||
        not (maybeToBool maybe_filtered_avail)
-      = addErrRn (badImportItemErr mod item)   `thenRn_`
-       returnRn Nothing
-
-      | dodgy_import = addWarnRn (dodgyImportWarn mod item)    `thenRn_`
-                      returnRn (Just (filtered_avail, explicits))
+      = Nothing
 
-      | otherwise    = returnRn (Just (filtered_avail, explicits))
+      | otherwise    
+      = Just filtered_avail
                
       where
        wanted_occ             = rdrNameOcc (ieName item)
@@ -422,20 +455,6 @@ filterImports mod (Just (want_hiding, import_items)) avails
        Just avail             = maybe_in_import_avails
        maybe_filtered_avail   = filterAvail item avail
        Just filtered_avail    = maybe_filtered_avail
-       explicits              | dot_dot   = [availName filtered_avail]
-                              | otherwise = availNames filtered_avail
-
-       dot_dot = case item of 
-                   IEThingAll _    -> True
-                   other           -> False
-
-       dodgy_import = case (item, avail) of
-                         (IEThingAll _, AvailTC _ [n]) -> True
-                               -- This occurs when you import T(..), but
-                               -- only export T abstractly.  The single [n]
-                               -- in the AvailTC is the type or class itself
-                                       
-                         other -> False
 \end{code}
 
 
@@ -507,18 +526,21 @@ qualifyImports this_mod unqual_imp as_mod hides
 
 %************************************************************************
 %*                                                                     *
-\subsection{Export list processing
+\subsection{Export list processing}
 %*                                                                     *
 %************************************************************************
 
 Processing the export list.
 
-You might think that we should record things that appear in the export list as
-``occurrences'' (using addOccurrenceName), but you'd be wrong.  We do check (here)
-that they are in scope, but there is no need to slurp in their actual declaration
-(which is what addOccurrenceName forces).  Indeed, doing so would big trouble when
-compiling PrelBase, because it re-exports GHC, which includes takeMVar#, whose type
-includes ConcBase.StateAndSynchVar#, and so on...
+You might think that we should record things that appear in the export list
+as ``occurrences'' (using @addOccurrenceName@), but you'd be wrong.
+We do check (here) that they are in scope,
+but there is no need to slurp in their actual declaration
+(which is what @addOccurrenceName@ forces).
+
+Indeed, doing so would big trouble when
+compiling @PrelBase@, because it re-exports @GHC@, which includes @takeMVar#@,
+whose type includes @ConcBase.StateAndSynchVar#@, and so on...
 
 \begin{code}
 type ExportAccum       -- The type of the accumulating parameter of
@@ -575,7 +597,8 @@ exportsFromAvail this_mod (Just export_items)
        | otherwise
        = case lookupFM mod_avail_env mod of
                Nothing         -> failWithRn acc (modExportErr mod)
-               Just mod_avails -> foldlRn (check_occs ie) occs mod_avails      `thenRn` \ occs' ->
+               Just mod_avails -> foldlRn (check_occs ie) occs mod_avails
+                                  `thenRn` \ occs' ->
                                   let
                                        avails' = foldl add_avail avails mod_avails
                                   in
@@ -601,7 +624,10 @@ exportsFromAvail this_mod (Just export_items)
        = failWithRn acc (exportItemErr ie)
 
        | otherwise     -- Phew!  It's OK!  Now to check the occurrence stuff!
-       = check_occs ie occs export_avail       `thenRn` \ occs' ->
+
+
+       = warnCheckRn (ok_item ie avail) (dodgyExportWarn ie)   `thenRn_`
+          check_occs ie occs export_avail                      `thenRn` \ occs' ->
          returnRn (mods, occs', add_avail avails export_avail)
 
        where
@@ -614,6 +640,12 @@ exportsFromAvail this_mod (Just export_items)
          enough_avail       = maybeToBool maybe_export_avail
          Just export_avail  = maybe_export_avail
 
+    ok_item (IEThingAll _) (AvailTC _ [n]) = False
+               -- This occurs when you import T(..), but
+               -- only export T abstractly.  The single [n]
+               -- in the AvailTC is the type or class itself
+    ok_item _ _ = True
+
 add_avail avails avail = addToNameEnv_C plusAvail avails (availName avail) avail
 
 check_occs :: RdrNameIE -> ExportOccMap -> AvailInfo -> RnMG ExportOccMap
@@ -626,8 +658,8 @@ check_occs ie occs avail
          Just (name', ie') 
            | name == name' ->  -- Duplicate export
                                warnCheckRn opt_WarnDuplicateExports
-                                           (dupExportWarn name_occ ie ie')     `thenRn_`
-                               returnRn occs
+                                           (dupExportWarn name_occ ie ie')
+                               `thenRn_` returnRn occs
 
            | otherwise     ->  -- Same occ name but different names: an error
                                failWithRn occs (exportClashErr name_occ ie ie')
@@ -652,20 +684,25 @@ badImportItemErr mod ie
   = sep [ptext SLIT("Module"), quotes (pprModuleName mod), 
         ptext SLIT("does not export"), quotes (ppr ie)]
 
-dodgyImportWarn mod (IEThingAll tc)
-  = sep [ptext SLIT("Module") <+> quotes (pprModuleName mod) <+> ptext SLIT("exports") <+> quotes (ppr tc), 
-        ptext SLIT("with no constructors/class operations;"),
-        ptext SLIT("yet it is imported with a (..)")]
+dodgyImportWarn mod item = dodgyMsg (ptext SLIT("import")) item
+dodgyExportWarn     item = dodgyMsg (ptext SLIT("export")) item
 
+dodgyMsg kind item@(IEThingAll tc)
+  = sep [ ptext SLIT("The") <+> kind <+> ptext SLIT("item") <+> quotes (ppr item),
+         ptext SLIT("suggests that") <+> quotes (ppr tc) <+> ptext SLIT("has constructor or class methods"),
+         ptext SLIT("but it has none; it is a type synonym or abstract type or class") ]
+         
 modExportErr mod
   = hsep [ ptext SLIT("Unknown module in export list: module"), quotes (pprModuleName mod)]
 
 exportItemErr export_item
-  = sep [ ptext SLIT("Bad export item"), quotes (ppr export_item)]
+  = sep [ ptext SLIT("The export item") <+> quotes (ppr export_item),
+         ptext SLIT("attempts to export constructors or class methods that are not visible here") ]
 
 exportClashErr occ_name ie1 ie2
-  = hsep [ptext SLIT("The export items"), quotes (ppr ie1), ptext SLIT("and"), quotes (ppr ie2),
-         ptext SLIT("create conflicting exports for"), quotes (ppr occ_name)]
+  = hsep [ptext SLIT("The export items"), quotes (ppr ie1)
+         ,ptext SLIT("and"), quotes (ppr ie2)
+        ,ptext SLIT("create conflicting exports for"), quotes (ppr occ_name)]
 
 dupDeclErr (n:ns)
   = vcat [ptext SLIT("Multiple declarations of") <+> quotes (ppr n),
@@ -694,5 +731,4 @@ dupFixityDecl rdr_name loc1 loc2
   = vcat [ptext SLIT("Multiple fixity declarations for") <+> quotes (ppr rdr_name),
          ptext SLIT("at ") <+> ppr loc1,
          ptext SLIT("and") <+> ppr loc2]
-
 \end{code}