@@ -1,26 +1,37 @@
11{-# LANGUAGE OverloadedStrings #-}
22module Reporting.Exit
3− ( Init(..), initToReport
4− , Diff(..), diffToReport
5− , Make(..), makeToReport
6− , Bump(..), bumpToReport
7− , Repl(..), replToReport
8− , Publish(..), publishToReport
9− , Install(..), installToReport
10− , Reactor(..), reactorToReport
3+ ( Init(..)
4+ , initToReport
5+ --
6+ , Diff(..)
7+ , diffToReport
8+ --
9+ , Bump(..)
10+ , bumpToReport
1111 , newPackageOverview
1212 --
13+ , Publish(..)
14+ , publishToReport
15+ --
16+ , Install(..)
17+ , installToReport
18+ --
1319 , Solver(..)
20+ --
1421 , Outline(..)
1522 , OutlineProblem(..)
23+ --
1624 , Details(..)
17− , DetailsBadDep(..)
1825 , PackageProblem(..)
26+ --
1927 , RegistryProblem(..)
28+ --
29+ , Make(..)
2030 , BuildProblem(..)
2131 , BuildProjectProblem(..)
32+ , makeToReport
33+ --
2234 , DocsProblem(..)
23− , Generate(..)
2435 --
2536 , toString
2637 , toStderr
@@ -32,21 +43,16 @@ module Reporting.Exit
3243import qualified Data.ByteString as BS
3344import qualified Data.ByteString.UTF8 as BS_UTF8
3445import qualified Data.List as List
35−import qualified Data.Map as Map
36−import qualified Data.Name as N
3746import qualified Data.NonEmptyList as NE
3847import qualified Network.HTTP.Client as HTTP
3948import qualified Network.HTTP.Types.Header as HTTP
4049import qualified Network.HTTP.Types.Status as HTTP
41−import qualified System.FilePath as FP
42−import System.FilePath ((</>), (<.>))
4350
4451import qualified Elm.Constraint as C
4552import qualified Elm.Magnitude as M
4653import qualified Elm.ModuleName as ModuleName
4754import qualified Elm.Package as Pkg
4855import qualified Elm.Version as V
49−import qualified File
5056import qualified Http
5157import qualified Json.Decode as Decode
5258import qualified Json.Encode as Encode
@@ -63,25 +69,6 @@ import qualified Reporting.Render.Code as Code
6369
6470
6571
66−-- RENDERERS
67−
68−
69−toString :: Help.Report -> String
70−toString report =
71− Help.toString (Help.reportToDoc report)
72−
73−
74−toStderr :: Help.Report -> IO ()
75−toStderr report =
76− Help.toStderr (Help.reportToDoc report)
77−
78−
79−toJson :: Help.Report -> Encode.Value
80−toJson report =
81− Help.reportToJson report
82−
83−
84−
8572-- INIT
8673
8774
@@ -109,18 +96,13 @@ initToReport exit =
10996
11097 InitNoOfflineSolution pkgs ->
11198 Help.report "NO OFFLINE SOLUTION" Nothing
112− "I tried to create an elm.json with the following direct dependencies:"
113− [ D.indent 4 $ D.vcat $
114− map (D.dullyellow . D.fromChars . Pkg.toChars) pkgs
115− , D.reflow $
116− "I could not find compatible versions though, but that may be because I could not\
117− \ connect to https://package.elm-lang.org to get the latest list of packages. Are\
118− \ you able to connect to the internet? Please ask around one of the community\
119− \ forums at https://elm-lang.org/community for help!"
120− ]
99+ (error "TODO InitNoOfflineSolution" pkgs)
100+ (error "TODO InitNoOfflineSolution" pkgs)
101+ -- note about Russia IP addresses?
102+ -- ask if they are on a plane or train
121103
122104 InitSolverProblem solver ->
123− toSolverReport solver
105+ error "TODO InitSolverProblem" solver
124106
125107 InitAlreadyExists ->
126108 Help.report "EXISTING PROJECT" Nothing
@@ -144,7 +126,7 @@ data Diff
144126 = DiffNoOutline
145127 | DiffBadOutline Outline
146128 | DiffApplication
147− | DiffNoExposed
129+ | DiffNoExposed Pkg.Name
148130 | DiffUnpublished
149131 | DiffUnknownPackage Pkg.Name [Pkg.Name]
150132 | DiffUnknownVersion Pkg.Name V.Version [V.Version]
@@ -174,16 +156,14 @@ diffToReport diff =
174156 \ with packages. That way there are previously published versions of the API to\
175157 \ diff against!"
176158 [ D.reflow $ "If you are just curious to see a diff, try running this command:"
177− , D.indent 4 $ D.dullyellow $ "elm diff elm/json 1.0.0 1.1.2"
159+ , D.indent 4 $ D.dullyellow $ "elm diff elm/http 1.0.0 2.0.0"
178160 ]
179161
180− DiffNoExposed ->
162+ DiffNoExposed pkg ->
181163 Help.report "NO EXPOSED MODULES" (Just "elm.json")
182164 "Your elm.json has no \"exposed-modules\" which means there is no public API at\
183− \ all right now! What am I supposed to diff?"
184− [ D.reflow $
185− "Try adding some modules back to the \"exposed-modules\" field."
186− ]
165+ \ all right now! Try adding some modules back to this field."
166+ []
187167
188168 DiffUnpublished ->
189169 Help.report "UNPUBLISHED" Nothing
@@ -227,10 +207,10 @@ diffToReport diff =
227207 "I need the latest list of published packages before I do this diff"
228208
229209 DiffBadDetails details ->
230− toDetailsReport details
210+ error "TODO DiffBadDetails" details
231211
232212 DiffBadBuild buildProblem ->
233− toBuildProblemReport buildProblem
213+ error "TODO DiffBadBuild" buildProblem
234214
235215
236216
@@ -244,9 +224,6 @@ data Bump
244224 | BumpUnexpectedVersion V.Version [V.Version]
245225 | BumpMustHaveLatestRegistry RegistryProblem
246226 | BumpCannotFindDocs Pkg.Name V.Version DocsProblem
247− | BumpBadDetails Details
248− | BumpNoExposed
249− | BumpBadBuild BuildProblem
250227
251228
252229bumpToReport :: Bump -> Help.Report
@@ -294,24 +271,6 @@ bumpToReport bump =
294271 toDocsProblemReport problem $
295272 "I need the docs for " ++ V.toChars version ++ " to compute the next version number"
296273
297− BumpBadDetails details ->
298− toDetailsReport details
299−
300− BumpNoExposed ->
301− Help.docReport "NO EXPOSED MODULES" (Just "elm.json")
302− ( D.fillSep $
303− [ "To", "bump", "a", "package,", "the"
304− , D.dullyellow "\"exposed-modules\"", "field", "of", "your"
305− , "elm.json", "must", "list", "at", "least", "one", "module."
306− ]
307− )
308− [ D.reflow $
309− "Try adding some modules back to the \"exposed-modules\" field."
310− ]
311−
312− BumpBadBuild problem ->
313− toBuildProblemReport problem
314−
315274
316275
317276-- OVERVIEW OF VERSIONING
@@ -357,13 +316,12 @@ data Publish
357316 | PublishShortReadme
358317 | PublishNoLicense
359318 | PublishBuildProblem BuildProblem
360− | PublishMissingTag V.Version
361− | PublishCannotGetTag V.Version Http.Error
362− | PublishCannotGetTagData V.Version String BS.ByteString
319+ | PublishCannotGetTag Http.Error
363320 | PublishCannotGetZip Http.Error
364− | PublishCannotDecodeZip String
321+ | PublishCannotDecodeZip
365322 | PublishCannotGetDocs V.Version V.Version DocsProblem
366323 | PublishCannotRegister Http.Error
324+ | PublishMissingTag V.Version
367325 | PublishNoGit
368326 | PublishLocalChanges V.Version
369327 --
@@ -388,7 +346,7 @@ publishToReport publish =
388346 toOutlineReport outline
389347
390348 PublishBadDetails problem ->
391− toDetailsReport problem
349+ error "TODO PublishBadDetails" problem
392350
393351 PublishMustHaveLatestRegistry problem ->
394352 toRegistryProblemReport "PROBLEM UPDATING PACKAGE LIST" problem $
@@ -497,8 +455,7 @@ publishToReport publish =
497455 ]
498456 )
499457 [ D.reflow $
500− "Which modules do you want users of the package to have access to? Add their\
501− \ names to the \"exposed-modules\" list."
458+ "What is the point of a package that has no modules?!"
502459 ]
503460
504461 PublishNoReadme ->
@@ -525,7 +482,24 @@ publishToReport publish =
525482 ]
526483
527484 PublishBuildProblem buildProblem ->
528− toBuildProblemReport buildProblem
485+ error "TODO PublishBuildProblem" buildProblem
486+
487+ PublishCannotGetTag httpError ->
488+ error "TODO PublishCannotGetTag" httpError
489+
490+ PublishCannotGetZip httpError ->
491+ error "TODO PublishCannotGetZip" httpError
492+
493+ PublishCannotDecodeZip ->
494+ error "TODO PublishCannotDecodeZip"
495+
496+ PublishCannotGetDocs old new docsProblem ->
497+ toDocsProblemReport docsProblem $
498+ "I need the docs for " ++ V.toChars old ++ " to verify that "
499+ ++ V.toChars new ++ " really does come next"
500+
501+ PublishCannotRegister httpError ->
502+ error "TODO PublishCannotRegister" httpError
529503
530504 PublishMissingTag version ->
531505 let vsn = V.toChars version in
@@ -546,70 +520,6 @@ publishToReport publish =
546520 , "The -m flag is for a helpful message. Try to make it more informative!"
547521 ]
548522
549− PublishCannotGetTag version httpError ->
550− case httpError of
551− Http.BadHttp _ (HTTP.StatusCodeException response _)
552− | HTTP.statusCode (HTTP.responseStatus response) == 404 ->
553− let vsn = V.toChars version in
554− Help.report "NO TAG ON GITHUB" Nothing
555− ("You have version " ++ vsn ++ " tagged locally, but not on GitHub.")
556− [ D.reflow
557− "Run the following command to make this tag available on GitHub:"
558− , D.indent 4 $ D.dullyellow $ D.fromChars $
559− "git push origin " ++ vsn
560− , D.reflow
561− "This will make it possible to find your code online based on the version number."
562− ]
563−
564− _ ->
565− toHttpErrorReport "PROBLEM VERIFYING TAG" httpError
566− "I need to check that the version tag is registered on GitHub"
567−
568− PublishCannotGetTagData version url body ->
569− Help.report "PROBLEM VERIFYING TAG" Nothing
570− ("I need to check that version " ++ V.toChars version ++ " is tagged on GitHub, so I fetched:")
571− [ D.indent 4 $ D.dullyellow $ D.fromChars url
572− , D.reflow $
573− "I got the data back, but it was not what I was expecting. The response\
574− \ body contains " ++ show (BS.length body) ++ " bytes. Here is the "
575− ++ if BS.length body <= 76 then "whole thing:" else "beginning:"
576− , D.indent 4 $ D.dullyellow $ D.fromChars $
577− if BS.length body <= 76
578− then BS_UTF8.toString body
579− else take 73 (BS_UTF8.toString body) ++ "..."
580− , D.reflow $
581− "Does this error keep showing up? Maybe there is something weird with your\
582− \ internet connection. We have gotten reports that schools, businesses,\
583− \ airports, etc. sometimes intercept requests and add things to the body\
584− \ or change its contents entirely. Could that be the problem?"
585− ]
586−
587− PublishCannotGetZip httpError ->
588− toHttpErrorReport "PROBLEM DOWNLOADING CODE" httpError $
589− "I need to check that folks can download and build the source code when they\
590− \ install this package"
591−
592− PublishCannotDecodeZip url ->
593− Help.report "PROBLEM DOWNLOADING CODE" Nothing
594− "I need to check that folks can download and build the source code when they\
595− \ install this package, so I downloaded the code from:"
596− [ D.indent 4 $ D.dullyellow $ D.fromChars url
597− , D.reflow $
598− "I was unable to unzip the archive though. Maybe there is something weird with\
599− \ your internet connection. We have gotten reports that schools, businesses,\
600− \ airports, etc. sometimes intercept requests and add things to the body or\
601− \ change its contents entirely. Could that be the problem?"
602− ]
603−
604− PublishCannotGetDocs old new docsProblem ->
605− toDocsProblemReport docsProblem $
606− "I need the docs for " ++ V.toChars old ++ " to verify that "
607− ++ V.toChars new ++ " really does come next"
608−
609− PublishCannotRegister httpError ->
610− toHttpErrorReport "PROBLEM PUBLISHING PACKAGE" httpError $
611− "I need to send information about your package to the package website"
612−
613523 PublishNoGit ->
614524 Help.report "NO GIT" Nothing
615525 "I searched your PATH environment variable for `git` and could not\
@@ -639,17 +549,17 @@ publishToReport publish =
639549 ++ vsn ++ "` and publish your code from there."
640550 ]
641551
642− PublishZipBadDetails _ ->
643− badZipReport
552+ PublishZipBadDetails details ->
553+ error "TODO PublishZipBadDetails" details
644554
645555 PublishZipApplication ->
646− badZipReport
556+ error "TODO PublishZipApplication"
647557
648558 PublishZipNoExposed ->
649− badZipReport
559+ error "TODO PublishZipNoExposed"
650560
651− PublishZipBuildProblem _ ->
652− badZipReport
561+ PublishZipBuildProblem buildProblem ->
562+ error "TODO PublishZipBuildProblem" buildProblem
653563
654564
655565toBadReadmeReport :: String -> String -> Help.Report
@@ -666,24 +576,12 @@ toBadReadmeReport title summary =
666576 \ most common usage scenario. Show people what they can expect if\
667577 \ they learn more!"
668578 , D.toSimpleNote $
669− "By publishing your package, you are inviting people to invest time in\
670− \ understanding your work. Spending an hour on your README to communicate your\
671− \ knowledge more clearly can save the community days or weeks of time in\
672− \ aggregate, and saving time in aggregate is the whole point of publishing\
673− \ packages! People really appreciate it, and it makes the whole ecosystem feel\
674− \ nicer!"
675− ]
676−
677−
678−badZipReport :: Help.Report
679−badZipReport =
680− Help.report "PROBLEM VERIFYING PACKAGE" Nothing
681− "Before publishing packages, I download the code from GitHub and try to build it\
682− \ from scratch. That way I can be more confident that it will work for other\
683− \ people too. But I am not able to build it!"
684− [ D.reflow $
685− "I was just able to build your local copy though. Is there some way the version\
686− \ on GitHub could be different?"
579+ "By publishing your package, you are inviting people to invest time\
580+ \ in understanding your work. Spending an hour to communicate your\
581+ \ knowledge more clearly can save the community days or weeks of time\
582+ \ in aggregate, and saving time in aggregate is the whole point of\
583+ \ publishing packages! People really appreciate it, and it makes the\
584+ \ whole ecosystem feel nicer!"
687585 ]
688586
689587
@@ -701,10 +599,10 @@ toDocsProblemReport :: DocsProblem -> String -> Help.Report
701599toDocsProblemReport problem context =
702600 case problem of
703601 DP_Http httpError ->
704− toHttpErrorReport "PROBLEM LOADING DOCS" httpError context
602+ toHttpErrorReport "PROBLEM FETCHING DOCS" httpError context
705603
706604 DP_Data url body ->
707− Help.report "PROBLEM LOADING DOCS" Nothing (context ++ ", so I fetched:")
605+ Help.report "PROBLEM FETCHING DOCS" Nothing (context ++ ", so I fetched:")
708606 [ D.indent 4 $ D.dullyellow $ D.fromChars url
709607 , D.reflow $
710608 "I got the data back, but it was not what I was expecting. The response\
@@ -736,37 +634,26 @@ toDocsProblemReport problem context =
736634
737635
738636data Install
739− = InstallNoOutline
740− | InstallBadOutline Outline
741− | InstallBadRegistry RegistryProblem
637+ = InstallNoProject
742638 | InstallNoArgs FilePath
743− | InstallNoOnlineAppSolution Pkg.Name
744− | InstallNoOfflineAppSolution Pkg.Name
745− | InstallNoOnlinePkgSolution Pkg.Name
746− | InstallNoOfflinePkgSolution Pkg.Name
639+ | InstallNoOnlineSolution
640+ | InstallNoOfflineSolution
747641 | InstallHadSolverTrouble Solver
748− | InstallUnknownPackageOnline Pkg.Name [Pkg.Name]
749− | InstallUnknownPackageOffline Pkg.Name [Pkg.Name]
750− | InstallBadDetails Details
642+ | InstallUnknownPackageOnline [Pkg.Name]
643+ | InstallUnknownPackageOffline [Pkg.Name]
644+ | InstallHasBadDetails Details
751645
752646
753647installToReport :: Install -> Help.Report
754648installToReport exit =
755649 case exit of
756− InstallNoOutline ->
650+ InstallNoProject ->
757651 Help.report "NEW PROJECT?" Nothing
758652 "Are you trying to start a new project? Try this command instead:"
759653 [ D.indent 4 $ D.green "elm init"
760654 , D.reflow "It will help you get started!"
761655 ]
762656
763− InstallBadOutline outline ->
764− toOutlineReport outline
765−
766− InstallBadRegistry problem ->
767− toRegistryProblemReport "PROBLEM LOADING PACKAGE LIST" problem $
768− "I need the list of published packages to figure out how to install things"
769−
770657 InstallNoArgs elmHome ->
771658 Help.report "INSTALL WHAT?" Nothing
772659 "I am expecting commands like:"
@@ -790,109 +677,50 @@ installToReport exit =
790677 ]
791678 ]
792679
793− InstallNoOnlineAppSolution pkg ->
794− Help.report "CANNOT FIND COMPATIBLE VERSION" (Just "elm.json")
795− (
796− "I cannot find a version of " ++ Pkg.toChars pkg ++ " that is compatible\
797− \ with your existing dependencies."
798− )
799− [ D.reflow $
800− "I checked all the published versions. When that failed, I tried to find any\
801− \ compatible combination of these packages, even if it meant changing all your\
802− \ existing dependencies! That did not work either!"
680+ InstallNoOnlineSolution ->
681+ Help.report "UNSOLVABLE DEPENDENCIES" (Just "elm.json") -- TODO recommend using solver in `elm reactor`
682+ "This usually happens if you try to modify dependency constraints by\
683+ \ hand. I recommend deleting any dependency you added recently (or all\
684+ \ of them if things are bad) and then adding them again with:"
685+ [ D.indent 4 $ D.green "elm install"
803686 , D.reflow $
804− "This is most likely to happen when a package is not upgraded yet. Maybe a new\
805− \ version of Elm came out recently? Maybe a common package was changed recently?\
806− \ Maybe a better package came along, so there was no need to upgrade this one?\
807− \ Try asking around https://elm-lang.org/community to learn what might be going on\
808− \ with this package."
809− , D.toSimpleNote $
810− "Whatever the case, please be kind to the relevant package authors! Having\
811− \ friendly interactions with users is great motivation, and conversely, getting\
812− \ berated by strangers on the internet sucks your soul dry. Furthermore, package\
813− \ authors are humans with families, friends, jobs, vacations, responsibilities,\
814− \ goals, etc. They face obstacles outside of their technical work you will never\
815− \ know about, so please assume the best and try to be patient and supportive!"
687+ "And do not be afaid to ask for help on Slack if you get stuck!"
816688 ]
817689
818− InstallNoOfflineAppSolution pkg ->
819− Help.report "CANNOT FIND COMPATIBLE VERSION LOCALLY" (Just "elm.json")
820− (
821− "I cannot find a version of " ++ Pkg.toChars pkg ++ " that is compatible\
822− \ with your existing dependencies."
823− )
824− [ D.reflow $
825− "I was not able to connect to https://package.elm-lang.org/ though, so I was only\
826− \ able to look through packages that you have downloaded in the past."
827− , D.reflow $
828− "Try again later when you have internet!"
829− ]
690+ InstallNoOfflineSolution ->
691+ error "TODO InstallNoOfflineSolution"
830692
831− InstallNoOnlinePkgSolution pkg ->
832− Help.report "CANNOT FIND COMPATIBLE VERSION" (Just "elm.json")
833− (
834− "I cannot find a version of " ++ Pkg.toChars pkg ++ " that is compatible\
835− \ with your existing constraints."
836− )
837− [ D.reflow $
838− "With applications, I try to broaden the constraints to see if anything works,\
839− \ but messing with package constraints is much more delicate business. E.g. making\
840− \ your constraints stricter may make it harder for applications to find compatible\
841− \ dependencies. So fixing something here may break it for a lot of other people!"
842− , D.reflow $
843− "So I recommend making an application with the same dependencies as your package.\
844− \ See if there is a solution at all. From there it may be easier to figure out\
845− \ how to proceed in a way that will disrupt your users as little as possible. And\
846− \ the solution may be to help other package authors to get their packages updated,\
847− \ or to drop a dependency entirely."
848− ]
693+ InstallHadSolverTrouble solver ->
694+ error "TODO InstallHadSolverTrouble" solver
849695
850− InstallNoOfflinePkgSolution pkg ->
851− Help.report "CANNOT FIND COMPATIBLE VERSION LOCALLY" (Just "elm.json")
852− (
853− "I cannot find a version of " ++ Pkg.toChars pkg ++ " that is compatible\
854− \ with your existing constraints."
855− )
856− [ D.reflow $
857− "I was not able to connect to https://package.elm-lang.org/ though, so I was only\
858− \ able to look through packages that you have downloaded in the past."
859− , D.reflow $
860− "Try again later when you have internet!"
861− ]
696+ InstallUnknownPackageOnline suggestions ->
697+ error "TODO InstallUnknownPackageOnline" suggestions
862698
863− InstallHadSolverTrouble solver ->
864− toSolverReport solver
699+ InstallUnknownPackageOffline suggestions ->
700+ error "TODO InstallUnknownPackageOffline" suggestions
865701
866− InstallUnknownPackageOnline pkg suggestions ->
867− Help.docReport "UNKNOWN PACKAGE" Nothing
868− (
869− D.fillSep
870− ["I","cannot","find","a","package","named",D.red (D.fromPackage pkg) <> "."]
871− )
872− [ D.reflow $
873− "I looked through https://package.elm-lang.org for packages with similar names\
874− \ and found these:"
875− , D.indent 4 $ D.dullyellow $ D.vcat $ map D.fromPackage suggestions
876− , D.reflow $ "Maybe you want one of these instead?"
877− ]
702+ InstallHasBadDetails _ ->
703+ error "TODO InstallHasBadDetails"
878704
879− InstallUnknownPackageOffline pkg suggestions ->
880− Help.docReport "UNKNOWN PACKAGE" Nothing
881− (
882− D.fillSep
883− ["I","cannot","find","a","package","named",D.red (D.fromPackage pkg) <> "."]
884− )
885− [ D.reflow $
886− "I could not connect to https://package.elm-lang.org though, so new packages may\
887− \ have been published since I last updated my local cache of package names."
888− , D.reflow $
889− "Looking through the locally cached names, the closest ones are:"
890− , D.indent 4 $ D.dullyellow $ D.vcat $ map D.fromPackage suggestions
891− , D.reflow $ "Maybe you want one of these instead?"
892− ]
893705
894− InstallBadDetails details ->
895− toDetailsReport details
706+{- TODO detect if library has no 0.19.0 version. Maybe do this on website though?
707+ Help.report "OLD DEPENDENCIES" (Just "elm.json")
708+ ( "The following packages do not work with Elm " ++ V.toChars V.compiler ++ " right now:"
709+ )
710+ [ D.indent 4 $ D.vcat $ map (D.red . D.fromPackage) badPackages
711+ , D.reflow $
712+ "This may be because it is not upgraded yet. It may be because a\
713+ \ better solution came along, so there was no need to upgrade it.\
714+ \ Etc. Try asking around on Slack to learn more about the topic."
715+ , D.toSimpleNote
716+ "Whatever the case, please be kind to the relevant package authors! Having\
717+ \ friendly interactions with users is great motivation, and conversely, getting\
718+ \ berated by strangers on the internet sucks your soul dry. Furthermore, package\
719+ \ authors are humans with families, friends, jobs, vacations, responsibilities,\
720+ \ goals, etc. They face obstacles outside of their technical work you will never\
721+ \ know about, so please assume the best and try to be patient and supportive!"
722+ ]
723+-}
896724
897725
898726
@@ -901,44 +729,8 @@ installToReport exit =
901729
902730data Solver
903731 = SolverBadCacheData Pkg.Name V.Version
904− | SolverBadHttpData Pkg.Name V.Version String
905− | SolverBadHttp Pkg.Name V.Version Http.Error
906−
907−
908−toSolverReport :: Solver -> Help.Report
909−toSolverReport problem =
910− case problem of
911− SolverBadCacheData pkg vsn ->
912− Help.report "PROBLEM SOLVING PACKAGE CONSTRAINTS" Nothing
913− (
914− "I need the elm.json of " ++ Pkg.toChars pkg ++ " " ++ V.toChars vsn ++ " to\
915− \ help me search for a set of compatible packages. I had it cached locally, but\
916− \ it looks like the file was corrupted!"
917− )
918− [ D.reflow $
919− "I deleted the cached version, so the next run should download a fresh copy.\
920− \ Hopefully that will get you unstuck, but it will not resolve the root\
921− \ problem if a 3rd party tool is modifing cached files for some reason."
922− ]
923−
924− SolverBadHttpData pkg vsn url ->
925− Help.report "PROBLEM SOLVING PACKAGE CONSTRAINTS" Nothing
926− (
927− "I need the elm.json of " ++ Pkg.toChars pkg ++ " " ++ V.toChars vsn ++ " to\
928− \ help me search for a set of compatible packages, but I ran into corrupted\
929− \ information from:"
930− )
931− [ D.indent 4 $ D.dullyellow $ D.fromChars url
932− , D.reflow $
933− "Is something weird with your internet connection. We have gotten reports that\
934− \ schools, businesses, airports, etc. sometimes intercept requests and add things\
935− \ to the body or change its contents entirely. Could that be the problem?"
936− ]
937−
938− SolverBadHttp pkg vsn httpError ->
939− toHttpErrorReport "PROBLEM SOLVING PACKAGE CONSTRAINTS" httpError $
940− "I need the elm.json of " ++ Pkg.toChars pkg ++ " " ++ V.toChars vsn
941− ++ " to help me search for a set of compatible packages"
732+ | SolverBadHttpData Pkg.Name V.Version
733+ | SolverBadHttp Http.Error
942734
943735
944736
@@ -947,8 +739,7 @@ toSolverReport problem =
947739
948740data Outline
949741 = OutlineHasBadStructure (Decode.Error OutlineProblem)
950− | OutlineHasMissingSrcDirs FilePath [FilePath]
951− | OutlineHasDuplicateSrcDirs FilePath FilePath FilePath
742+ | OutlineHasBadSrcDirs FilePath [FilePath]
952743 | OutlineNoPkgCore
953744 | OutlineNoAppCore
954745 | OutlineNoAppJson
@@ -967,562 +758,87 @@ data OutlineProblem
967758 | OP_NoSrcDirs
968759
969760
970−toOutlineReport :: Outline -> Help.Report
971−toOutlineReport problem =
972− case problem of
973− OutlineHasBadStructure decodeError ->
974− Json.toReport "elm.json" (Json.FailureToReport toOutlineProblemReport) decodeError $
975− Json.ExplicitReason "I ran into a problem with your elm.json file."
976761
977− OutlineHasMissingSrcDirs dir dirs ->
978− case dirs of
979− [] ->
980− Help.report "MISSING SOURCE DIRECTORY" (Just "elm.json")
981− "I need a valid elm.json file, but the \"source-directories\" field lists the following directory:"
982− [ D.indent 4 $ D.red $ D.fromChars dir
983− , D.reflow $
984− "I cannot find it though. Is it missing? Is there a typo?"
985− ]
762+-- DETAILS
986763
987− _:_ ->
988− Help.report "MISSING SOURCE DIRECTORIES" (Just "elm.json")
989− "I need a valid elm.json file, but the \"source-directories\" field lists the following directories:"
990− [ D.indent 4 $ D.vcat $
991− map (D.red . D.fromChars) (dir:dirs)
992− , D.reflow $
993− "I cannot find them though. Are they missing? Are there typos?"
994− ]
995764
996− OutlineHasDuplicateSrcDirs canonicalDir dir1 dir2 ->
997− if dir1 == dir2 then
998− Help.report "REDUNDANT SOURCE DIRECTORIES" (Just "elm.json")
999− "I need a valid elm.json file, but the \"source-directories\" field lists the same directory twice:"
1000− [ D.indent 4 $ D.vcat $
1001− map (D.red . D.fromChars) [dir1,dir2]
1002− , D.reflow $
1003− "Remove one of the entries!"
1004− ]
1005− else
1006− Help.report "REDUNDANT SOURCE DIRECTORIES" (Just "elm.json")
1007− "I need a valid elm.json file, but the \"source-directories\" field has some redundant directories:"
1008− [ D.indent 4 $ D.vcat $
1009− map (D.red . D.fromChars) [dir1,dir2]
1010− , D.reflow $
1011− "These are two different ways of refering to the same directory:"
1012− , D.indent 4 $ D.dullyellow $ D.fromChars canonicalDir
1013− , D.reflow $
1014− "Remove one of the redundant entries from your \"source-directories\" field."
1015− ]
765+data Details
766+ = DetailsCorrupt
767+ | DetailsNoSolution
768+ | DetailsNoOfflineSolution
769+ | DetailsSolverProblem Solver
770+ | DetailsBadElmInPkg C.Constraint
771+ | DetailsBadElmInAppOutline V.Version
772+ | DetailsHandEditedDependencies
773+ | DetailsBadOutline Outline
774+ | DetailsCannotGetRegistry RegistryProblem
775+ | DetailsCannotBuildPackage Pkg.Name V.Version PackageProblem
1016776
1017− OutlineNoPkgCore ->
1018− Help.report "MISSING DEPENDENCY" (Just "elm.json")
1019− "I need to see an \"elm/core\" dependency your elm.json file. The default imports\
1020− \ of `List` and `Maybe` do not work without it."
1021− [ D.reflow $
1022− "If you modified your elm.json by hand, try to change it back! And if you are\
1023− \ having trouble getting back to a working elm.json, it may be easier to find a\
1024− \ working package and start fresh with their elm.json file."
1025− ]
1026777
1027− OutlineNoAppCore ->
1028− Help.report "MISSING DEPENDENCY" (Just "elm.json")
1029− "I need to see an \"elm/core\" dependency your elm.json file. The default imports\
1030− \ of `List` and `Maybe` do not work without it."
1031− [ D.reflow $
1032− "If you modified your elm.json by hand, try to change it back! And if you are\
1033− \ having trouble getting back to a working elm.json, it may be easier to delete it\
1034− \ and use `elm init` to start fresh."
1035− ]
778+data PackageProblem
779+ = PP_BadEndpointRequest Http.Error
780+ | PP_BadEndpointContent
781+ | PP_BadArchiveRequest Http.Error
782+ | PP_BadArchiveContent
783+ | PP_BadArchiveHash String String
1036784
1037− OutlineNoAppJson ->
1038− Help.report "MISSING DEPENDENCY" (Just "elm.json")
1039− "I need to see an \"elm/json\" dependency your elm.json file. It helps me handle\
1040− \ flags and ports."
1041− [ D.reflow $
1042− "If you modified your elm.json by hand, try to change it back! And if you are\
1043− \ having trouble getting back to a working elm.json, it may be easier to delete it\
1044− \ and use `elm init` to start fresh."
785+
786+
787+-- REGISTRY PROBLEM
788+
789+
790+data RegistryProblem
791+ = RP_Http Http.Error
792+ | RP_Data String BS.ByteString
793+
794+
795+toRegistryProblemReport :: String -> RegistryProblem -> String -> Help.Report
796+toRegistryProblemReport title problem context =
797+ case problem of
798+ RP_Http err ->
799+ toHttpErrorReport title err context
800+
801+ RP_Data url body ->
802+ Help.report title Nothing (context ++ ", so I fetched:")
803+ [ D.indent 4 $ D.dullyellow $ D.fromChars url
804+ , D.reflow $
805+ "I got the data back, but it was not what I was expecting. The response\
806+ \ body contains " ++ show (BS.length body) ++ " bytes. Here is the "
807+ ++ if BS.length body <= 76 then "whole thing:" else "beginning:"
808+ , D.indent 4 $ D.dullyellow $ D.fromChars $
809+ if BS.length body <= 76
810+ then BS_UTF8.toString body
811+ else take 73 (BS_UTF8.toString body) ++ "..."
812+ , D.reflow $
813+ "Does this error keep showing up? Maybe there is something weird with your\
814+ \ internet connection. We have gotten reports that schools, businesses,\
815+ \ airports, etc. sometimes intercept requests and add things to the body\
816+ \ or change its contents entirely. Could that be the problem?"
1045817 ]
1046818
1047819
1048−toOutlineProblemReport :: FilePath -> Code.Source -> Json.Context -> A.Region -> OutlineProblem -> Help.Report
1049−toOutlineProblemReport path source _ region problem =
820+toHttpErrorReport :: String -> Http.Error -> String -> Help.Report
821+toHttpErrorReport title err context =
1050822 let
1051− toHighlight row col =
1052− Just $ A.Region (A.Position row col) (A.Position row col)
1053−
1054− toSnippet title highlight pair =
1055− Help.jsonReport title (Just path) $
1056− Code.toSnippet source region highlight pair
823+ toHttpReport intro url details =
824+ Help.report title Nothing intro $
825+ D.indent 4 (D.dullyellow (D.fromChars url)) : details
1057826 in
1058− case problem of
1059− OP_BadType ->
1060− toSnippet "UNEXPECTED TYPE" Nothing
1061− ( D.reflow $
1062− "I got stuck while reading your elm.json file. I cannot handle a \"type\" like this:"
1063− , D.fillSep
1064− ["Try","changing","the","\"type\"","to"
1065− ,D.green "\"application\"","or",D.green "\"package\"","instead."
1066− ]
1067− )
1068−
1069− OP_BadPkgName row col ->
1070− toSnippet "INVALID PACKAGE NAME" (toHighlight row col)
1071− ( D.reflow $
1072− "I got stuck while reading your elm.json file. I ran into trouble with the package name:"
1073− , D.stack
1074− [ D.fillSep
1075− ["Package","names","are","always","written","as"
1076− ,D.green "\"author/project\""
1077− ,"so","I","am","expecting","to","see","something","like:"
1078− ]
1079− , D.dullyellow $ D.indent 4 $ D.vcat $
1080− [ "\"mdgriffith/elm-ui\""
1081− , "\"w0rm/elm-physics\""
1082− , "\"Microsoft/elm-json-tree-view\""
1083− , "\"FordLabs/elm-star-rating\""
1084− , "\"1602/json-schema\""
1085− ]
1086− , D.reflow
1087− "The author name should match your GitHub name exactly, and the project name\
1088− \ needs to follow these rules:"
1089− , D.indent 4 $ D.vcat $
1090− [ "+--------------------------------------+-----------+-----------+"
1091− , "| RULE | BAD | GOOD |"
1092− , "+--------------------------------------+-----------+-----------+"
1093− , "| only lower case, digits, and hyphens | elm-HTTP | elm-http |"
1094− , "| no leading digits | 3D | elm-3d |"
1095− , "| no non-ASCII characters | elm-bjørn | elm-bear |"
1096− , "| no underscores | elm_ui | elm-ui |"
1097− , "| no double hyphens | elm--hash | elm-hash |"
1098− , "| no starting or ending hyphen | -elm-tar- | elm-tar |"
1099− , "+--------------------------------------+-----------+-----------+"
1100− ]
1101− , D.toSimpleNote $
1102− "These rules only apply to the project name, so you should never need\
1103− \ to change your GitHub name!"
1104− ]
1105− )
1106−
1107− OP_BadVersion row col ->
1108− toSnippet "PROBLEM WITH VERSION" (toHighlight row col)
1109− ( D.reflow $
1110− "I got stuck while reading your elm.json file. I was expecting a version number here:"
1111− , D.fillSep
1112− ["I","need","something","like",D.green "\"1.0.0\"","or",D.green "\"2.0.4\""
1113− ,"that","explicitly","states","all","three","numbers!"
1114− ]
1115− )
1116−
1117− OP_BadConstraint constraintError ->
1118− case constraintError of
1119− C.BadFormat row col ->
1120− toSnippet "PROBLEM WITH CONSTRAINT" (toHighlight row col)
1121− ( D.reflow $
1122− "I got stuck while reading your elm.json file. I do not understand this version constraint:"
1123− , D.stack
1124− [ D.fillSep
1125− ["I","need","something","like",D.green "\"1.0.0 <= v < 2.0.0\""
1126− ,"that","explicitly","lists","the","lower","and","upper","bounds."
1127− ]
1128− , D.toSimpleNote $
1129− "The spaces in there are required! Taking them out will confuse me. Adding\
1130− \ extra spaces confuses me too. I recommend starting with a valid example\
1131− \ and just changing the version numbers."
1132− ]
1133− )
1134−
1135− C.InvalidRange before after ->
1136− if before == after then
1137− toSnippet "PROBLEM WITH CONSTRAINT" Nothing
1138− ( D.reflow $
1139− "I got stuck while reading your elm.json file. I ran into an invalid version constraint:"
1140− , D.fillSep
1141− ["Elm","checks","that","all","package","APIs","follow","semantic","versioning,"
1142− ,"so","it","is","best","to","use","wide","constraints.","I","recommend"
1143− ,D.green $ "\"" <> D.fromVersion before <> " <= v < " <> D.fromVersion (V.bumpMajor after) <> "\""
1144− ,"since","it","is","guaranteed","that","breaking","API","changes","cannot"
1145− ,"happen","in","any","of","the","versions","in","that","range."
1146− ]
1147− )
1148−
1149− else
1150− toSnippet "PROBLEM WITH CONSTRAINT" Nothing
1151− ( D.reflow $
1152− "I got stuck while reading your elm.json file. I ran into an invalid version constraint:"
1153− , D.fillSep
1154− ["Maybe","you","want","something","like"
1155− ,D.green $ "\"" <> D.fromVersion before <> " <= v < " <> D.fromVersion (V.bumpMajor before) <> "\""
1156− ,"instead?","Elm","checks","that","all","package","APIs","follow","semantic"
1157− ,"versioning,","so","it","is","guaranteed","that","breaking","API","changes"
1158− ,"cannot","happen","in","any","of","the","versions","in","that","range."
1159− ]
1160− )
1161−
1162− OP_BadModuleName row col ->
1163− toSnippet "PROBLEM WITH MODULE NAME" (toHighlight row col)
1164− ( D.reflow $
1165− "I got stuck while reading your elm.json file. I was expecting a module name here:"
1166− , D.fillSep
1167− ["I","need","something","like",D.green "\"Html.Events\""
1168− ,"or",D.green "\"Browser.Navigation\""
1169− ,"where","each","segment","starts","with","a","capital"
1170− ,"letter","and","the","segments","are","separated","by","dots."
1171− ]
1172− )
1173−
1174− OP_BadModuleHeaderTooLong ->
1175− toSnippet "HEADER TOO LONG" Nothing
1176− ( D.reflow $
1177− "I got stuck while reading your elm.json file. This section header is too long:"
1178− , D.stack
1179− [ D.fillSep
1180− ["I","need","it","to","be"
1181− ,D.green "under",D.green "20",D.green "bytes"
1182− ,"so","it","renders","nicely","on","the","package","website!"
1183− ]
1184− , D.toSimpleNote
1185− "I count the length in bytes, so using non-ASCII characters costs extra.\
1186− \ Please report your case at https://github.com/elm/compiler/issues if this seems\
1187− \ overly restrictive for your needs."
1188− ]
1189− )
1190−
1191− OP_BadDependencyName row col ->
1192− toSnippet "PROBLEM WITH DEPENDENCY NAME" (toHighlight row col)
1193− ( D.reflow $
1194− "I got stuck while reading your elm.json file. There is something wrong with this dependency name:"
1195− , D.stack
1196− [ D.fillSep
1197− ["Package","names","always","include","the","name","of","the","author,"
1198− ,"so","I","am","expecting","to","see","dependencies","like"
1199− ,D.dullyellow "\"mdgriffith/elm-ui\"","and"
1200− ,D.dullyellow "\"Microsoft/elm-json-tree-view\"" <> "."
1201− ]
1202− , D.fillSep $
1203− ["I","generally","recommend","finding","the","package","you","want","on"
1204− ,"the","package","website,","and","installing","it","with","the"
1205− ,D.green "elm install","command!"
1206− ]
1207− ]
1208− )
1209−
1210− OP_BadLicense _ suggestions ->
1211− toSnippet "UNKNOWN LICENSE" Nothing
1212− ( D.reflow $
1213− "I got stuck while reading your elm.json file. I do not know about this type of license:"
1214− ,
1215− D.stack
1216− [ D.fillSep
1217− ["Elm","packages","generally","use"
1218− ,D.green "\"BSD-3-Clause\"","or",D.green "\"MIT\"" <> ","
1219− ,"but","I","accept","any","OSI","approved","SPDX","license."
1220− ,"Here","some","that","seem","close","to","what","you","wrote:"
1221− ]
1222− , D.indent 4 $ D.dullyellow $ D.vcat $ map (D.fromChars . Json.toChars) suggestions
1223− , D.reflow $
1224− "Check out https://spdx.org/licenses/ for the full list of options."
1225− ]
1226− )
1227−
1228− OP_BadSummaryTooLong ->
1229− toSnippet "SUMMARY TOO LONG" Nothing
1230− ( D.reflow $
1231− "I got stuck while reading your elm.json file. Your \"summary\" is too long:"
1232− , D.stack
1233− [ D.fillSep
1234− ["I","need","it","to","be"
1235− ,D.green "under",D.green "80",D.green "bytes"
1236− ,"so","it","renders","nicely","on","the","package","website!"
1237− ]
1238− , D.toSimpleNote
1239− "I count the length in bytes, so using non-ASCII characters costs extra.\
1240− \ Please report your case at https://github.com/elm/compiler/issues if this seems\
1241− \ overly restrictive for your needs."
1242− ]
1243− )
1244−
1245− OP_NoSrcDirs ->
1246− toSnippet "NO SOURCE DIRECTORIES" Nothing
1247− ( D.reflow $
1248− "I got stuck while reading your elm.json file. You do not have any \"source-directories\" listed here:"
1249− , D.fillSep
1250− ["I","need","something","like",D.green "[\"src\"]"
1251− ,"so","I","know","where","to","look","for","your","modules!"
1252− ]
1253− )
1254−
1255−
1256−
1257−-- DETAILS
1258−
1259−
1260−data Details
1261− = DetailsNoSolution
1262− | DetailsNoOfflineSolution
1263− | DetailsSolverProblem Solver
1264− | DetailsBadElmInPkg C.Constraint
1265− | DetailsBadElmInAppOutline V.Version
1266− | DetailsHandEditedDependencies
1267− | DetailsBadOutline Outline
1268− | DetailsCannotGetRegistry RegistryProblem
1269− | DetailsBadDeps FilePath [DetailsBadDep]
1270−
1271−
1272−data DetailsBadDep
1273− = BD_BadDownload Pkg.Name V.Version PackageProblem
1274− | BD_BadBuild Pkg.Name V.Version (Map.Map Pkg.Name V.Version)
1275−
1276−
1277−toDetailsReport :: Details -> Help.Report
1278−toDetailsReport details =
1279− case details of
1280− DetailsNoSolution ->
1281− Help.report "INCOMPATIBLE DEPENDENCIES" (Just "elm.json")
1282− "The dependencies in your elm.json are not compatible."
1283− [ D.fillSep
1284− ["Did","you","change","them","by","hand?","Try","to","change","it","back!"
1285− ,"It","is","much","more","reliable","to","add","dependencies","with",D.green "elm install" <> "."
1286− ]
1287− , D.reflow $
1288− "Please ask for help on the community forums if you try those paths and are still\
1289− \ having problems!"
1290− ]
1291−
1292− DetailsNoOfflineSolution ->
1293− Help.report "TROUBLE VERIFYING DEPENDENCIES" (Just "elm.json")
1294− "I could not connect to https://package.elm-lang.org to get the latest list of\
1295− \ packages, and I was unable to verify your dependencies with the information I\
1296− \ have cached locally."
1297− [ D.reflow $
1298− "Are you able to connect to the internet? These dependencies may work once you\
1299− \ get access to the registry!"
1300− , D.toFancyNote
1301− ["If","you","changed","your","dependencies","by","hand,","try","to","change","them","back!"
1302− ,"It","is","much","more","reliable","to","add","dependencies","with",D.green "elm install" <> "."
1303− ]
1304− ]
1305−
1306− DetailsSolverProblem solver ->
1307− toSolverReport solver
1308−
1309− DetailsBadElmInPkg constraint ->
1310− Help.report "ELM VERSION MISMATCH" (Just "elm.json")
1311− "Your elm.json says this package needs a version of Elm in this range:"
1312− [ D.indent 4 $ D.dullyellow $ D.fromChars $ C.toChars constraint
1313− , D.fillSep
1314− [ "But", "you", "are", "using", "Elm"
1315− , D.red (D.fromVersion V.compiler)
1316− , "right", "now."
1317− ]
1318− ]
1319−
1320− DetailsBadElmInAppOutline version ->
1321− Help.report "ELM VERSION MISMATCH" (Just "elm.json")
1322− "Your elm.json says this application needs a different version of Elm."
1323− [ D.fillSep
1324− [ "It", "requires"
1325− , D.green (D.fromVersion version) <> ","
1326− , "but", "you", "are", "using"
1327− , D.red (D.fromVersion V.compiler)
1328− , "right", "now."
1329− ]
1330− ]
1331−
1332− DetailsHandEditedDependencies ->
1333− Help.report "ERROR IN DEPENDENCIES" (Just "elm.json")
1334− "It looks like the dependencies elm.json in were edited by hand (or by a 3rd\
1335− \ party tool) leaving them in an invalid state."
1336− [ D.fillSep
1337− ["Try","to","change","them","back","to","what","they","were","before!"
1338− ,"It","is","much","more","reliable","to","add","dependencies","with",D.green "elm install" <> "."
1339− ]
1340− , D.reflow $
1341− "Please ask for help on the community forums if you try those paths and are still\
1342− \ having problems!"
1343− ]
1344−
1345− DetailsBadOutline outline ->
1346− toOutlineReport outline
1347−
1348− DetailsCannotGetRegistry problem ->
1349− toRegistryProblemReport "PROBLEM LOADING PACKAGE LIST" problem $
1350− "I need the list of published packages to verify your dependencies"
1351−
1352− DetailsBadDeps cacheDir deps ->
1353− case List.sortOn toBadDepRank deps of
1354− [] ->
1355− Help.report "PROBLEM BUILDING DEPENDENCIES" Nothing
1356− "I am not sure what is going wrong though."
1357− [ D.reflow $
1358− "I would try deleting the " ++ cacheDir ++ " and elm-stuff/ directories, then\
1359− \ trying to build again. That will work if some cached files got corrupted\
1360− \ somehow."
1361− , D.reflow $
1362− "If that does not work, go to https://elm-lang.org/community and ask for\
1363− \ help. This is a weird case!"
1364− ]
1365−
1366− d:_ ->
1367− case d of
1368− BD_BadDownload pkg vsn packageProblem ->
1369− toPackageProblemReport pkg vsn packageProblem
1370−
1371− BD_BadBuild pkg vsn fingerprint ->
1372− Help.report "PROBLEM BUILDING DEPENDENCIES" Nothing
1373− "I ran into a compilation error when trying to build the following package:"
1374− [ D.indent 4 $ D.red $ D.fromChars $ Pkg.toChars pkg ++ " " ++ V.toChars vsn
1375− , D.reflow $
1376− "This probably means it has package constraints that are too wide. It may be\
1377− \ possible to tweak your elm.json to avoid the root problem as a stopgap. Head\
1378− \ over to https://elm-lang.org/community to get help figuring out how to take\
1379− \ this path!"
1380− , D.toSimpleNote $
1381− "To help with the root problem, please report this to the package author along\
1382− \ with the following information:"
1383− , D.indent 4 $ D.vcat $
1384− map (\(p,v) -> D.fromChars $ Pkg.toChars p ++ " " ++ V.toChars v) $
1385− Map.toList fingerprint
1386− , D.reflow $
1387− "If you want to help out even more, try building the package locally. That should\
1388− \ give you much more specific information about why this package is failing to\
1389− \ build, which will in turn make it easier for the package author to fix it!"
1390− ]
1391−
1392−
1393−toBadDepRank :: DetailsBadDep -> Int -- lower is better
1394−toBadDepRank badDep =
1395− case badDep of
1396− BD_BadDownload _ _ _ -> 0
1397− BD_BadBuild _ _ _ -> 1
1398−
1399−
1400−
1401−-- PACKAGE PROBLEM
1402−
1403−
1404−data PackageProblem
1405− = PP_BadEndpointRequest Http.Error
1406− | PP_BadEndpointContent String
1407− | PP_BadArchiveRequest Http.Error
1408− | PP_BadArchiveContent String
1409− | PP_BadArchiveHash String String String
1410−
1411−
1412−toPackageProblemReport :: Pkg.Name -> V.Version -> PackageProblem -> Help.Report
1413−toPackageProblemReport pkg vsn problem =
1414− let
1415− thePackage =
1416− Pkg.toChars pkg ++ " " ++ V.toChars vsn
1417− in
1418− case problem of
1419− PP_BadEndpointRequest httpError ->
1420− toHttpErrorReport "PROBLEM DOWNLOADING PACKAGE" httpError $
1421− "I need to find the latest download link for " ++ thePackage
1422−
1423− PP_BadEndpointContent url ->
1424− Help.report "PROBLEM DOWNLOADING PACKAGE" Nothing
1425− (
1426− "I need to find the latest download link for " ++ thePackage ++ ", but I ran into corrupted information from:"
1427− )
1428− [ D.indent 4 $ D.dullyellow $ D.fromChars url
1429− , D.reflow $
1430− "Is something weird with your internet connection. We have gotten reports that\
1431− \ schools, businesses, airports, etc. sometimes intercept requests and add things\
1432− \ to the body or change its contents entirely. Could that be the problem?"
1433− ]
1434−
1435− PP_BadArchiveRequest httpError ->
1436− toHttpErrorReport "PROBLEM DOWNLOADING PACKAGE" httpError $
1437− "I was trying to download the source code for " ++ thePackage
1438−
1439− PP_BadArchiveContent url ->
1440− Help.report "PROBLEM DOWNLOADING PACKAGE" Nothing
1441− (
1442− "I downloaded the source code for " ++ thePackage ++ " from:"
1443− )
1444− [ D.indent 4 $ D.dullyellow $ D.fromChars url
1445− , D.reflow $
1446− "But I was unable to unzip the data. Maybe there is something weird with\
1447− \ your internet connection. We have gotten reports that schools, businesses,\
1448− \ airports, etc. sometimes intercept requests and add things to the body or\
1449− \ change its contents entirely. Could that be the problem?"
1450− ]
1451−
1452− PP_BadArchiveHash url expectedHash actualHash ->
1453− Help.report "CORRUPT PACKAGE DATA" Nothing
1454− (
1455− "I downloaded the source code for " ++ thePackage ++ " from:"
1456− )
1457− [ D.indent 4 $ D.dullyellow $ D.fromChars url
1458− , D.reflow "But it looks like the hash of the archive has changed since publication:"
1459− , D.vcat $ map D.fromChars $
1460− [ " Expected: " ++ expectedHash
1461− , " Actual: " ++ actualHash
1462− ]
1463− , D.reflow $
1464− "This usually means that the package author moved the version\
1465− \ tag, so report it to them and see if that is the issue. Folks\
1466− \ on Elm slack can probably help as well."
1467− ]
1468−
1469−
1470−
1471−-- REGISTRY PROBLEM
1472−
1473−
1474−data RegistryProblem
1475− = RP_Http Http.Error
1476− | RP_Data String BS.ByteString
1477−
1478−
1479−toRegistryProblemReport :: String -> RegistryProblem -> String -> Help.Report
1480−toRegistryProblemReport title problem context =
1481− case problem of
1482− RP_Http err ->
1483− toHttpErrorReport title err context
1484−
1485− RP_Data url body ->
1486− Help.report title Nothing (context ++ ", so I fetched:")
1487− [ D.indent 4 $ D.dullyellow $ D.fromChars url
1488− , D.reflow $
1489− "I got the data back, but it was not what I was expecting. The response\
1490− \ body contains " ++ show (BS.length body) ++ " bytes. Here is the "
1491− ++ if BS.length body <= 76 then "whole thing:" else "beginning:"
1492− , D.indent 4 $ D.dullyellow $ D.fromChars $
1493− if BS.length body <= 76
1494− then BS_UTF8.toString body
1495− else take 73 (BS_UTF8.toString body) ++ "..."
1496− , D.reflow $
1497− "Does this error keep showing up? Maybe there is something weird with your\
1498− \ internet connection. We have gotten reports that schools, businesses,\
1499− \ airports, etc. sometimes intercept requests and add things to the body\
1500− \ or change its contents entirely. Could that be the problem?"
1501− ]
1502−
1503−
1504−toHttpErrorReport :: String -> Http.Error -> String -> Help.Report
1505−toHttpErrorReport title err context =
1506− let
1507− toHttpReport intro url details =
1508− Help.report title Nothing intro $
1509− D.indent 4 (D.dullyellow (D.fromChars url)) : details
1510− in
1511− case err of
1512− Http.BadUrl url reason ->
1513− toHttpReport (context ++ ", so I wanted to fetch:") url
1514− [ D.reflow $ "But my HTTP library is saying this is not a valid URL. It is saying:"
1515− , D.indent 4 $ D.fromChars reason
1516− , D.reflow $
1517− "This may indicate that there is some problem in the compiler, so please open an\
1518− \ issue at https://github.com/elm/compiler/issues listing your operating system, Elm\
1519− \ version, the command you ran, the terminal output, and any additional information\
1520− \ that might help others reproduce the error."
1521− ]
827+ case err of
828+ Http.BadUrl url reason ->
829+ toHttpReport (context ++ ", so I wanted to fetch:") url
830+ [ D.reflow $ "But my HTTP library is saying this is not a valid URL. It is saying:"
831+ , D.indent 4 $ D.fromChars reason
832+ , D.reflow $
833+ "This may indicate that there is some problem in the compiler, so please open an\
834+ \ issue at https://github.com/elm/compiler/issues listing your operating system, Elm\
835+ \ version, the command you ran, the terminal output, and any additional information\
836+ \ that might help others reproduce the error."
837+ ]
1522838
1523839 Http.BadHttp url httpExceptionContent ->
1524840 case httpExceptionContent of
1525− HTTP.StatusCodeException response body ->
841+ HTTP.StatusCodeException response _ ->
1526842 let
1527843 (HTTP.Status code message) = HTTP.responseStatus response
1528844 in
@@ -1530,7 +846,6 @@ toHttpErrorReport title err context =
1530846 [ D.fillSep $
1531847 ["But","it","came","back","as",D.red (D.fromInt code)]
1532848 ++ map D.fromChars (words (BS_UTF8.toString message))
1533− , D.indent 4 $ D.reflow $ BS_UTF8.toString body
1534849 , D.reflow $
1535850 "This may mean some online endpoint changed in an unexpected way, so if does not\
1536851 \ seem like something on your side is causing this (e.g. firewall) please report\
@@ -1586,380 +901,155 @@ toRedirectDoc response =
1586901
1587902
1588903data Make
1589− = MakeNoOutline
904+ = MakeNeedsOutline
1590905 | MakeCannotOptimizeAndDebug
1591− | MakeBadDetails Details
906+ | MakeBlockedByDetailsProblem Details
1592907 | MakeAppNeedsFileNames
1593908 | MakePkgNeedsExposing
1594909 | MakeMultipleFilesIntoHtml
1595− | MakeNoMain
1596910 | MakeNonMainFilesIntoJavaScript ModuleName.Raw [ModuleName.Raw]
911+ | MakeCannotOptimizeDebugValues ModuleName.Raw [ModuleName.Raw]
1597912 | MakeCannotBuild BuildProblem
1598− | MakeBadGenerate Generate
1599−
1600−
1601−makeToReport :: Make -> Help.Report
1602−makeToReport make =
1603− case make of
1604− MakeNoOutline ->
1605− Help.report "NO elm.json FILE" Nothing
1606− "It looks like you are starting a new Elm project. Very exciting! Try running:"
1607− [ D.indent 4 $ D.green $ "elm init"
1608− , D.reflow $
1609− "It will help you get set up. It is really simple!"
1610− ]
1611−
1612− MakeCannotOptimizeAndDebug ->
1613− Help.docReport "CLASHING FLAGS" Nothing
1614− ( D.fillSep
1615− ["I","cannot","compile","with",D.red "--optimize","and"
1616− ,D.red "--debug","at","the","same","time."
1617− ]
1618− )
1619− [ D.reflow
1620− "I need to take away information to optimize things, and I need to\
1621− \ add information to add the debugger. It is impossible to do both\
1622− \ at once though! Pick just one of those flags and it should work!"
1623− ]
1624−
1625− MakeBadDetails detailsProblem ->
1626− toDetailsReport detailsProblem
1627−
1628− MakeAppNeedsFileNames ->
1629− Help.report "NO INPUT" Nothing
1630− "What should I make though? I need specific files like:"
1631− [ D.vcat
1632− [ D.indent 4 $ D.green "elm make src/Main.elm"
1633− , D.indent 4 $ D.green "elm make src/This.elm src/That.elm"
1634− ]
1635− , D.reflow $
1636− "I recommend reading through https://guide.elm-lang.org for guidance on what to\
1637− \ actually put in those files!"
1638− ]
1639−
1640− MakePkgNeedsExposing ->
1641− Help.report "NO INPUT" Nothing
1642− "What should I make though? I need specific files like:"
1643− [ D.vcat
1644− [ D.indent 4 $ D.green "elm make src/Main.elm"
1645− , D.indent 4 $ D.green "elm make src/This.elm src/That.elm"
1646− ]
1647− , D.reflow $
1648− "You can also entries to the \"exposed-modules\" list in your elm.json file, and\
1649− \ I will try to compile the relevant files."
1650− ]
1651−
1652− MakeMultipleFilesIntoHtml ->
1653− Help.report "TOO MANY FILES" Nothing
1654− (
1655− "When producing an HTML file, I can only handle one file."
1656− )
1657− [ D.fillSep
1658− ["Switch","to",D.dullyellow "--output=/dev/null","if","you","just","want"
1659− ,"to","get","compile","errors.","This","skips","the","code","gen","phase,"
1660− ,"so","it","can","be","a","bit","faster","than","other","options","sometimes."
1661− ]
1662− , D.fillSep
1663− ["Switch","to",D.dullyellow "--output=elm.js","if","you","want","multiple"
1664− ,"`main`","values","available","in","a","single","JavaScript","file.","Then"
1665− ,"you","can","make","your","own","customized","HTML","file","that","embeds"
1666− ,"multiple","Elm","nodes.","The","generated","JavaScript","also","shares"
1667− ,"dependencies","between","modules,","so","it","should","be","smaller","than"
1668− ,"compiling","each","module","separately."
1669− ]
1670− ]
1671−
1672− MakeNoMain ->
1673− Help.report "NO MAIN" Nothing
1674− (
1675− "When producing an HTML file, I require that the given file has a `main` value.\
1676− \ That way I have something to show on screen!"
1677− )
1678− [ D.reflow $
1679− "Try adding a `main` value to your file? Or if you just want to verify that this\
1680− \ module compiles, switch to --output=/dev/null to skip the code gen phase\
1681− \ altogether."
1682− , D.toSimpleNote $
1683− "Adding a `main` value can be as brief as adding something like this:"
1684− , D.vcat
1685− [ D.fillSep [D.cyan "import","Html"]
1686− , ""
1687− , D.fillSep [D.green "main","="]
1688− , D.indent 2 $ D.fillSep [D.cyan "Html" <> ".text",D.dullyellow "\"Hello!\""]
1689− ]
1690− , D.reflow $
1691− "From there I can create an HTML file that says \"Hello!\" on screen. I recommend\
1692− \ looking through https://guide.elm-lang.org for more guidance on how to fill in\
1693− \ the `main` value."
1694− ]
1695−
1696− MakeNonMainFilesIntoJavaScript m ms ->
1697− case ms of
1698− [] ->
1699− Help.report "NO MAIN" Nothing
1700− (
1701− "When producing a JS file, I require that the given file has a `main` value. That\
1702− \ way Elm." ++ ModuleName.toChars m ++ ".init() is definitely defined in the\
1703− \ resulting file!"
1704− )
1705− [ D.reflow $
1706− "Try adding a `main` value to your file? Or if you just want to verify that this\
1707− \ module compiles, switch to --output=/dev/null to skip the code gen phase\
1708− \ altogether."
1709− , D.toSimpleNote $
1710− "Adding a `main` value can be as brief as adding something like this:"
1711− , D.vcat
1712− [ D.fillSep [D.cyan "import","Html"]
1713− , ""
1714− , D.fillSep [D.green "main","="]
1715− , D.indent 2 $ D.fillSep [D.cyan "Html" <> ".text",D.dullyellow "\"Hello!\""]
1716− ]
1717− , D.reflow $
1718− "Or use https://package.elm-lang.org/packages/elm/core/latest/Platform#worker to\
1719− \ make a `main` with no user interface."
1720− ]
1721−
1722− _:_ ->
1723− Help.report "NO MAIN" Nothing
1724− (
1725− "When producing a JS file, I require that given files all have `main` values.\
1726− \ That way functions like Elm." ++ ModuleName.toChars m ++ ".init() are\
1727− \ definitely defined in the resulting file. I am missing `main` values in:"
1728− )
1729− [ D.indent 4 $ D.red $ D.vcat $ map D.fromName (m:ms)
1730− , D.reflow $
1731− "Try adding a `main` value to them? Or if you just want to verify that these\
1732− \ modules compile, switch to --output=/dev/null to skip the code gen phase\
1733− \ altogether."
1734− , D.toSimpleNote $
1735− "Adding a `main` value can be as brief as adding something like this:"
1736− , D.vcat
1737− [ D.fillSep [D.cyan "import","Html"]
1738− , ""
1739− , D.fillSep [D.green "main","="]
1740− , D.indent 2 $ D.fillSep [D.cyan "Html" <> ".text",D.dullyellow "\"Hello!\""]
1741− ]
1742− , D.reflow $
1743− "Or use https://package.elm-lang.org/packages/elm/core/latest/Platform#worker to\
1744− \ make a `main` with no user interface."
1745− ]
1746−
1747− MakeCannotBuild buildProblem ->
1748− toBuildProblemReport buildProblem
1749−
1750− MakeBadGenerate generateProblem ->
1751− toGenerateReport generateProblem
1752−
1753−
1754−
1755−-- BUILD PROBLEM
913+ | MakeCannotLoadArtifacts
1756914
1757915
1758916data BuildProblem
1759− = BuildBadModules FilePath Error.Module [Error.Module]
917+ = BuildModuleProblems Error.Module [Error.Module]
1760918 | BuildProjectProblem BuildProjectProblem
1761919
1762920
1763921data BuildProjectProblem
1764922 = BP_PathUnknown FilePath
1765923 | BP_WithBadExtension FilePath
1766− | BP_WithAmbiguousSrcDir FilePath FilePath FilePath
924+ | BP_WithAmbiguousSrcDir FilePath FilePath
1767925 | BP_MainPathDuplicate FilePath FilePath
1768− | BP_RootNameDuplicate ModuleName.Raw FilePath FilePath
1769− | BP_RootNameInvalid FilePath FilePath [String]
926+ | BP_MainNameDuplicate ModuleName.Raw FilePath FilePath
1770927 | BP_CannotLoadDependencies
1771928 | BP_Cycle ModuleName.Raw [ModuleName.Raw]
1772929 | BP_MissingExposed (NE.List (ModuleName.Raw, Import.Problem))
1773930
1774931
1775−toBuildProblemReport :: BuildProblem -> Help.Report
1776−toBuildProblemReport problem =
1777− case problem of
1778− BuildBadModules root e es ->
1779− Help.compilerReport root e es
1780932
1781− BuildProjectProblem projectProblem ->
1782− toProjectProblemReport projectProblem
933+-- RENDERERS
1783934
1784935
1785−toProjectProblemReport :: BuildProjectProblem -> Help.Report
1786−toProjectProblemReport projectProblem =
1787− case projectProblem of
1788− BP_PathUnknown path ->
1789− Help.report "FILE NOT FOUND" Nothing
1790− "I cannot find this file:"
1791− [ D.indent 4 $ D.red $ D.fromChars path
1792− , D.reflow $ "Is there a typo?"
1793− , D.toSimpleNote $
1794− "If you are just getting started, try working through the examples in the\
1795− \ official guide https://guide.elm-lang.org to get an idea of the kinds of things\
1796− \ that typically go in a src/Main.elm file."
1797− ]
936+toString :: Help.Report -> String
937+toString report =
938+ Help.toString (Help.reportToDoc report)
1798939
1799− BP_WithBadExtension path ->
1800− Help.report "UNEXPECTED FILE EXTENSION" Nothing
1801− "I can only compile Elm files (with a .elm extension) but you want me to compile:"
1802− [ D.indent 4 $ D.red $ D.fromChars path
1803− , D.reflow $ "Is there a typo? Can the file extension be changed?"
1804− ]
1805940
1806− BP_WithAmbiguousSrcDir path srcDir1 srcDir2 ->
1807− Help.report "CONFUSING FILE" Nothing
1808− "I am getting confused when I try to compile this file:"
1809− [ D.indent 4 $ D.red $ D.fromChars path
1810− , D.reflow $
1811− "I always check if files appear in any of the \"source-directories\" listed in\
1812− \ your elm.json to see if there might be some cached information about them. That\
1813− \ can help me compile faster! But in this case, it looks like this file may be in\
1814− \ either of these directories:"
1815− , D.indent 4 $ D.red $ D.vcat $ map D.fromChars [srcDir1,srcDir2]
1816− , D.reflow $
1817− "Try to make it so no source directory contains another source directory!"
1818− ]
941+toStderr :: Help.Report -> IO ()
942+toStderr report =
943+ Help.toStderr (Help.reportToDoc report)
1819944
1820− BP_MainPathDuplicate path1 path2 ->
1821− Help.report "CONFUSING FILES" Nothing
1822− "You are telling me to compile these two files:"
1823− [ D.indent 4 $ D.red $ D.vcat $ map D.fromChars [ path1, path2 ]
1824− , D.reflow $
1825− if path1 == path2 then
1826− "Why are you telling me twice? Is something weird going on with a script?\
1827− \ I figured I would let you know about it just in case something is wrong.\
1828− \ Only list it once and you should be all set!"
1829− else
1830− "But seem to be the same file though... It makes me think something tricky is\
1831− \ going on with symlinks in your project, so I figured I would let you know\
1832− \ about it just in case. Remove one of these files from your command to get\
1833− \ unstuck!"
1834− ]
1835945
1836− BP_RootNameDuplicate name outsidePath otherPath ->
1837− Help.report "MODULE NAME CLASH" Nothing
1838− "These two files are causing a module name clash:"
1839− [ D.indent 4 $ D.red $ D.vcat $ map D.fromChars [ outsidePath, otherPath ]
1840− , D.reflow $
1841− "They both say `module " ++ ModuleName.toChars name ++ " exposing (..)` up\
1842− \ at the top, but they cannot have the same name!"
1843− , D.reflow $
1844− "Try changing to a different module name in one of them!"
1845− ]
946+toJson :: Help.Report -> Encode.Value
947+toJson report =
948+ Help.reportToJson report
1846949
1847− BP_RootNameInvalid givenPath srcDir _ ->
1848− Help.report "UNEXPECTED FILE NAME" Nothing
1849− "I am having trouble with this file name:"
1850− [ D.indent 4 $ D.red $ D.fromChars givenPath
1851− , D.reflow $
1852− "I found it in your " ++ FP.addTrailingPathSeparator srcDir ++ " directory\
1853− \ which is good, but I expect all of the files in there to use the following\
1854− \ module naming convention:"
1855− , toModuleNameConventionTable srcDir [ "Main", "HomePage", "Http.Helpers" ]
1856− , D.reflow $
1857− "Notice that the names always start with capital letters! Can you make your file\
1858− \ use this naming convention?"
1859− , D.toSimpleNote $
1860− "Having a strict naming convention like this makes it a lot easier to find\
1861− \ things in large projects. If you see a module imported, you know where to look\
1862− \ for the corresponding file every time!"
1863− ]
1864950
1865− BP_CannotLoadDependencies ->
1866− corruptCacheReport
1867951
1868− BP_Cycle name names ->
1869− Help.report "IMPORT CYCLE" Nothing
1870− "Your module imports form a cycle:"
1871− [ D.cycle 4 name names
1872− , D.reflow $
1873− "Learn more about why this is disallowed and how to break cycles here:"
1874− ++ D.makeLink "import-cycles"
1875− ]
952+-- DETAILS TO REPORT
1876953
1877− BP_MissingExposed (NE.List (name, problem) _) ->
1878− case problem of
1879− Import.NotFound ->
1880− Help.report "MISSING MODULE" (Just "elm.json")
1881− "The \"exposed-modules\" of your elm.json lists the following module:"
1882− [ D.indent 4 $ D.red $ D.fromName name
1883− , D.reflow $
1884− "But I cannot find it in your src/ directory. Is there a typo? Was it renamed?"
1885− ]
1886954
1887− Import.Ambiguous _ _ pkg _ ->
1888− Help.report "AMBIGUOUS MODULE NAME" (Just "elm.json")
1889− "The \"exposed-modules\" of your elm.json lists the following module:"
1890− [ D.indent 4 $ D.red $ D.fromName name
1891− , D.reflow $
1892− "But a module from " ++ Pkg.toChars pkg ++ " already uses that name. Try\
1893− \ choosing a different name for your local file."
955+detailsToReport :: Details -> Help.Report
956+detailsToReport details =
957+ case details of
958+ DetailsCorrupt ->
959+ error "TODO DetailsCorrupt"
960+
961+ DetailsBadElmInPkg constraint ->
962+ Help.report "ELM VERSION MISMATCH" (Just "elm.json")
963+ "Your elm.json says this package needs a version of Elm in this range:"
964+ [ D.indent 4 $ D.dullyellow $ D.fromChars $ C.toChars constraint
965+ , D.fillSep
966+ [ "But", "you", "are", "using", "Elm"
967+ , D.red (D.fromVersion V.compiler)
968+ , "right", "now."
1894969 ]
970+ ]
1895971
1896− Import.AmbiguousLocal path1 path2 paths ->
1897− Help.report "AMBIGUOUS MODULE NAME" (Just "elm.json")
1898− "The \"exposed-modules\" of your elm.json lists the following module:"
1899− [ D.indent 4 $ D.red $ D.fromName name
1900− , D.reflow $
1901− "But I found multiple files with that name:"
1902− , D.dullyellow $ D.indent 4 $ D.vcat $
1903− map D.fromChars (path1:path2:paths)
1904− , D.reflow $
1905− "Change the module names to be distinct!"
972+ DetailsBadElmInAppOutline version ->
973+ Help.report "ELM VERSION MISMATCH" (Just "elm.json")
974+ "Your elm.json says this application needs a different version of Elm."
975+ [ D.fillSep
976+ [ "It", "requires"
977+ , D.green (D.fromVersion version) <> ","
978+ , "but", "you", "are", "using"
979+ , D.red (D.fromVersion V.compiler)
980+ , "right", "now."
1906981 ]
982+ ]
983+
984+ DetailsHandEditedDependencies ->
985+ error "TODO DetailsHandEditedDependencies"
986+
987+ DetailsBadOutline outline ->
988+ toOutlineReport outline
1907989
1908− Import.AmbiguousForeign _ _ _ ->
1909− Help.report "MISSING MODULE" (Just "elm.json")
1910− "The \"exposed-modules\" of your elm.json lists the following module:"
1911− [ D.indent 4 $ D.red $ D.fromName name
1912− , D.reflow $
1913− "But I cannot find it in your src/ directory. Is there a typo? Was it renamed?"
1914− , D.toSimpleNote $
1915− "It is not possible to \"re-export\" modules from other packages. You can only\
1916− \ expose modules that you define in your own code."
1917− ]
990+ DetailsCannotGetRegistry problem ->
991+ toRegistryProblemReport "PROBLEM LOADING PACKAGE LIST" problem $
992+ "I need the list of published packages to figure out if your project has compatible dependencies"
1918993
994+ DetailsCannotBuildPackage name version problem ->
995+ error "TODO DetailsCannotBuildPackage" name version problem
1919996
1920−toModuleNameConventionTable :: FilePath -> [String] -> D.Doc
1921−toModuleNameConventionTable srcDir names =
1922− let
1923− toPair name =
1924− ( name
1925− , srcDir </> map (\c -> if c == '.' then FP.pathSeparator else c) name <.> "elm"
1926− )
997+ DetailsNoSolution ->
998+ error "TODO DetailsNoSolution"
1927999
1928− namePairs = map toPair names
1929− nameWidth = maximum (11 : map (length . fst) namePairs)
1930− pathWidth = maximum ( 9 : map (length . snd) namePairs)
1000+ DetailsNoOfflineSolution ->
1001+ error "TODO DetailsNoOfflineSolution"
19311002
1932− padded width str =
1933− str ++ replicate (width - length str) ' '
1003+ DetailsSolverProblem _ ->
1004+ error "TODO DetailsSolverProblem"
19341005
1935− toRow (name, path) =
1936− D.fromChars $
1937− "| " ++ padded nameWidth name ++ " | " ++ padded pathWidth path ++ " |"
19381006
1939− bar =
1940− D.fromChars $
1941− "+-" ++ replicate nameWidth '-' ++ "-+-" ++ replicate pathWidth '-' ++ "-+"
1942− in
1943− D.indent 4 $ D.vcat $
1944− [ bar, toRow ("Module Name", "File Path"), bar ] ++ map toRow namePairs ++ [ bar ]
19451007
1008+makeToReport :: Make -> Help.Report
1009+makeToReport make =
1010+ case make of
1011+ MakeNeedsOutline ->
1012+ Help.report "NO elm.json FILE" Nothing
1013+ "It looks like you are starting a new Elm project. Very exciting! Try running:"
1014+ [ D.indent 4 $ D.green $ "elm init"
1015+ , D.reflow $
1016+ "It will help you get set up. It is really simple!"
1017+ ]
19461018
1019+ MakeCannotOptimizeAndDebug ->
1020+ Help.docReport "CLASHING FLAGS" Nothing
1021+ ( D.fillSep
1022+ ["I","cannot","compile","with",D.red "--optimize","and"
1023+ ,D.red "--debug","at","the","same","time."
1024+ ]
1025+ )
1026+ [ D.reflow
1027+ "I need to take away information to optimize things, and I need to\
1028+ \ add information to add the debugger. It is impossible to do both\
1029+ \ at once though! Pick just one of those flags and it should work!"
1030+ ]
19471031
1948−-- GENERATE
1032+ MakeBlockedByDetailsProblem detailsProblem ->
1033+ detailsToReport detailsProblem
19491034
1035+ MakeAppNeedsFileNames ->
1036+ Help.report "NO INPUT" Nothing
1037+ "What should I make though? I need a specific file like this:"
1038+ [ D.indent 4 $ D.green "elm make src/Main.elm"
1039+ , D.reflow
1040+ "However many files you give, I will create one JS file out of them."
1041+ ]
19501042
1951−data Generate
1952− = GenerateCannotLoadArtifacts
1953− | GenerateCannotOptimizeDebugValues ModuleName.Raw [ModuleName.Raw]
1043+ MakePkgNeedsExposing ->
1044+ error "TODO MakePkgNeedsExposing"
19541045
1046+ MakeMultipleFilesIntoHtml ->
1047+ error "TODO MakeMultipleFilesIntoHtml"
19551048
1956−toGenerateReport :: Generate -> Help.Report
1957−toGenerateReport problem =
1958− case problem of
1959− GenerateCannotLoadArtifacts ->
1960− corruptCacheReport
1049+ MakeNonMainFilesIntoJavaScript _ _ ->
1050+ error "TODO MakeNonMainFilesIntoJavaScript"
19611051
1962− GenerateCannotOptimizeDebugValues m ms ->
1052+ MakeCannotOptimizeDebugValues m ms ->
19631053 Help.report "DEBUG REMNANTS" Nothing
19641054 "There are uses of the `Debug` module in the following modules:"
19651055 [ D.indent 4 $ D.red $ D.vcat $ map (D.fromChars . ModuleName.toChars) (m:ms)
@@ -1968,7 +1058,7 @@ toGenerateReport problem =
19681058 "The issue is that --optimize strips out info needed by `Debug` functions.\
19691059 \ Here are two examples:"
19701060 , D.indent 4 $ D.reflow $
1971− "(1) It shortens record field names. This makes the generated JavaScript\
1061+ "(1) It shortens record field names. This makes the generated JavaScript is\
19721062 \ smaller, but `Debug.toString` cannot know the real field names anymore."
19731063 , D.indent 4 $ D.reflow $
19741064 "(2) Values like `type Height = Height Float` are unboxed. This reduces\
@@ -1981,89 +1071,289 @@ toGenerateReport problem =
19811071 \ exists!"
19821072 ]
19831073
1074+ MakeCannotBuild buildProblem ->
1075+ case buildProblem of
1076+ BuildProjectProblem bp ->
1077+ case bp of
1078+ BP_PathUnknown _ ->
1079+ error "TODO BP_PathUnknown"
19841080
1081+ BP_WithBadExtension _ ->
1082+ error "TODO BP_WithBadExtension"
19851083
1986−-- CORRUPT CACHE
1084+ BP_WithAmbiguousSrcDir _ _ ->
1085+ error "TODO BP_WithAmbiguousSrcDir"
19871086
1087+ BP_MainPathDuplicate _ _ ->
1088+ error "TODO BP_MainPathDuplicate"
19881089
1989−corruptCacheReport :: Help.Report
1990−corruptCacheReport =
1991− Help.report "CORRUPT CACHE" Nothing
1992− "It looks like some of the information cached in elm-stuff/ has been corrupted."
1993− [ D.reflow $
1994− "Try deleting your elm-stuff/ directory to get unstuck."
1995− , D.toSimpleNote $
1996− "This almost certainly means that a 3rd party tool (or editor plugin) is\
1997− \ causing problems your the elm-stuff/ directory. Try disabling 3rd party tools\
1998− \ one by one until you figure out which it is!"
1999− ]
1090+ BP_MainNameDuplicate _ _ _ ->
1091+ error "TODO BP_MainNameDuplicate"
1092+
1093+ BP_CannotLoadDependencies ->
1094+ error "TODO BP_CannotLoadDependencies"
1095+
1096+ BP_Cycle name names ->
1097+ Help.report "IMPORT CYCLE" Nothing
1098+ "Your module imports form a cycle:"
1099+ [ D.cycle 4 name names
1100+ , D.reflow $
1101+ "Learn more about why this is disallowed and how to break cycles here:"
1102+ ++ D.makeLink "import-cycles"
1103+ ]
1104+
1105+ BP_MissingExposed _ ->
1106+ error "TODO BP_MissingExposed"
20001107
1108+ BuildModuleProblems p ps ->
1109+ Help.compilerReport p ps
20011110
1111+ MakeCannotLoadArtifacts ->
1112+ error "TODO MakeCannotLoadArtifacts"
20021113
2003−-- REACTOR
20041114
20051115
2006−data Reactor
2007− = ReactorNoOutline
2008− | ReactorBadDetails Details
2009− | ReactorBadBuild BuildProblem
2010− | ReactorBadGenerate Generate
1116+-- OUTLINE
20111117
20121118
2013−reactorToReport :: Reactor -> Help.Report
2014−reactorToReport problem =
1119+toOutlineReport :: Outline -> Help.Report
1120+toOutlineReport problem =
20151121 case problem of
2016− ReactorNoOutline ->
2017− Help.report "NEW PROJECT?" Nothing
2018− "Are you trying to start a new project? Try this command in the terminal:"
2019− [ D.indent 4 $ D.green "elm init"
2020− , D.reflow "It will help you get started!"
1122+ OutlineHasBadStructure decodeError ->
1123+ Json.toReport "elm.json" (Json.FailureToReport toOutlineProblemReport) decodeError $
1124+ Json.ExplicitReason "I ran into a problem with your elm.json file."
1125+
1126+ OutlineHasBadSrcDirs dir dirs ->
1127+ case dirs of
1128+ [] ->
1129+ Help.report "MISSING SOURCE DIRECTORY" (Just "elm.json")
1130+ "I need a valid elm.json file, but the \"source-directories\" field lists the following directory:"
1131+ [ D.indent 4 $ D.dullyellow $ D.fromChars dir
1132+ , D.reflow $
1133+ "I cannot find it though. Is it missing? Is there a typo?"
1134+ ]
1135+
1136+ _:_ ->
1137+ Help.report "MISSING SOURCE DIRECTORIES" (Just "elm.json")
1138+ "I need a valid elm.json file, but the \"source-directories\" field lists the following directories:"
1139+ [ D.indent 4 $ D.dullyellow $ D.fromChars dir
1140+ , D.reflow $
1141+ "I cannot find them though. Are they missing? Are there typos?"
1142+ ]
1143+
1144+ OutlineNoPkgCore ->
1145+ Help.report "MISSING DEPENDENCY" (Just "elm.json")
1146+ "I need a valid elm.json file, so I need to see an \"elm/core\" dependency in there. Try running:"
1147+ [ D.indent 4 $ D.green $ "elm install elm/core"
1148+ , D.reflow "I need it for the default imports that make `List` and `Maybe` available."
20211149 ]
20221150
2023− ReactorBadDetails details ->
2024− toDetailsReport details
1151+ OutlineNoAppCore ->
1152+ Help.report "MISSING DEPENDENCY" (Just "elm.json")
1153+ "I need a valid elm.json file, so I need to see an \"elm/core\" dependency in there. Try running:"
1154+ [ D.indent 4 $ D.green $ "elm install elm/core"
1155+ , D.reflow "It has some supporting code that is needed by every Elm application!"
1156+ ]
20251157
2026− ReactorBadBuild buildProblem ->
2027− toBuildProblemReport buildProblem
1158+ OutlineNoAppJson ->
1159+ Help.report "MISSING DEPENDENCY" (Just "elm.json")
1160+ "I need a valid elm.json file, so I need to see an \"elm/json\" dependency in there. Try running:"
1161+ [ D.indent 4 $ D.green $ "elm install elm/json"
1162+ , D.reflow "It helps me handle flags and ports."
1163+ ]
20281164
2029− ReactorBadGenerate generate ->
2030− toGenerateReport generate
20311165
1166+toOutlineProblemReport :: FilePath -> Code.Source -> Json.Context -> A.Region -> OutlineProblem -> Help.Report
1167+toOutlineProblemReport path source _ region problem =
1168+ let
1169+ toHighlight row col =
1170+ Just $ A.Region (A.Position row col) (A.Position row col)
20321171
1172+ toSnippet title highlight pair =
1173+ Help.jsonReport title (Just path) $
1174+ Code.toSnippet source region highlight pair
1175+ in
1176+ case problem of
1177+ OP_BadType ->
1178+ toSnippet "UNEXPECTED TYPE" Nothing
1179+ ( D.reflow $
1180+ "I got stuck while reading your elm.json file. I cannot handle a \"type\" like this:"
1181+ , D.fillSep
1182+ ["Try","changing","the","\"type\"","to"
1183+ ,D.green "\"application\"","or",D.green "\"package\"","instead."
1184+ ]
1185+ )
20331186
2034−-- REPL
1187+ OP_BadPkgName row col ->
1188+ toSnippet "INVALID PACKAGE NAME" (toHighlight row col)
1189+ ( D.reflow $
1190+ "I got stuck while reading your elm.json file. I ran into trouble with the package name:"
1191+ , D.stack
1192+ [ D.fillSep
1193+ ["Package","names","are","always","written","as"
1194+ ,D.green "\"author/project\""
1195+ ,"so","I","am","expecting","to","see","something","like:"
1196+ ]
1197+ , D.dullyellow $ D.indent 4 $ D.vcat $
1198+ [ "\"mdgriffith/elm-ui\""
1199+ , "\"w0rm/elm-physics\""
1200+ , "\"Microsoft/elm-json-tree-view\""
1201+ , "\"FordLabs/elm-star-rating\""
1202+ , "\"1602/json-schema\""
1203+ ]
1204+ , D.reflow
1205+ "The author name should match your GitHub name exactly, and the project name\
1206+ \ needs to follow these rules:"
1207+ , D.indent 4 $ D.vcat $
1208+ [ "+--------------------------------------+-----------+-----------+"
1209+ , "| RULE | BAD | GOOD |"
1210+ , "+--------------------------------------+-----------+-----------+"
1211+ , "| only lower case, digits, and hyphens | elm-HTTP | elm-http |"
1212+ , "| no leading digits | 3D | elm-3d |"
1213+ , "| no non-ASCII characters | elm-bjørn | elm-bear |"
1214+ , "| no underscores | elm_ui | elm-ui |"
1215+ , "| no double hyphens | elm--hash | elm-hash |"
1216+ , "| no starting or ending hyphen | -elm-tar- | elm-tar |"
1217+ , "+--------------------------------------+-----------+-----------+"
1218+ ]
1219+ , D.toSimpleNote $
1220+ "These rules only apply to the project name, so you should never need\
1221+ \ to change your GitHub name!"
1222+ ]
1223+ )
20351224
1225+ OP_BadVersion row col ->
1226+ toSnippet "PROBLEM WITH VERSION" (toHighlight row col)
1227+ ( D.reflow $
1228+ "I got stuck while reading your elm.json file. I was expecting a version number here:"
1229+ , D.fillSep
1230+ ["I","need","something","like",D.green "\"1.0.0\"","or",D.green "\"2.0.4\""
1231+ ,"that","explicitly","states","all","three","numbers!"
1232+ ]
1233+ )
20361234
2037−data Repl
2038− = ReplBadDetails Details
2039− | ReplBadInput BS.ByteString Error.Error
2040− | ReplBadLocalDeps FilePath Error.Module [Error.Module]
2041− | ReplProjectProblem BuildProjectProblem
2042− | ReplBadGenerate Generate
2043− | ReplBadCache
2044− | ReplBlocked
1235+ OP_BadConstraint constraintError ->
1236+ case constraintError of
1237+ C.BadFormat row col ->
1238+ toSnippet "PROBLEM WITH CONSTRAINT" (toHighlight row col)
1239+ ( D.reflow $
1240+ "I got stuck while reading your elm.json file. I do not understand this version constraint:"
1241+ , D.stack
1242+ [ D.fillSep
1243+ ["I","need","something","like",D.green "\"1.0.0 <= v < 2.0.0\""
1244+ ,"that","explicitly","lists","the","lower","and","upper","bounds."
1245+ ]
1246+ , D.toSimpleNote $
1247+ "The spaces in there are required! Taking them out will confuse me. Adding\
1248+ \ extra spaces confuses me too. I recommend starting with a valid example\
1249+ \ and just changing the version numbers."
1250+ ]
1251+ )
20451252
1253+ C.InvalidRange before after ->
1254+ if before == after then
1255+ toSnippet "PROBLEM WITH CONSTRAINT" Nothing
1256+ ( D.reflow $
1257+ "I got stuck while reading your elm.json file. I ran into an invalid version constraint:"
1258+ , D.fillSep
1259+ ["Elm","checks","that","all","package","APIs","follow","semantic","versioning,"
1260+ ,"so","it","is","best","to","use","wide","constraints.","I","recommend"
1261+ ,D.green $ "\"" <> D.fromVersion before <> " <= v < " <> D.fromVersion (V.bumpMajor after) <> "\""
1262+ ,"since","it","is","guaranteed","that","breaking","API","changes","cannot"
1263+ ,"happen","in","any","of","the","versions","in","that","range."
1264+ ]
1265+ )
20461266
2047−replToReport :: Repl -> Help.Report
2048−replToReport problem =
2049− case problem of
2050− ReplBadDetails details ->
2051− toDetailsReport details
1267+ else
1268+ toSnippet "PROBLEM WITH CONSTRAINT" Nothing
1269+ ( D.reflow $
1270+ "I got stuck while reading your elm.json file. I ran into an invalid version constraint:"
1271+ , D.fillSep
1272+ ["Maybe","you","want","something","like"
1273+ ,D.green $ "\"" <> D.fromVersion before <> " <= v < " <> D.fromVersion (V.bumpMajor before) <> "\""
1274+ ,"instead?","Elm","checks","that","all","package","APIs","follow","semantic"
1275+ ,"versioning,","so","it","is","guaranteed","that","breaking","API","changes"
1276+ ,"cannot","happen","in","any","of","the","versions","in","that","range."
1277+ ]
1278+ )
20521279
2053− ReplBadInput source err ->
2054− Help.compilerReport "/" (Error.Module N.replModule "REPL" File.zeroTime source err) []
1280+ OP_BadModuleName row col ->
1281+ toSnippet "PROBLEM WITH MODULE NAME" (toHighlight row col)
1282+ ( D.reflow $
1283+ "I got stuck while reading your elm.json file. I was expecting a module name here:"
1284+ , D.fillSep
1285+ ["I","need","something","like",D.green "\"Html.Events\""
1286+ ,"or",D.green "\"Browser.Navigation\""
1287+ ,"where","each","segment","starts","with","a","capital"
1288+ ,"letter","and","the","segments","are","separated","by","dots."
1289+ ]
1290+ )
20551291
2056− ReplBadLocalDeps root e es ->
2057− Help.compilerReport root e es
1292+ OP_BadModuleHeaderTooLong ->
1293+ toSnippet "HEADER TOO LONG" Nothing
1294+ ( D.reflow $
1295+ "I got stuck while reading your elm.json file. This section header is too long:"
1296+ , D.fillSep
1297+ ["I","need","it","to","be"
1298+ ,D.green "under",D.green "20",D.green "characters"
1299+ ,"so","it","renders","nicely","on","the","package","website!"
1300+ ]
1301+ )
20581302
2059− ReplProjectProblem projectProblem ->
2060− toProjectProblemReport projectProblem
1303+ OP_BadDependencyName row col ->
1304+ toSnippet "PROBLEM WITH DEPENDENCY NAME" (toHighlight row col)
1305+ ( D.reflow $
1306+ "I got stuck while reading your elm.json file. There is something wrong with this dependency name:"
1307+ , D.stack
1308+ [ D.fillSep
1309+ ["Package","names","always","include","the","name","of","the","author,"
1310+ ,"so","I","am","expecting","to","see","dependencies","like"
1311+ ,D.dullyellow "\"mdgriffith/elm-ui\"","and"
1312+ ,D.dullyellow "\"Microsoft/elm-json-tree-view\"" <> "."
1313+ ]
1314+ , D.fillSep $
1315+ ["I","generally","recommend","finding","the","package","you","want","on"
1316+ ,"the","package","website,","and","installing","it","with","the"
1317+ ,D.green "elm install","command!"
1318+ ]
1319+ ]
1320+ )
20611321
2062− ReplBadGenerate generate ->
2063− toGenerateReport generate
1322+ OP_BadLicense _ suggestions ->
1323+ toSnippet "UNKNOWN LICENSE" Nothing
1324+ ( D.reflow $
1325+ "I got stuck while reading your elm.json file. I do not know about this type of license:"
1326+ ,
1327+ D.stack
1328+ [ D.fillSep
1329+ ["Elm","packages","generally","use"
1330+ ,D.green "\"BSD-3-Clause\"","or",D.green "\"MIT\"" <> ","
1331+ ,"but","I","accept","any","OSI","approved","SPDX","license."
1332+ ,"Here","some","that","seem","close","to","what","you","wrote:"
1333+ ]
1334+ , D.indent 4 $ D.dullyellow $ D.vcat $ map (D.fromChars . Json.toChars) suggestions
1335+ , D.reflow $
1336+ "Check out https://spdx.org/licenses/ for the full list of options."
1337+ ]
1338+ )
20641339
2065− ReplBadCache ->
2066− corruptCacheReport
1340+ OP_BadSummaryTooLong ->
1341+ toSnippet "SUMMARY TOO LONG" Nothing
1342+ ( D.reflow $
1343+ "I got stuck while reading your elm.json file. Your \"summary\" is too long:"
1344+ , D.fillSep
1345+ ["I","need","it","to","be"
1346+ ,D.green "under",D.green "80",D.green "characters"
1347+ ,"so","it","renders","nicely","on","the","package","website!"
1348+ ]
1349+ )
20671350
2068− ReplBlocked ->
2069− corruptCacheReport
1351+ OP_NoSrcDirs ->
1352+ toSnippet "NO SOURCE DIRECTORIES" Nothing
1353+ ( D.reflow $
1354+ "I got stuck while reading your elm.json file. You do not have any \"source-directories\" listed here:"
1355+ , D.fillSep
1356+ ["I","need","something","like",D.green "[\"src\"]"
1357+ ,"so","I","know","where","to","look","for","your","modules!"
1358+ ]
1359+ )