ae89ac7 · elk · git.iko.soy

27import qualified Reporting.Render.Code as Code

28import qualified Reporting.Report as Report

29import qualified Reporting.Helpers as H

30−import Reporting.Helpers ( Doc, (<>) )

30+import Reporting.Helpers ( Doc, (<+>), (<>) )

31

32

33

164 )

165

166 AmbiguousVar region maybePrefix name possibleHomes ->

167− ambiguousName source region maybePrefix name possibleHomes "name"

167+ ambiguousName source region maybePrefix name possibleHomes "variable"

168

169 AmbiguousType region maybePrefix name possibleHomes ->

170 ambiguousName source region maybePrefix name possibleHomes "type"

823

824ambiguousName :: Code.Source -> R.Region -> Maybe N.Name -> N.Name -> [ModuleName.Canonical] -> String -> Report.Report

825ambiguousName source region maybePrefix name possibleHomes thing =

826− let

826+ Report.Report "AMBIGUOUS NAME" region [] $

827− givenName =

827+ Report.toCodeSnippet source region Nothing $

828− maybe N.toString toQualString maybePrefix name

828+ case maybePrefix of

829+ Nothing ->

830+ let

831+ homeToYellowDoc (ModuleName.Canonical _ home) =

832+ H.dullyellow (H.nameToDoc home)

833+

834+ bothOrAll =

835+ if length possibleHomes == 2 then "both" else "all"

836+ in

837+ (

838+ H.reflow $ "This usage of `" ++ N.toString name ++ "` is ambiguous."

839+ ,

840+ H.stack

841+ [ H.reflow $

842+ "Check your imports. The following modules " ++ bothOrAll

843+ ++ " expose a `" ++ N.toString name ++ "` " ++ thing ++ ":"

844+ , H.indent 4 $ H.vcat $ map homeToYellowDoc possibleHomes

845+ , H.reflowLink "Read" "imports" "to learn how to clarify which one you want."

846+ ]

847+ )

829

848

849+ Just prefix ->

850+ let

830− homeToYellowDoc (ModuleName.Canonical _ home) =

851+ homeToYellowDoc (ModuleName.Canonical _ home) =

852+ if prefix == home then

831− H.dullyellow (H.nameToDoc home)

853+ H.blue "import" <+> H.dullyellow (H.nameToDoc home)

854+ else

855+ H.blue "import" <+> H.dullyellow (H.nameToDoc home) <+> H.blue "as" <+> H.dullyellow (H.nameToDoc prefix)

832

856

833− bothOrAll =

857+ eitherOrAny =

834− if length possibleHomes == 2 then "both" else "all"

858+ if length possibleHomes == 2 then "either" else "any"

835− in

859+ in

836− Report.Report "AMBIGUOUS NAME" region [] $

837− Report.toCodeSnippet source region Nothing

838− (

860+ (

839− H.reflow $ "This usage of `" ++ givenName ++ "` is ambiguous."

861+ H.reflow $ "This usage of `" ++ toQualString prefix name ++ "` is ambiguous."

840− ,

862+ ,

841− H.stack

863+ H.stack

842− [ H.reflow $ "The following modules " ++ bothOrAll ++ " export this " ++ thing ++ ":"

864+ [ H.reflow $

865+ "It could refer to a " ++ thing ++ " from "

866+ ++ eitherOrAny ++ " of these imports:"

843− , H.indent 4 $ H.vcat $ map homeToYellowDoc possibleHomes

867+ , H.indent 4 $ H.vcat $ map homeToYellowDoc possibleHomes

844− , H.reflowLink "Read" "imports" "to learn how to clarify which one you want."

868+ , H.reflowLink "Read" "imports" "to learn how to clarify which one you want."

845− ]

869+ ]

846− )

870+ )

847

871

848

872

849

873