1{-# OPTIONS_GHC -Wall #-}
2{-# LANGUAGE OverloadedStrings #-}
3module Reporting.Error.Syntax
47import Prelude hiding (Char, String)
48import qualified Data.Char as Char
49import qualified Data.Name as Name
50import Data.Word (Word16)
51import Numeric (showHex)
53import qualified Elm.ModuleName as ModuleName
54import Parse.Primitives (Row, Col)
55import Parse.Symbol (BadOperator(..))
56import qualified Reporting.Annotation as A
57import qualified Reporting.Doc as D
58import qualified Reporting.Report as Report
59import qualified Reporting.Render.Code as Code
67 = ModuleNameUnspecified ModuleName.Raw
68 | ModuleNameMismatch ModuleName.Raw (A.Located ModuleName.Raw)
69 | UnexpectedPort A.Region
79 = ModuleSpace Space Row Col
80 | ModuleEndOfFile Row Col
82 | ModuleProblem Row Col
84 | ModuleExposing Exposing Row Col
86 | PortModuleProblem Row Col
87 | PortModuleName Row Col
88 | PortModuleExposing Exposing Row Col
98 | ImportExposing Row Col
99 | ImportExposingList Exposing Row Col
100 | ImportEnd Row Col -- different based on col=1 or if greater
102 | ImportIndentName Row Col
103 | ImportIndentAlias Row Col
104 | ImportIndentExposingList Row Col
108 | Declarations Decl Row Col
112 = ExposingSpace Space Row Col
113 | ExposingStart Row Col
114 | ExposingValue Row Col
115 | ExposingOperator Row Col
116 | ExposingOperatorReserved BadOperator Row Col
117 | ExposingOperatorRightParen Row Col
118 | ExposingEnd Row Col
120 | ExposingTypePrivacy Row Col
121 | ExposingTypePrivacyDots Row Col
122 | ExposingTypePrivacyEnd Row Col
124 | ExposingIndentEnd Row Col
125 | ExposingIndentValue Row Col
126 | ExposingIndentValueEnd Row Col
127 | ExposingIndentTypePrivacy Row Col
128 | ExposingIndentTypePrivacyDots Row Col
129 | ExposingIndentTypePrivacyEnd Row Col
138 | DeclSpace Space Row Col
141 | DeclType DeclType Row Col
142 | DeclDef Name.Name DeclDef Row Col
144 | DeclFreshLineStart Row Col
145 | DeclFreshLineAfterDocComment Row Col
149 = DeclDefSpace Space Row Col
150 | DeclDefEquals Row Col
151 | DeclDefType Type Row Col
152 | DeclDefArg Pattern Row Col
153 | DeclDefBody Expr Row Col
154 | DeclDefNameRepeat Row Col
155 | DeclDefNameMatch Name.Name Row Col
157 | DeclDefIndentType Row Col
158 | DeclDefIndentEquals Row Col
159 | DeclDefIndentBody Row Col
161 | DeclDefFreshLineAfterType Row Col
165 = PortSpace Space Row Col
168 | PortType Type Row Col
169 | PortIndentName Row Col
170 | PortIndentColon Row Col
171 | PortIndentType Row Col
179 = DT_Space Space Row Col
181 | DT_Alias TypeAlias Row Col
182 | DT_Union CustomType Row Col
184 | DT_IndentName Row Col
188 = AliasSpace Space Row Col
190 | AliasEquals Row Col
191 | AliasBody Type Row Col
193 | AliasIndentEquals Row Col
194 | AliasIndentBody Row Col
198 = CT_Space Space Row Col
203 | CT_VariantArg Type Row Col
205 | CT_IndentEquals Row Col
206 | CT_IndentBar Row Col
207 | CT_IndentAfterBar Row Col
208 | CT_IndentAfterEquals Row Col
220 | Record Record Row Col
221 | Tuple Tuple Row Col
226 | OperatorRight Name.Name Row Col
227 | OperatorReserved BadOperator Row Col
231 | String String Row Col
232 | Number Number Row Col
233 | Space Space Row Col
234 | EndlessShader Row Col
235 | ShaderProblem [Char.Char] Row Col
236 | IndentOperatorRight Name.Name Row Col
237 | IndentMoreExpr Row Col
243 | RecordField Row Col
244 | RecordEquals Row Col
245 | RecordExpr Expr Row Col
246 | RecordSpace Space Row Col
248 | RecordIndentOpen Row Col
249 | RecordIndentEnd Row Col
250 | RecordIndentField Row Col
251 | RecordIndentEquals Row Col
252 | RecordIndentExpr Row Col
256 = TupleExpr Expr Row Col
257 | TupleSpace Space Row Col
259 | TupleOperatorClose Row Col
260 | TupleOperatorReserved BadOperator Row Col
262 | TupleIndentExpr1 Row Col
263 | TupleIndentExprN Row Col
264 | TupleIndentEnd Row Col
268 = ListSpace Space Row Col
270 | ListExpr Expr Row Col
273 | ListIndentOpen Row Col
274 | ListIndentEnd Row Col
275 | ListIndentExpr Row Col
279 = FuncSpace Space Row Col
280 | FuncArg Pattern Row Col
281 | FuncBody Expr Row Col
284 | FuncIndentArg Row Col
285 | FuncIndentArrow Row Col
286 | FuncIndentBody Row Col
290 = CaseSpace Space Row Col
292 | CasePattern Pattern Row Col
294 | CaseExpr Expr Row Col
295 | CaseBranch Expr Row Col
297 | CaseIndentOf Row Col
298 | CaseIndentExpr Row Col
299 | CaseIndentPattern Row Col
300 | CaseIndentArrow Row Col
301 | CaseIndentBranch Row Col
302 | CasePatternAlignment Word16 Row Col
306 = IfSpace Space Row Col
309 | IfElseBranchStart Row Col
311 | IfCondition Expr Row Col
312 | IfThenBranch Expr Row Col
313 | IfElseBranch Expr Row Col
315 | IfIndentCondition Row Col
316 | IfIndentThen Row Col
317 | IfIndentThenBranch Row Col
318 | IfIndentElseBranch Row Col
319 | IfIndentElse Row Col
323 = LetSpace Space Row Col
325 | LetDefAlignment Word16 Row Col
327 | LetDef Name.Name Def Row Col
328 | LetDestruct Destruct Row Col
329 | LetBody Expr Row Col
330 | LetIndentDef Row Col
331 | LetIndentIn Row Col
332 | LetIndentBody Row Col
336 = DefSpace Space Row Col
337 | DefType Type Row Col
338 | DefNameRepeat Name.Name Row Col
339 | DefNameMatch Name.Name Name.Name Row Col
340 | DefArg Pattern Row Col
342 | DefBody Expr Row Col
343 | DefIndentEquals Row Col
344 | DefIndentType Row Col
345 | DefIndentBody Row Col
346 | DefAlignment Word16 Row Col
350 = DestructSpace Space Row Col
351 | DestructPattern Pattern Row Col
352 | DestructEquals Row Col
353 | DestructBody Expr Row Col
354 | DestructIndentEquals Row Col
355 | DestructIndentBody Row Col
363 = PRecord PRecord Row Col
364 | PTuple PTuple Row Col
365 | PList PList Row Col
369 | PString String Row Col
370 | PNumber Number Row Col
371 | PFloat Word16 Row Col
373 | PWildcardNotVar Name.Name Int Row Col
374 | PSpace Space Row Col
376 | PIndentStart Row Col
377 | PIndentAlias Row Col
381 = PRecordOpen Row Col
383 | PRecordField Row Col
384 | PRecordSpace Space Row Col
386 | PRecordIndentOpen Row Col
387 | PRecordIndentEnd Row Col
388 | PRecordIndentField Row Col
394 | PTupleExpr Pattern Row Col
395 | PTupleSpace Space Row Col
397 | PTupleIndentEnd Row Col
398 | PTupleIndentExpr1 Row Col
399 | PTupleIndentExprN Row Col
405 | PListExpr Pattern Row Col
406 | PListSpace Space Row Col
408 | PListIndentOpen Row Col
409 | PListIndentEnd Row Col
410 | PListIndentExpr Row Col
418 = TRecord TRecord Row Col
419 | TTuple TTuple Row Col
424 | TSpace Space Row Col
426 | TIndentStart Row Col
430 = TRecordOpen Row Col
433 | TRecordField Row Col
434 | TRecordColon Row Col
435 | TRecordType Type Row Col
437 | TRecordSpace Space Row Col
439 | TRecordIndentOpen Row Col
440 | TRecordIndentField Row Col
441 | TRecordIndentColon Row Col
442 | TRecordIndentType Row Col
443 | TRecordIndentEnd Row Col
449 | TTupleType Type Row Col
450 | TTupleSpace Space Row Col
452 | TTupleIndentType1 Row Col
453 | TTupleIndentTypeN Row Col
454 | TTupleIndentEnd Row Col
464 | CharNotString Word16
468 = StringEndless_Single
469 | StringEndless_Multi
470 | StringEscape Escape
475 | BadUnicodeFormat Word16
476 | BadUnicodeCode Word16
477 | BadUnicodeLength Word16 Int Int
484 | NumberNoLeadingZero
493 | EndlessMultiComment
500toReport :: Code.Source -> Error -> Report.Report
503 ModuleNameUnspecified name ->
505 region = toRegion 1 1
507 Report.Report "MODULE NAME MISSING" region [] $
510 "I need the module name to be declared at the top of this file, like this:"
511 , D.indent 4 $ D.fillSep $
512 [ D.cyan "module", D.fromName name, D.cyan "exposing", "(..)" ]
514 "Try adding that as the first line of your file!"
516 "It is best to replace (..) with an explicit list of types and\
517 \ functions you want to expose. When you know a value is only used\
518 \ within this module, you can refactor without worrying about uses\
519 \ elsewhere. Limiting exposed values can also speed up compilation\
520 \ because I can skip a bunch of work if I see that the exposed API\
524 ModuleNameMismatch expectedName (A.At region actualName) ->
525 Report.Report "MODULE NAME MISMATCH" region [ModuleName.toChars expectedName] $
526 Code.toSnippet source region Nothing
528 "It looks like this module name is out of sync:"
532 "I need it to match the file path, so I was expecting it to see `"
533 ++ ModuleName.toChars expectedName
534 ++ "` here. Make the following change, and you should be all set!"
536 D.dullyellow (D.fromName actualName) <> " -> " <> D.green (D.fromName expectedName)
538 "I require that module names correspond to file paths. This makes it much\
539 \ easier to explore unfamiliar codebases! So if you want to keep the current\
540 \ module name, try renaming the file instead."
544 UnexpectedPort region ->
545 Report.Report "UNEXPECTED PORTS" region [] $
546 Code.toSnippet source region Nothing
549 "You are declaring ports in a normal module."
553 ["Switch","this","to","say",D.cyan "port module","instead,"
554 ,"marking","that","this","module","contains","port","declarations."
557 "Ports are not a traditional FFI for calling JS functions directly. They need a different mindset! Read"
559 "to learn the syntax and how to use it effectively."
564 Report.Report "NO PORTS" region [] $
565 Code.toSnippet source region Nothing
568 "This module does not declare any ports, but it says it will:"
571 ["Switch","this","to",D.cyan "module"
572 ,"and","you","should","be","all","set!"
577 toParseErrorReport source modul
580toParseErrorReport :: Code.Source -> Module -> Report.Report
581toParseErrorReport source modul =
583 ModuleSpace space row col ->
584 toSpaceReport source space row col
586 ModuleEndOfFile row col ->
588 region = toRegion row col
590 Report.Report "EXPECTING END OF FILE" region [] $
591 Code.toSnippet source region Nothing
594 "I was not expecting to see anything more here:"
597 "I think I have read all the declarations in the file and that there is nothing\
598 \ left to see, so whatever I am running into is confusing me a lot!"
601 ModuleProblem row col ->
603 region = toRegion row col
605 Report.Report "UNFINISHED MODULE DECLARATION" region [] $
606 Code.toSnippet source region Nothing
609 "I am parsing an `module` declaration, but I got stuck here:"
613 "Here are some examples of valid `module` declarations:"
614 , D.indent 4 $ D.vcat $
615 [ D.fillSep [D.cyan "module","Main",D.cyan "exposing","(..)"]
616 , D.fillSep [D.cyan "module","Dict",D.cyan "exposing","(Dict, empty, get)"]
619 "I generally recommend using an explicit exposing list. I can skip compiling a bunch\
620 \ of files when the public interface of a module stays the same, so exposing fewer\
621 \ values can help improve compile times!"
625 ModuleName row col ->
627 region = toRegion row col
629 Report.Report "EXPECTING MODULE NAME" region [] $
630 Code.toSnippet source region Nothing
633 "I was parsing an `module` declaration until I got stuck here:"
637 "I was expecting to see the module name next, like in these examples:"
638 , D.indent 4 $ D.vcat $
639 [ D.fillSep [D.cyan "module","Dict",D.cyan "exposing","(..)"]
640 , D.fillSep [D.cyan "module","Maybe",D.cyan "exposing","(..)"]
641 , D.fillSep [D.cyan "module","Html.Attributes",D.cyan "exposing","(..)"]
642 , D.fillSep [D.cyan "module","Json.Decode",D.cyan "exposing","(..)"]
645 "Notice that the module names all start with capital letters. That is required!"
649 ModuleExposing exposing row col ->
650 error "TODO ModuleExposing" exposing row col
652 PortModuleProblem row col ->
654 region = toRegion row col
656 Report.Report "UNFINISHED PORT MODULE DECLARATION" region [] $
657 Code.toSnippet source region Nothing
660 "I am parsing an `port module` declaration, but I got stuck here:"
664 "Here are some examples of valid `port module` declarations:"
665 , D.indent 4 $ D.vcat $
666 [ D.fillSep [D.cyan "port",D.cyan "module","WebSockets",D.cyan "exposing","(send, listen, keepAlive)"]
667 , D.fillSep [D.cyan "port",D.cyan "module","Maps",D.cyan "exposing","(Location, goto)"]
669 , D.link "Note" "Read" "ports" "for more help."
673 PortModuleName row col ->
675 region = toRegion row col
677 Report.Report "EXPECTING MODULE NAME" region [] $
678 Code.toSnippet source region Nothing
681 "I was parsing an `module` declaration until I got stuck here:"
685 "I was expecting to see the module name next, like in these examples:"
686 , D.indent 4 $ D.vcat $
687 [ D.fillSep [D.cyan "port",D.cyan "module","WebSockets",D.cyan "exposing","(send, listen, keepAlive)"]
688 , D.fillSep [D.cyan "port",D.cyan "module","Maps",D.cyan "exposing","(Location, goto)"]
691 "Notice that the module names start with capital letters. That is required!"
695 PortModuleExposing exposing row col ->
696 error "TODO PortModuleExposing" exposing row col
700 region = toRegion row col
702 Report.Report "BAD MODULE DECLARATION" region [] $
703 Code.toSnippet source region Nothing
706 "I cannot parse this module declaration:"
709 "This type of module is reserved for the @elm organization. It is used to\
710 \ define certain effects, avoiding building them into the compiler."
715 region = toRegion row col
717 toBadFirstLineReport keyword =
718 Report.Report "TOO MUCH INDENTATION" region [] $
719 Code.toSnippet source region Nothing
722 "This `" ++ keyword ++ "` should not have any spaces before it:"
725 "Delete the spaces before `" ++ keyword ++ "` until there are none left!"
729 case Code.whatIsNext source row col of
730 Code.Keyword "module" -> toBadFirstLineReport "module"
731 Code.Keyword "import" -> toBadFirstLineReport "import"
732 Code.Keyword "type" -> toBadFirstLineReport "type"
733 Code.Keyword "port" -> toBadFirstLineReport "port"
735 Report.Report "SYNTAX PROBLEM" region [] $
736 Code.toSnippet source region Nothing
743 "I am not sure what is going on, but I recommend starting an Elm\
744 \ file with the following lines:"
746 [ D.fillSep [D.cyan "import","Html"]
748 , D.fillSep [D.green "main","="]
749 , D.indent 2 $ D.fillSep [D.cyan "Html" <> ".text",D.dullyellow "\"Hello!\""]
752 "You should be able to copy those lines directly into your file. Check out\
753 \ some of the examples on https://elm-lang.org for more help getting started!"
755 "This can also happen when something is indented too much!"
759 ImportStart row col ->
760 toImportReport source row col
762 ImportName row col ->
764 region = toRegion row col
766 Report.Report "EXPECTING IMPORT NAME" region [] $
767 Code.toSnippet source region Nothing
770 "I was parsing an `import` until I got stuck here:"
774 "I was expecting to see a module name next, like in these examples:"
775 , D.indent 4 $ D.vcat $
776 [ D.fillSep [D.cyan "import","Dict"]
777 , D.fillSep [D.cyan "import","Maybe"]
778 , D.fillSep [D.cyan "import","Html.Attributes"]
779 , D.fillSep [D.cyan "import","Json.Decode"]
782 "Notice that the module names all start with capital letters. That is required!"
787 toImportReport source row col
789 ImportAlias row col ->
791 region = toRegion row col
793 Report.Report "EXECTING IMPORT ALIAS" region [] $
794 Code.toSnippet source region Nothing
797 "I was parsing an `import` until I got stuck here:"
801 "I was expecting to see an alias next, like in these examples:"
802 , D.indent 4 $ D.vcat $
803 [ D.fillSep [D.cyan "import","Html.Attributes",D.cyan "as","Attr"]
804 , D.fillSep [D.cyan "import","WebGL.Texture",D.cyan "as","Texture"]
805 , D.fillSep [D.cyan "import","Json.Decode",D.cyan "as","D"]
808 "Notice that the alias always starts with a capital letter. That is required!"
812 ImportExposing row col ->
813 toImportReport source row col
815 ImportExposingList exposing row col ->
816 error "TODO ImportExposingList" exposing row col
819 toImportReport source row col
821 ImportIndentName row col ->
822 toImportReport source row col
824 ImportIndentAlias row col ->
825 toImportReport source row col
827 ImportIndentExposingList row col ->
829 region = toRegion row col
831 Report.Report "UNFINISHED IMPORT" region [] $
832 Code.toSnippet source region Nothing
835 "I was parsing an `import` until I got stuck here:"
839 "I was expecting to see the list of exposed values next. For example, here\
840 \ are two ways to expose values from the `Html` module:"
841 , D.indent 4 $ D.vcat $
842 [ D.fillSep [D.cyan "import","Html",D.cyan "exposing","(..)"]
843 , D.fillSep [D.cyan "import","Html",D.cyan "exposing","(Html, div, text)"]
846 "I generally recommend the second style. It is more explicit, making it\
847 \ much easier to figure out where values are coming from in large projects!"
853 region = toRegion row col
855 Report.Report "BAD INFIX" region [] $
856 Code.toSnippet source region Nothing
859 "Something went wrong in this infix operator declaration:"
862 "This feature is used by the @elm organization to define the\
863 \ languages built-in operators."
866 Declarations decl _ _ ->
867 toDeclarationsReport source decl
874toImportReport :: Code.Source -> Row -> Col -> Report.Report
875toImportReport source row col =
877 region = toRegion row col
879 Report.Report "UNFINISHED IMPORT" region [] $
880 Code.toSnippet source region Nothing
883 "I am partway through parsing an import, but I got stuck here:"
887 "Here are some examples of valid `import` declarations:"
888 , D.indent 4 $ D.vcat $
889 [ D.fillSep [D.cyan "import","Html"]
890 , D.fillSep [D.cyan "import","Html",D.cyan "as","H"]
891 , D.fillSep [D.cyan "import","Html",D.cyan "as","H",D.cyan "exposing","(..)"]
892 , D.fillSep [D.cyan "import","Html",D.cyan "exposing","(Html, div, text)"]
895 "You are probably trying to import a different module, but try to make it look like one of these examples!"
904toSpaceReport :: Code.Source -> Space -> Row -> Col -> Report.Report
905toSpaceReport source space row col =
909 region = toRegion row col
911 Report.Report "NO TABS" region [] $
912 Code.toSnippet source region Nothing
915 "I ran into a tab, but tabs are not allowed in Elm files."
918 "Replace the tab with spaces."
921 EndlessMultiComment ->
923 region = toWiderRegion row col 2
925 Report.Report "ENDLESS COMMENT" region [] $
926 Code.toSnippet source region Nothing
929 "I cannot find the end of this multi-line comment:"
932 [ D.reflow "Add a -} somewhere after this to end the comment."
934 "Multi-line comments can be nested in Elm, so {- {- -} -} is a comment\
935 \ that happens to contain another comment. Like parentheses and curly braces,\
936 \ the start and end markers must always be balanced. Maybe that is the problem?"
945toRegion :: Row -> Col -> A.Region
948 pos = A.Position row col
953toWiderRegion :: Row -> Col -> Word16 -> A.Region
954toWiderRegion row col extra =
957 (A.Position row (col + extra))
960toKeywordRegion :: Row -> Col -> [Char.Char] -> A.Region
961toKeywordRegion row col keyword =
964 (A.Position row (col + fromIntegral (length keyword)))
967toDeclarationsReport :: Code.Source -> Decl -> Report.Report
968toDeclarationsReport source decl =
971 error "TODO DeclStart" row col
973 DeclSpace space row col ->
974 toSpaceReport source space row col
977 error "TODO Port" port row col
979 DeclType declType row col ->
980 error "TODO DeclType" declType row col
982 DeclDef name declDef row col ->
983 toDeclDefReport source name declDef row col
985 DeclFreshLineStart row col ->
986 error "TODO DeclFreshLineStart" row col
988 DeclFreshLineAfterDocComment row col ->
989 error "TODO DeclFreshLineAfterDocComment" row col
992toDeclDefReport :: Code.Source -> Name.Name -> DeclDef -> Row -> Col -> Report.Report
993toDeclDefReport source name declDef startRow startCol =
995 DeclDefSpace space row col ->
996 toSpaceReport source space row col
998 DeclDefEquals row col ->
999 case Code.whatIsNext source row col of
1000 Code.Keyword keyword ->
1002 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1003 region = toKeywordRegion row col keyword
1005 Report.Report "RESERVED WORD" region [] $
1006 Code.toSnippet source surroundings (Just region)
1009 "It looks like you are trying to use `" ++ keyword ++ "` as an argument:"
1012 "This is a reserved word! Try using some other name?"
1017 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1018 region = toKeywordRegion row col op
1020 Report.Report "UNEXPECTED SYMBOL" region [] $
1021 Code.toSnippet source surroundings (Just region)
1024 "I was not expecting to see this symbol here:"
1028 "I am not sure what is going wrong exactly, so here is a valid\
1029 \ definition (with an optional type annotation) for reference:"
1031 [ D.fillSep [D.green "add",":","Int","->","Int","->","Int"]
1032 , D.fillSep [D.green "add","x","y","="]
1033 , D.fillSep [" ","x","+","y"]
1036 "Try to use that format with your `" ++ Name.toChars name ++ "` definition!"
1042 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1043 region = toRegion row col
1045 Report.Report "PROBLEM IN DEFINITION" region [] $
1046 Code.toSnippet source surroundings (Just region)
1049 "I got stuck while parsing the `" ++ Name.toChars name ++ "` definition:"
1053 "I am not sure what is going wrong exactly, so here is a valid\
1054 \ definition (with an optional type annotation) for reference:"
1056 [ D.fillSep [D.green "add",":","Int","->","Int","->","Int"]
1057 , D.fillSep [D.green "add","x","y","="]
1058 , D.fillSep [" ","x","+","y"]
1061 "Try to use that format!"
1065 DeclDefType tipe row col ->
1066 error "TODO DeclDefType" toTypeReport tipe row col
1068 DeclDefArg pattern row col ->
1069 toPatternReport source PArg pattern row col
1071 DeclDefBody expr row col ->
1072 toExprReport source (InDef name startRow startCol) expr row col
1074 DeclDefNameRepeat row col ->
1076 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1077 region = toRegion row col
1079 Report.Report "EXPECTING DEFINITION" region [] $
1080 Code.toSnippet source surroundings (Just region)
1083 "I just saw the type annotation for `" ++ Name.toChars name
1084 ++ "` so I was expecting to see its definition here:"
1087 "Type annotations always appear directly above the relevant\
1088 \ definition, without anything else (even doc comments) in between."
1091 DeclDefNameMatch defName row col ->
1093 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1094 region = toRegion row col
1096 Report.Report "NAME MISMATCH" region [] $
1097 Code.toSnippet source surroundings (Just region)
1100 "I just saw a type annotation for `" ++ Name.toChars name ++ "`, but it is followed by a definition for `" ++ Name.toChars defName ++ "`:"
1104 "These names do not match! Is there a typo?"
1105 , D.indent 4 $ D.fillSep $
1106 [D.dullyellow (D.fromName defName),"->",D.green (D.fromName name)]
1110 DeclDefIndentType row col ->
1111 error "TODO DeclDefIndentType" row col
1113 DeclDefIndentEquals row col ->
1114 error "TODO DeclDefIndentEquals" row col
1116 DeclDefIndentBody row col ->
1117 error "TODO DeclDefIndentBody" row col
1119 DeclDefFreshLineAfterType row col ->
1120 error "TODO DeclDefFreshLineAfterType" row col
1128 = InNode Node Row Col Context
1129 | InDef Name.Name Row Col
1145getDefName :: Context -> Name.Name
1148 InDef name _ _ -> name
1149 InNode _ _ _ c -> getDefName c
1152isWithin :: Node -> Context -> Bool
1153isWithin desiredNode context =
1155 InDef _ _ _ -> False
1156 InNode actualNode _ _ _ -> desiredNode == actualNode
1163toExprReport :: Code.Source -> Context -> Expr -> Row -> Col -> Report.Report
1164toExprReport source context expr startRow startCol =
1167 toLetReport source context let_ row col
1169 Case case_ row col ->
1170 toCaseReport source context case_ row col
1173 toIfReport source context if_ row col
1175 List list row col ->
1176 toListReport source context list row col
1178 Record record row col ->
1179 toRecordReport source context record row col
1181 Tuple tuple row col ->
1182 toTupleReport source context tuple row col
1184 Func func row col ->
1185 toFuncReport source context func row col
1188 let region = toRegion row col in
1189 Report.Report "EXPECTING RECORD ACCESSOR" region [] $
1190 Code.toSnippet source region Nothing
1193 "I was expecting to see a record accessor here:"
1196 ["Something","like",D.dullyellow".name","or",D.dullyellow".price"
1197 ,"that","accesses","a","value","from","a","record."
1202 let region = toRegion row col in
1203 Report.Report "EXPECTING RECORD ACCESSOR" region [] $
1204 Code.toSnippet source region Nothing
1207 "I am trying to parse a record accessor here:"
1212 ["Something","like",D.dullyellow".name","or",D.dullyellow".price"
1213 ,"that","accesses","a","value","from","a","record."
1217 "Record field names must start with a lower case letter!"
1221 OperatorRight op row col ->
1222 let region = toRegion row col in
1223 Report.Report "MISSING EXPRESSION" region [] $
1224 Code.toSnippet source region Nothing
1227 "I was expecting to see an expression after this " ++ Name.toChars op ++ " operator:"
1231 ["You","can","just","put","anything","for","now,","like"
1232 ,D.dullyellow "42","or",D.dullyellow"\"hello\"" <> "."
1233 ,"Once","there","is","something","there,","I","can","probably"
1234 ,"give","a","more","specific","hint!"
1237 "This can also happen if run into reserved words like `let` or `as` unexpectedly.\
1238 \ Or if I run into operators in unexpected spots. Point is, there are a\
1239 \ couple ways I can get confused and give sort of weird advice!"
1243 OperatorReserved operator row col ->
1244 toOperatorReport source context operator row col
1248 (contextRow, contextCol, aThing) =
1250 InDef name r c -> (r, c, "the `" ++ Name.toChars name ++ "` definition")
1251 InNode NRecord r c _ -> (r, c, "a record")
1252 InNode NParens r c _ -> (r, c, "some parentheses")
1253 InNode NList r c _ -> (r, c, "a list")
1254 InNode NFunc r c _ -> (r, c, "an anonymous function")
1255 InNode NCond r c _ -> (r, c, "an `if` expression")
1256 InNode NThen r c _ -> (r, c, "an `if` expression")
1257 InNode NElse r c _ -> (r, c, "an `if` expression")
1258 InNode NCase r c _ -> (r, c, "a `case` expression")
1259 InNode NBranch r c _ -> (r, c, "a `case` expression")
1260 -- TODO check if this is actually the best way to get error messages here
1262 surroundings = A.Region (A.Position contextRow contextCol) (A.Position row col)
1263 region = toRegion row col
1265 Report.Report "MISSING EXPRESSION" region [] $
1266 Code.toSnippet source surroundings (Just region)
1269 "I am partway through parsing " ++ aThing ++ ", but I got stuck here:"
1273 ["I","was","expecting","to","see","an","expression","like"
1274 ,D.dullyellow "42","or",D.dullyellow"\"hello\"" <> "."
1275 ,"Once","there","is","something","there,","I","can","probably"
1276 ,"give","a","more","specific","hint!"
1279 "This can also happen if run into reserved words like `let` or `as` unexpectedly.\
1280 \ Or if I run into operators in unexpected spots. Point is, there are a\
1281 \ couple ways I can get confused and give sort of weird advice!"
1285 Char char row col ->
1286 toCharReport source char row col
1288 String string row col ->
1289 toStringReport source string row col
1291 Number number row col ->
1292 toNumberReport source number row col
1294 Space space row col ->
1295 toSpaceReport source space row col
1297 EndlessShader row col ->
1299 region = toWiderRegion row col 6
1301 Report.Report "ENDLESS SHADER" region [] $
1302 Code.toSnippet source region Nothing
1304 D.reflow "I cannot find the end of this shader:"
1306 D.reflow "Add a |] somewhere after this to end the shader."
1309 ShaderProblem problem row col ->
1311 region = toRegion row col
1313 Report.Report "SHADER PROBLEM" region [] $
1314 Code.toSnippet source region Nothing
1317 "I ran into a problem while parsing this GLSL block."
1321 "I use a 3rd party GLSL parser for now, and I did my best to extract their error message:"
1322 , D.indent 4 $ D.vcat $
1323 map D.fromChars (filter (/="") (lines problem))
1327 IndentOperatorRight op row col ->
1329 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1330 region = toRegion row col
1332 Report.Report "MISSING EXPRESSION" region [] $
1333 Code.toSnippet source surroundings (Just region)
1336 "I was expecting to see an expression after this " ++ Name.toChars op ++ " operator:"
1341 ["You","can","just","put","anything","for","now,","like"
1342 ,D.dullyellow "42","or",D.dullyellow"\"hello\"" <> "."
1343 ,"Once","there","is","something","there,","I","can","probably"
1344 ,"give","a","more","specific","hint!"
1348 "I may be getting confused by your indentation? The easiest way to make sure\
1349 \ this is not an indentation problem is to put the expression on the right of\
1350 \ the " ++ Name.toChars op ++ " operator on the same line."
1354 IndentMoreExpr _ _ ->
1355 error "TODO IndentMoreExpr"
1362toCharReport :: Code.Source -> Char -> Row -> Col -> Report.Report
1363toCharReport source char row col =
1367 region = toRegion row col
1369 Report.Report "MISSING SINGLE QUOTE" region [] $
1370 Code.toSnippet source region Nothing
1373 "I thought I was parsing a character, but I got to the end of\
1374 \ the line without seeing the closing single quote:"
1377 "Add a closing single quote here!"
1380 CharEscape escape ->
1381 toEscapeReport source escape row col
1383 CharNotString width ->
1385 region = toWiderRegion row col width
1387 Report.Report "NEEDS DOUBLE QUOTES" region [] $
1388 Code.toSnippet source region Nothing
1390 "The following string uses single quotes:"
1393 [ "Please switch to double quotes instead:"
1395 D.dullyellow "'this'" <> " => " <> D.green "\"this\""
1397 "Elm uses double quotes for strings like \"hello\", whereas it uses single\
1398 \ quotes for individual characters like 'a' and 'ø'. This distinction helps with\
1399 \ code like (String.any (\\c -> c == 'X') \"90210\") where you are inspecting\
1400 \ individual characters."
1409toStringReport :: Code.Source -> String -> Row -> Col -> Report.Report
1410toStringReport source string row col =
1412 StringEndless_Single ->
1414 region = toRegion row col
1416 Report.Report "ENDLESS STRING" region [] $
1417 Code.toSnippet source region Nothing
1420 "I got to the end of the line without seeing the closing double quote:"
1424 ["Strings","look","like",D.green "\"this\"","with","double"
1425 ,"quotes","on","each","end.","Is","the","closing","double"
1426 ,"quote","missing","in","your","code?"
1428 , D.link "Note" "Read" "TODO" "if you want a string that spans multiple lines."
1432 StringEndless_Multi ->
1434 region = toWiderRegion row col 3
1436 Report.Report "ENDLESS STRING" region [] $
1437 Code.toSnippet source region Nothing
1440 "I cannot find the end of this multi-line string:"
1443 [ D.reflow "Add a \"\"\" somewhere after this to end the string."
1444 , D.link "Hint" "Read" "TODO" "for more information on strings and multi-line strings."
1448 StringEscape escape ->
1449 toEscapeReport source escape row col
1456toEscapeReport :: Code.Source -> Escape -> Row -> Col -> Report.Report
1457toEscapeReport source escape row col =
1461 region = toWiderRegion row col 2
1463 Report.Report "UNKNOWN ESCAPE" region [] $
1464 Code.toSnippet source region Nothing
1467 "Backslashes always start escaped characters, but I do not recognize this one:"
1471 "Valid escape characters include:"
1472 , D.dullyellow $ D.indent 4 $ D.vcat $
1482 "Do you want one of those instead? Maybe you need \\\\ to escape a backslash?"
1484 "The last style lets encode ANY character by its Unicode code\
1485 \ point. That means \\u{0009} and \\t are the same. You can use\
1486 \ that style for anything not covered by the other six escapes!"
1490 BadUnicodeFormat width ->
1492 region = toWiderRegion row col width
1494 Report.Report "BAD UNICODE ESCAPE" region [] $
1495 Code.toSnippet source region Nothing
1498 "I ran into an invalid Unicode escape:"
1502 "Here are some examples of valid Unicode escapes:"
1503 , D.dullyellow $ D.indent 4 $ D.vcat $
1510 "Notice that the code point is always surrounded by curly braces.\
1511 \ Maybe you are missing the opening or closing curly brace?"
1514 BadUnicodeCode width ->
1516 region = toWiderRegion row col width
1518 Report.Report "BAD UNICODE ESCAPE" region [] $
1519 Code.toSnippet source region Nothing
1522 "This is not a valid code point:"
1525 "The valid code points are between 0 and 10FFFF inclusive."
1528 BadUnicodeLength width numDigits badCode ->
1530 region = toWiderRegion row col width
1532 Report.Report "BAD UNICODE ESCAPE" region [] $
1533 Code.toSnippet source region Nothing $
1534 if numDigits < 4 then
1537 "Every code point needs at least four digits:"
1540 goodCode = replicate (4 - numDigits) '0' ++ map Char.toUpper (showHex badCode "")
1541 suggestion = "\\u{" <> D.fromChars goodCode <> "}"
1543 D.fillSep ["Try",D.green suggestion,"instead?"]
1549 "This code point has too many digits:"
1552 ["Valid","code","points","are","between"
1553 ,D.green "\\u{0000}","and",D.green "\\u{10FFFF}" <> ","
1554 ,"so","try","trimming","any","leading","zeros","until"
1555 ,"you","have","between","four","and","six","digits."
1564toNumberReport :: Code.Source -> Number -> Row -> Col -> Report.Report
1565toNumberReport source number row col =
1567 region = toRegion row col
1571 Report.Report "WEIRD NUMBER" region [] $
1572 Code.toSnippet source region Nothing
1575 "I thought I was reading a number, but I ran into some weird stuff here:"
1579 "I recognize numbers in the following formats:"
1580 , D.indent 4 $ D.vcat [ "42", "3.14", "6.022e23", "0x002B" ]
1582 "So is there a way to write it like one of those?"
1587 Report.Report "WEIRD NUMBER" region [] $
1588 Code.toSnippet source region Nothing
1591 "Numbers cannot end with a dot like this:"
1594 ["Switching","to",D.green (D.fromChars (show int))
1595 ,"or",D.green (D.fromChars (show int ++ ".0"))
1596 ,"will","work","though!"
1601 Report.Report "WEIRD HEXIDECIMAL" region [] $
1602 Code.toSnippet source region Nothing
1605 "I thought I was reading a hexidecimal number until I got here:"
1609 "Valid hexidecimal digits include 0123456789abcdefABCDEF, so I can\
1610 \ only recognize things like this:"
1611 , D.indent 4 $ D.vcat [ "0x2B", "0x002B", "0x00ffb3" ]
1615 NumberNoLeadingZero ->
1616 Report.Report "LEADING ZEROS" region [] $
1617 Code.toSnippet source region Nothing
1620 "I do not accept numbers with leading zeros:"
1624 "Just delete the leading zeros and it should work!"
1626 "Some languages let you to specify octal numbers by adding a leading zero.\
1627 \ So in C, writing 0111 is the same as writing 73. Some people are used to\
1628 \ that, but others probably want it to equal 111. Either path is going to\
1629 \ surprise people from certain backgrounds, so Elm tries to avoid this whole\
1639toOperatorReport :: Code.Source -> Context -> BadOperator -> Row -> Col -> Report.Report
1640toOperatorReport source context operator row col =
1644 region = toRegion row col
1646 Report.Report "UNEXPECTED SYMBOL" region [] $
1647 Code.toSnippet source region Nothing
1649 "I was not expecting this dot:"
1652 "Dots are for record access and decimal points, so\
1653 \ they cannot float around on their own. Maybe\
1654 \ there is some extra whitespace?"
1659 region = toRegion row col
1661 Report.Report "UNEXPECTED SYMBOL" region [] $
1662 Code.toSnippet source region Nothing
1665 "I was not expecting this vertical bar:"
1668 "Vertical bars should only appear in custom type declarations. Maybe you want || instead?"
1673 region = toWiderRegion row col 2
1675 Report.Report "UNEXPECTED ARROW" region [] $
1676 Code.toSnippet source region Nothing $
1677 if isWithin NBranch context then
1680 "I was not expecting to see an arrow here:"
1685 "I think I am parsing a `case` expression right now, so it makes sense to\
1686 \ see arrows around here. This one is confusing me though!"
1689 "I may be getting confused by the indentation. Every pattern in a `case` must be\
1690 \ exactly aligned (with exactly the same amount of indentation) so maybe this arrow\
1691 \ appears after the next `case` pattern (correctly!) but the pattern itself is\
1692 \ indented too far?"
1699 "I was not expecting an arrow here:"
1702 "Arrows should only appear in `case` expressions and anonymous functions. Maybe\
1703 \ you want > or >= instead?"
1708 region = toRegion row col
1709 name = getDefName context
1711 Report.Report "UNEXPECTED EQUALS" region [] $
1712 Code.toSnippet source region Nothing
1715 "I was not expecting to see this equals sign:"
1719 D.reflow "Maybe you want == instead? To check if two values are equal?"
1722 if isWithin NRecord context then
1723 "Records look like { x = 3, y = 4 } with the equals sign right\
1724 \ after the field name. So maybe you forgot a comma?"
1726 "I may be getting confused by your indentation. Is this supposed to be part of\
1727 \ a definition AFTER the `" ++ Name.toChars name ++ "` definition? If so,\
1728 \ the problem may be a bit before the equals sign. I need all definitions to\
1729 \ be exactly aligned (with exactly the same indentation) so the problem may be that\
1730 \ this new definition is indented a bit too much."
1736 region = toRegion row col
1737 name = getDefName context
1739 Report.Report "UNEXPECTED SYMBOL" region [] $
1740 Code.toSnippet source region Nothing $
1743 "I was not expecting to run into the \"has type\" symbol here:"
1748 ["Maybe","you","want",D.green "::","instead?"
1749 ,"To","put","something","on","the","front","of","a","list?"
1752 "The single colon is reserved for type annotations and record types, but I think\
1753 \ I am parsing the definition of `" ++ Name.toChars name ++ "` right now."
1756 "I may be getting confused by your indentation. Is this supposed to be part of\
1757 \ a type annotation AFTER the `" ++ Name.toChars name ++ "` definition? If so,\
1758 \ the problem may be a bit before the \"has type\" symbol. I need all definitions to\
1759 \ be exactly aligned (with exactly the same indentation) so the problem may be that\
1760 \ this new definition is indented a bit too much."
1769toLetReport :: Code.Source -> Context -> Let -> Row -> Col -> Report.Report
1770toLetReport source context let_ startRow startCol =
1772 LetSpace space row col ->
1773 toSpaceReport source space row col
1777 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1778 region = toRegion row col
1780 Report.Report "LET PROBLEM" region [] $
1781 Code.toSnippet source surroundings (Just region)
1784 "I was partway through parsing a `let` expression, but I got stuck here:"
1788 ["Based","on","the","indentation,","I","was","expecting","to","see","the",D.cyan "in"
1789 ,"keyword","next.","Is","there","a","typo?"
1792 "This can also happen if you are trying to define another value within the `let` but\
1793 \ it is not indented enough. Make sure each definition has exactly the same amount of\
1794 \ spaces before it. They should line up exactly!"
1798 LetDefAlignment _ row col ->
1800 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1801 region = toRegion row col
1803 Report.Report "LET PROBLEM" region [] $
1804 Code.toSnippet source surroundings (Just region)
1807 "I was partway through parsing a `let` expression, but I got stuck here:"
1811 ["Based","on","the","indentation,","I","was","expecting","to","see","the",D.cyan "in"
1812 ,"keyword","next.","Is","there","a","typo?"
1815 "This can also happen if you are trying to define another value within the `let` but\
1816 \ it is not indented enough. Make sure each definition has exactly the same amount of\
1817 \ spaces before it. The should line up exactly!"
1821 LetDefName row col ->
1822 case Code.whatIsNext source row col of
1823 Code.Keyword keyword ->
1825 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1826 region = toKeywordRegion row col keyword
1828 Report.Report "RESERVED WORD" region [] $
1829 Code.toSnippet source surroundings (Just region)
1832 "I was partway through parsing a `let` expression, but I got stuck here:"
1835 "It looks like you are trying to use `" ++ keyword ++ "` as a variable name, but\
1836 \ it is a reserved word! Try using a different name instead."
1840 toUnfinishLetReport source row col startRow startCol $
1842 "I was expecting the name of a definition next."
1844 LetDef name def row col ->
1845 error "TODO LetDef" name def row col
1847 LetDestruct destruct row col ->
1848 error "TODO LetDestruct" destruct row col
1850 LetBody expr row col ->
1851 toExprReport source context expr row col
1853 LetIndentDef row col ->
1854 toUnfinishLetReport source row col startRow startCol $
1856 "I was expecting a value to be defined here."
1858 LetIndentIn row col ->
1859 toUnfinishLetReport source row col startRow startCol $
1861 ["I","was","expecting","to","see","the",D.cyan "in","keyword","next."
1862 ,"Or","maybe","more","of","that","expression?"
1865 LetIndentBody row col ->
1866 toUnfinishLetReport source row col startRow startCol $
1868 "I was expecting an expression next. Tell me what should happen with the value you just defined!"
1871toUnfinishLetReport :: Code.Source -> Row -> Col -> Row -> Col -> D.Doc -> Report.Report
1872toUnfinishLetReport source row col startRow startCol message =
1874 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1875 region = toRegion row col
1877 Report.Report "UNFINISHED LET" region [] $
1878 Code.toSnippet source surroundings (Just region)
1881 "I was partway through parsing a `let` expression, but I got stuck here:"
1886 "Here is an example with a valid `let` expression for reference:"
1888 [ D.indent 0 $ D.fillSep [D.green "viewPerson","person","="]
1889 , D.indent 2 $ D.fillSep [D.cyan "let"]
1890 , D.indent 4 $ D.fillSep ["fullName","="]
1891 , D.indent 6 $ D.fillSep ["person.firstName","++",D.dullyellow "\" \"","++","person.lastName"]
1892 , D.indent 2 $ D.fillSep [D.cyan "in"]
1893 , D.indent 2 $ D.fillSep ["div","[]","[","text","fullName","]"]
1896 "Here we defined a `viewPerson` function that turns a person into some HTML. We use\
1897 \ a `let` expression to define the `fullName` we want to show. Notice the indentation! The\
1898 \ `fullName` is indented more than the `let` keyword, and the actual value of `fullName` is\
1899 \ indented a bit more than that. That is important!"
1908toCaseReport :: Code.Source -> Context -> Case -> Row -> Col -> Report.Report
1909toCaseReport source context case_ startRow startCol =
1911 CaseSpace space row col ->
1912 toSpaceReport source space row col
1915 toUnfinishCaseReport source row col startRow startCol $
1916 D.fillSep ["I","was","expecting","to","see","the",D.dullyellow "of","keyword","next."]
1918 CasePattern pattern row col ->
1919 toPatternReport source PCase pattern row col
1921 CaseArrow row col ->
1922 case Code.whatIsNext source row col of
1923 Code.Keyword keyword ->
1925 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1926 region = toKeywordRegion row col keyword
1928 Report.Report "RESERVED WORD" region [] $
1929 Code.toSnippet source surroundings (Just region)
1932 "I am partway through parsing a `case` expression, but I got stuck here:"
1935 "It looks like you are trying to use `" ++ keyword ++ "` in one of your\
1936 \ patterns, but it is a reserved word. Try using a different name?"
1939 Code.Operator ":" ->
1941 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1942 region = toRegion row col
1944 Report.Report "UNEXPECTED OPERATOR" region [] $
1945 Code.toSnippet source surroundings (Just region)
1948 "I am partway through parsing a `case` expression, but I got stuck here:"
1951 ["I","am","seeing",D.dullyellow ":","but","maybe","you","want",D.green "::","instead?"
1952 ,"For","pattern","matching","on","lists?"
1956 Code.Operator "=" ->
1958 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1959 region = toRegion row col
1961 Report.Report "UNEXPECTED OPERATOR" region [] $
1962 Code.toSnippet source surroundings (Just region)
1965 "I am partway through parsing a `case` expression, but I got stuck here:"
1968 ["I","am","seeing",D.dullyellow "=","but","maybe","you","want",D.green "->","instead?"
1974 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
1975 region = toRegion row col
1977 Report.Report "MISSING ARROW" region [] $
1978 Code.toSnippet source surroundings (Just region)
1981 "I am partway through parsing a `case` expression, but I got stuck here:"
1983 addNoteForCaseIndentError $
1985 "I was expecting to see an arrow next."
1988 CaseExpr expr row col ->
1989 toExprReport source (InNode NCase startRow startCol context) expr row col
1991 CaseBranch expr row col ->
1992 toExprReport source (InNode NBranch startRow startCol context) expr row col
1994 CaseIndentOf row col ->
1995 toUnfinishCaseReport source row col startRow startCol $
1996 D.fillSep ["I","was","expecting","to","see","the",D.dullyellow "of","keyword","next."]
1998 CaseIndentExpr row col ->
1999 toUnfinishCaseReport source row col startRow startCol $
2000 D.reflow "I was expecting to see a expression next."
2002 CaseIndentPattern row col ->
2003 toUnfinishCaseReport source row col startRow startCol $
2004 D.reflow "I was expecting to see a pattern next."
2006 CaseIndentArrow row col ->
2007 toUnfinishCaseReport source row col startRow startCol $
2009 ["I","just","saw","a","pattern,","so","I","was","expecting"
2010 ,"to","see","a",D.dullyellow "->","next."
2013 CaseIndentBranch row col ->
2014 toUnfinishCaseReport source row col startRow startCol $
2016 "I was expecting to see an expression next. What should I do when\
2017 \ I run into this particular pattern?"
2019 CasePatternAlignment indent row col ->
2020 toUnfinishCaseReport source row col startRow startCol $
2022 "I suspect this is a pattern that is not indented far enough? (" ++ show indent ++ " spaces)"
2025toUnfinishCaseReport :: Code.Source -> Row -> Col -> Row -> Col -> D.Doc -> Report.Report
2026toUnfinishCaseReport source row col startRow startCol message =
2028 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2029 region = toRegion row col
2031 Report.Report "UNFINISHED CASE" region [] $
2032 Code.toSnippet source surroundings (Just region)
2035 "I was partway through parsing a `case` expression, but I got stuck here:"
2040 "Here is an example of a valid `case` expression for reference."
2042 [ D.indent 4 $ D.fillSep [D.cyan "case","maybeWidth",D.cyan "of"]
2043 , D.indent 6 $ D.fillSep [D.green "Just","width","->"]
2044 , D.indent 8 $ D.fillSep ["width","+",D.dullyellow "200"]
2046 , D.indent 6 $ D.fillSep [D.green "Nothing","->"]
2047 , D.indent 8 $ D.fillSep [D.dullyellow "400"]
2050 "Notice the indentation. Each pattern is aligned, and each branch is indented\
2051 \ a bit more than the corresponding pattern. That is important!"
2056addNoteForCaseIndentError :: D.Doc -> D.Doc
2057addNoteForCaseIndentError message =
2062 "Sometimes I get confused by indentation, so try to make your `case` look\
2063 \ something like this:"
2065 [ D.indent 4 $ D.fillSep [D.cyan "case","maybeWidth",D.cyan "of"]
2066 , D.indent 6 $ D.fillSep [D.green "Just","width","->"]
2067 , D.indent 8 $ D.fillSep ["width","+",D.dullyellow "200"]
2069 , D.indent 6 $ D.fillSep [D.green "Nothing","->"]
2070 , D.indent 8 $ D.fillSep [D.dullyellow "400"]
2073 "Notice the indentation! Each pattern is aligned, and each branch is indented\
2074 \ a bit more than the corresponding pattern. That is important!"
2082toIfReport :: Code.Source -> Context -> If -> Row -> Col -> Report.Report
2083toIfReport source context if_ startRow startCol =
2085 IfSpace space row col ->
2086 toSpaceReport source space row col
2090 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2091 region = toRegion row col
2093 Report.Report "UNFINISHED IF" region [] $
2094 Code.toSnippet source surroundings (Just region)
2097 "I was expecting to see more of this `if` expression, but I got stuck here:"
2100 ["I","was","expecting","to","see","the",D.cyan "then","keyword","next."
2106 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2107 region = toRegion row col
2109 Report.Report "UNFINISHED IF" region [] $
2110 Code.toSnippet source surroundings (Just region)
2113 "I was expecting to see more of this `if` expression, but I got stuck here:"
2116 ["I","was","expecting","to","see","the",D.cyan "else","keyword","next."
2120 IfElseBranchStart row col ->
2122 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2123 region = toRegion row col
2125 Report.Report "UNFINISHED IF" region [] $
2126 Code.toSnippet source surroundings (Just region)
2129 "I just saw the start of an `else` branch, but then I got stuck here:"
2132 "I was expecting to see an expression next. Maybe it is not filled in yet?"
2135 IfCondition expr row col ->
2136 toExprReport source (InNode NCond startRow startCol context) expr row col
2138 IfThenBranch expr row col ->
2139 toExprReport source (InNode NThen startRow startCol context) expr row col
2141 IfElseBranch expr row col ->
2142 toExprReport source (InNode NElse startRow startCol context) expr row col
2144 IfIndentCondition row col ->
2146 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2147 region = toRegion row col
2149 Report.Report "UNFINISHED IF" region [] $
2150 Code.toSnippet source surroundings (Just region)
2153 "I was expecting to see more of this `if` expression, but I got stuck here:"
2157 ["I","was","expecting","to","see","an","expression","like",D.dullyellow "x < 0"
2158 ,"that","evaluates","to","True","or","False."
2161 "I can be confused by indentation. Maybe something is not indented enough?"
2165 IfIndentThen row col ->
2167 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2168 region = toRegion row col
2170 Report.Report "UNFINISHED IF" region [] $
2171 Code.toSnippet source surroundings (Just region)
2174 "I was expecting to see more of this `if` expression, but I got stuck here:"
2178 ["I","was","expecting","to","see","the",D.cyan "then","keyword","next."
2181 "I can be confused by indentation. Maybe something is not indented enough?"
2185 IfIndentThenBranch row col ->
2187 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2188 region = toRegion row col
2190 Report.Report "UNFINISHED IF" region [] $
2191 Code.toSnippet source surroundings (Just region)
2194 "I got stuck after the start of this `then` branch:"
2198 "I was expecting to see an expression next. Maybe it is not filled in yet?"
2200 "I can be confused by indentation, so if the `then` branch is already\
2201 \ present, it may not be indented enough for me to recognize it."
2205 IfIndentElseBranch row col ->
2207 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2208 region = toRegion row col
2210 Report.Report "UNFINISHED IF" region [] $
2211 Code.toSnippet source surroundings (Just region)
2214 "I got stuck after the start of this `else` branch:"
2218 "I was expecting to see an expression next. Maybe it is not filled in yet?"
2220 "I can be confused by indentation, so if the `else` branch is already\
2221 \ present, it may not be indented enough for me to recognize it."
2225 IfIndentElse row col ->
2227 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2228 region = toRegion row col
2230 Report.Report "UNFINISHED IF" region [] $
2231 Code.toSnippet source surroundings (Just region)
2234 "I was expecting to see an `else` branch after this:"
2238 "I know what to do when the condition is `True`, but not when it is `False`."
2240 ["Add","an",D.cyan "else","branch","to","handle","that","scenario!"]
2249toRecordReport :: Code.Source -> Context -> Record -> Row -> Col -> Report.Report
2250toRecordReport source context record startRow startCol =
2252 RecordOpen row col ->
2253 case Code.whatIsNext source row col of
2254 Code.Keyword keyword ->
2256 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2257 region = toKeywordRegion row col keyword
2259 Report.Report "RESERVED WORD" region [] $
2260 Code.toSnippet source surroundings (Just region)
2263 "I just started parsing a record, but I got stuck on this field name:"
2266 "It looks like you are trying to use `" ++ keyword ++ "` as a field name, but \
2267 \ that is a reserved word. Try using a different name!"
2272 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2273 region = toRegion row col
2275 Report.Report "UNFINISHED RECORD" region [] $
2276 Code.toSnippet source surroundings (Just region)
2279 "I just started parsing a record, but I got stuck here:"
2282 ["Records","look","like",D.dullyellow "{ x = 3, y = 4 },"
2283 ,"so","I","was","expecting","to","see","a","field","name","next."
2287 RecordEnd row col ->
2289 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2290 region = toRegion row col
2292 Report.Report "UNFINISHED RECORD" region [] $
2293 Code.toSnippet source surroundings (Just region)
2296 "I am partway through parsing a record, but I got stuck here:"
2300 ["I","was","expecting","to","see","a","closing","curly","brace","before","this,"
2301 ,"so","try","adding","a",D.dullyellow "}","and","see","if","that","helps?"
2304 "When I get stuck like this, it usually means that there is a missing parenthesis\
2305 \ or bracket somewhere earlier. It could also be a stray keyword or operator."
2309 RecordField row col ->
2310 case Code.whatIsNext source row col of
2311 Code.Keyword keyword ->
2313 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2314 region = toKeywordRegion row col keyword
2316 Report.Report "RESERVED WORD" region [] $
2317 Code.toSnippet source surroundings (Just region)
2320 "I am partway through parsing a record, but I got stuck on this field name:"
2323 "It looks like you are trying to use `" ++ keyword ++ "` as a field name, but \
2324 \ that is a reserved word. Try using a different name!"
2329 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2330 region = toRegion row col
2332 Report.Report "UNFINISHED RECORD" region [] $
2333 Code.toSnippet source surroundings (Just region)
2336 "I am partway through parsing a record, but I got stuck after that last comma:"
2338 addNoteForRecordError $
2340 "Trailing commas are not allowed in records, so I was expecting to see another\
2341 \ record field defined next. If you are done defining the record, the fix may\
2342 \ be to delete that last comma?"
2345 RecordEquals row col ->
2347 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2348 region = toRegion row col
2350 Report.Report "UNFINISHED RECORD" region [] $
2351 Code.toSnippet source surroundings (Just region)
2354 "I am partway through parsing a record, but I got stuck here:"
2356 addNoteForRecordError $
2358 ["I","just","saw","a","field","name,","so","I","was","expecting","to","see"
2359 ,"an","equals","sign","next.","So","try","putting","an",D.green "=","sign","here?"
2363 RecordExpr expr row col ->
2364 toExprReport source (InNode NRecord startRow startCol context) expr row col
2366 RecordSpace space row col ->
2367 toSpaceReport source space row col
2369 RecordIndentOpen row col ->
2371 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2372 region = toRegion row col
2374 Report.Report "UNFINISHED RECORD" region [] $
2375 Code.toSnippet source surroundings (Just region)
2378 "I just saw the opening curly brace of a record, but then I got stuck here:"
2380 addNoteForRecordIndentError $
2382 ["I","am","expecting","a","record","like",D.dullyellow "{ x = 3, y = 4 }","here."
2383 ,"Try","defining","some","fields","of","your","own?"
2387 RecordIndentEnd row col ->
2389 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2390 region = toRegion row col
2392 Report.Report "UNFINISHED RECORD" region [] $
2393 Code.toSnippet source surroundings (Just region)
2396 "I was expecting to see a closing curly brace next:"
2398 addNoteForRecordIndentError $
2400 ["Try","putting","an",D.green "}","and","see","if","that","helps?"
2404 RecordIndentField row col ->
2406 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2407 region = toRegion row col
2409 Report.Report "UNFINISHED RECORD" region [] $
2410 Code.toSnippet source surroundings (Just region)
2413 "I am partway through parsing a record, but I got stuck after that last comma:"
2415 addNoteForRecordError $
2417 "Trailing commas are not allowed in records, so the fix may be to\
2418 \ delete that last comma? Or maybe you were in the middle of defining\
2419 \ an additional field?"
2422 RecordIndentEquals row col ->
2424 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2425 region = toRegion row col
2427 Report.Report "UNFINISHED RECORD" region [] $
2428 Code.toSnippet source surroundings (Just region)
2431 "I am partway through parsing a record. I just saw a record\
2432 \ field, so I was expecting to see an equals sign next:"
2434 addNoteForRecordIndentError $
2436 ["Try","putting","an",D.green "=","followed","by","an","expression?"
2440 RecordIndentExpr row col ->
2442 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2443 region = toRegion row col
2445 Report.Report "UNFINISHED RECORD" region [] $
2446 Code.toSnippet source surroundings (Just region)
2449 "I am partway through parsing a record, and I was expecting to run into an expression next:"
2451 addNoteForRecordIndentError $
2453 ["Try","putting","something,","like"
2454 ,D.dullyellow "42","or",D.dullyellow"\"hello\"","for","now?"
2459addNoteForRecordError :: D.Doc -> D.Doc
2460addNoteForRecordError normalRecommendation =
2462 normalRecommendation
2465 "If you are trying to define a record across multiple lines, I recommend using this format:"
2466 , D.indent 4 $ D.vcat $
2467 [ "{ name = \"Alice\""
2473 "Notice that each line starts with some indentation. Usually two or four spaces. I\
2474 \ know this style can be jarring for people coming from C-like syntax, but folks generally\
2475 \ report that they are used to it (and often prefer it!) after a week or two of using Elm."
2479addNoteForRecordIndentError :: D.Doc -> D.Doc
2480addNoteForRecordIndentError normalRecommendation =
2482 normalRecommendation
2485 "I may be confused by indentation. For example, if you are trying to define\
2486 \ a record across multiple lines, I recommend using this format:"
2487 , D.indent 4 $ D.vcat $
2488 [ "{ name = \"Alice\""
2494 "Notice that each line starts with some indentation. Usually two or four spaces. I\
2495 \ know this style can be jarring for people coming from C-like syntax, but folks generally\
2496 \ report that they are used to it (and often prefer it!) after a week or two of using Elm."
2504toTupleReport :: Code.Source -> Context -> Tuple -> Row -> Col -> Report.Report
2505toTupleReport source context tuple startRow startCol =
2507 TupleExpr expr row col ->
2508 toExprReport source (InNode NParens startRow startCol context) expr row col
2510 TupleSpace space row col ->
2511 toSpaceReport source space row col
2515 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2516 region = toRegion row col
2518 Report.Report "UNFINISHED PARENTHESES" region [] $
2519 Code.toSnippet source surroundings (Just region)
2522 "I was expecting to see a closing parentheses next, but I got stuck here:"
2525 [ D.fillSep ["Try","adding","a",D.dullyellow ")","to","see","if","that","helps?"]
2527 "I can get stuck when I run into keywords, operators, parentheses, or brackets\
2528 \ unexpectedly. So there may be some earlier syntax trouble (like extra parenthesis\
2529 \ or missing brackets) that is confusing me."
2533 TupleOperatorClose row col ->
2535 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2536 region = toRegion row col
2538 Report.Report "UNFINISHED OPERATOR FUNCTION" region [] $
2539 Code.toSnippet source surroundings (Just region)
2541 D.reflow "I was expecting a closing parenthesis here:"
2544 [ D.fillSep ["Try","adding","a",D.dullyellow ")","to","see","if","that","helps!"]
2546 "I think I am parsing an operator function right now, so I am expecting to see\
2547 \ something like (+) or (&&) where an operator is surrounded by parentheses with\
2552 TupleOperatorReserved operator row col ->
2554 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2555 region = toRegion row col
2557 Report.Report "UNEXPECTED SYMBOL" region [] $
2558 Code.toSnippet source surroundings (Just region)
2561 "I ran into an unexpected symbol here:"
2565 BadDot -> ["Maybe","you","wanted","a","record","accessor","like",D.dullyellow ".x","or",D.dullyellow ".name","instead?"]
2566 BadPipe -> ["Try",D.dullyellow "(||)","instead?","To","turn","boolean","OR","into","a","function?"]
2567 BadArrow -> ["Maybe","you","wanted",D.dullyellow "(>)","or",D.dullyellow "(>=)","instead?"]
2568 BadEquals -> ["Try",D.dullyellow "(==)","instead?","To","make","a","function","that","checks","equality?"]
2569 BadHasType -> ["Try",D.dullyellow "(::)","instead?","To","add","values","to","the","front","of","lists?"]
2572 TupleIndentExpr1 row col ->
2574 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2575 region = toRegion row col
2577 Report.Report "UNFINISHED PARENTHESES" region [] $
2578 Code.toSnippet source surroundings (Just region)
2581 "I just saw an open parenthesis, so I was expecting to see an expression next."
2585 ["Something","like",D.dullyellow "(4 + 5)","or"
2586 ,D.dullyellow "(String.reverse \"desserts\")" <> "."
2587 ,"Anything","where","you","are","putting","parentheses","around","normal","expressions."
2590 "I can get confused by indentation in cases like this, so\
2591 \ maybe you have an expression but it is not indented enough?"
2595 TupleIndentExprN row col ->
2597 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2598 region = toRegion row col
2600 Report.Report "UNFINISHED TUPLE" region [] $
2601 Code.toSnippet source surroundings (Just region)
2604 "I think I am in the middle of parsing a tuple. I just saw a comma, so I was expecting to see an expression next."
2608 ["A","tuple","looks","like",D.dullyellow "(3,4)","or"
2609 ,D.dullyellow "(\"Tom\",42)" <> ","
2610 ,"so","I","think","there","is","an","expression","missing","here?"
2613 "I can get confused by indentation in cases like this, so\
2614 \ maybe you have an expression but it is not indented enough?"
2618 TupleIndentEnd row col ->
2620 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2621 region = toRegion row col
2623 Report.Report "UNFINISHED PARENTHESES" region [] $
2624 Code.toSnippet source surroundings (Just region)
2627 "I was expecting to see a closing parenthesis next:"
2630 [ D.fillSep ["Try","adding","a",D.dullyellow ")","to","see","if","that","helps!"]
2632 "I can get confused by indentation in cases like this, so\
2633 \ maybe you have a closing parenthesis but it is not indented enough?"
2638toListReport :: Code.Source -> Context -> List -> Row -> Col -> Report.Report
2639toListReport source context list startRow startCol =
2641 ListSpace space row col ->
2642 toSpaceReport source space row col
2646 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2647 region = toRegion row col
2649 Report.Report "UNFINISHED LIST" region [] $
2650 Code.toSnippet source surroundings (Just region)
2653 "I am partway through parsing a list, but I got stuck here:"
2657 ["I","was","expecting","to","see","a","closing","square","bracket","before","this,"
2658 ,"so","try","adding","a",D.dullyellow "]","and","see","if","that","helps?"
2661 "When I get stuck like this, it usually means that there is a missing parenthesis\
2662 \ or bracket somewhere earlier. It could also be a stray keyword or operator."
2666 ListExpr expr row col ->
2670 surroundings = A.Region (A.Position startRow startCol) (A.Position r c)
2671 region = toRegion r c
2673 Report.Report "UNFINISHED LIST" region [] $
2674 Code.toSnippet source surroundings (Just region)
2677 "I was expecting to see another list entry after that last comma:"
2681 "Trailing commas are not allowed in lists, so the fix may be to delete the comma?"
2683 "I recommend using the following format for lists that span multiple lines:"
2684 , D.indent 4 $ D.vcat $
2691 "Notice that nothing comes directly after a newline. Each line starts with some spaces.\
2692 \ This style can be jarring for people coming from C-like syntax, but folks generally\
2693 \ report that they are used to it (and often prefer it!) after a week or two of using Elm."
2698 toExprReport source (InNode NList startRow startCol context) expr row col
2702 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2703 region = toRegion row col
2705 Report.Report "UNFINISHED LIST" region [] $
2706 Code.toSnippet source surroundings (Just region)
2709 "I am partway through parsing a list, but I got stuck here:"
2713 ["I","was","expecting","to","see","a","closing","square","bracket","before","this,"
2714 ,"so","try","adding","a",D.dullyellow "]","and","see","if","that","helps?"
2717 "When I get stuck like this, it usually means that there is a missing parenthesis\
2718 \ or bracket somewhere earlier. It could also be a stray keyword or operator."
2722 ListIndentOpen row col ->
2724 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2725 region = toRegion row col
2727 Report.Report "UNFINISHED LIST" region [] $
2728 Code.toSnippet source surroundings (Just region)
2731 "I cannot find the end of this list:"
2735 ["You","could","change","it","to","something","like"
2736 ,D.dullyellow "[3,4,5]"
2738 ,D.dullyellow "[]" <> "."
2739 ,"Anything","where","there","is","an","open","and","close","square","brace,"
2740 ,"and","where","the","elements","of","the","list","are","separated","by","commas."
2743 "I may be confused by indentation. For example, if you are trying to define\
2744 \ a list across multiple lines, I recommend using this format:"
2745 , D.indent 4 $ D.vcat $
2752 "Notice that nothing comes directly after a newline. Each line starts with some spaces.\
2753 \ This style can be jarring for people coming from C-like syntax, but folks generally\
2754 \ report that they are used to it (and often prefer it!) after a week or two of using Elm."
2758 ListIndentEnd row col ->
2760 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2761 region = toRegion row col
2763 Report.Report "UNFINISHED LIST" region [] $
2764 Code.toSnippet source surroundings (Just region)
2767 "I cannot find the end of this list:"
2771 ["You","can","just","add","a","closing",D.dullyellow "]"
2772 ,"right","here,","and","I","will","be","all","set!"
2775 "I may be confused by indentation. For example, if you are trying to define\
2776 \ a list across multiple lines, I recommend using this format:"
2777 , D.indent 4 $ D.vcat $
2784 "Notice that nothing comes directly after a newline. Each line starts with some spaces.\
2785 \ This style can be jarring for people coming from C-like syntax, but folks generally\
2786 \ report that they are used to it (and often prefer it!) after a week or two of using Elm."
2790 ListIndentExpr row col ->
2792 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2793 region = toRegion row col
2795 Report.Report "UNFINISHED LIST" region [] $
2796 Code.toSnippet source surroundings (Just region)
2799 "I was expecting to see another list entry after this comma:"
2803 "Trailing commas are not allowed in lists, so the fix may be to delete the comma?"
2805 "I recommend using the following format for lists that span multiple lines:"
2806 , D.indent 4 $ D.vcat $
2813 "Notice that nothing comes directly after a newline. Each line starts with some spaces.\
2814 \ This style can be jarring for people coming from C-like syntax, but folks generally\
2815 \ report that they are used to it (and often prefer it!) after a week or two of using Elm."
2820toFuncReport :: Code.Source -> Context -> Func -> Row -> Col -> Report.Report
2821toFuncReport source context func startRow startCol =
2823 FuncSpace space row col ->
2824 toSpaceReport source space row col
2826 FuncArg pattern row col ->
2827 toPatternReport source PArg pattern row col
2829 FuncBody expr row col ->
2830 toExprReport source (InNode NFunc startRow startCol context) expr row col
2832 FuncArrow row col ->
2833 case Code.whatIsNext source row col of
2834 Code.Keyword keyword ->
2836 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2837 region = toKeywordRegion row col keyword
2839 Report.Report "RESERVED WORD" region [] $
2840 Code.toSnippet source surroundings (Just region)
2843 "I was parsing an anonymous function, but I got stuck here:"
2846 "It looks like you are trying to use `" ++ keyword ++ "` as an argument, but\
2847 \ it is a reserved word in this language. Try using a different argument name!"
2852 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2853 region = toRegion row col
2855 Report.Report "UNFINISHED ANONYMOUS FUNCTION" region [] $
2856 Code.toSnippet source surroundings (Just region)
2859 "I just saw the beginning of an anonymous function, so I was expecting to see an arrow next:"
2862 ["The","syntax","for","anonymous","functions","is"
2863 ,D.dullyellow "(\\x -> x + 1)"
2864 ,"so","I","am","missing","the","arrow","and","the","body","of","the","function."
2868 FuncIndentArg row col ->
2870 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2871 region = toRegion row col
2873 Report.Report "MISSING ARGUMENT" region [] $
2874 Code.toSnippet source surroundings (Just region)
2877 "I just saw the beginning of an anonymous function, so I was expecting to see an argument next:"
2881 ["Something","like",D.dullyellow"x","or",D.dullyellow "name" <> "."
2882 ,"Anything","that","starts","with","a","lower","case","letter!"
2885 "The syntax for anonymous functions is (\\x -> x + 1) where the backslash\
2886 \ is meant to look a bit like a lambda if you squint. This visual pun seemed\
2887 \ like a better idea at the time!"
2891 FuncIndentArrow row col ->
2893 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2894 region = toRegion row col
2896 Report.Report "UNFINISHED ANONYMOUS FUNCTION" region [] $
2897 Code.toSnippet source surroundings (Just region)
2900 "I just saw the beginning of an anonymous function, so I was expecting to see an arrow next:"
2904 ["The","syntax","for","anonymous","functions","is"
2905 ,D.dullyellow "(\\x -> x + 1)"
2906 ,"so","I","am","missing","the","arrow","and","the","body","of","the","function."
2909 "It is possible that I am confused about indetation! I generally recommend\
2910 \ switching to named functions if the definition cannot fit inline nicely, so\
2911 \ either (1) try to fit the whole anonymous function on one line or (2) break\
2912 \ the whole thing out into a named function. Things tend to be clearer that way!"
2916 FuncIndentBody row col ->
2918 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2919 region = toRegion row col
2921 Report.Report "UNFINISHED ANONYMOUS FUNCTION" region [] $
2922 Code.toSnippet source surroundings (Just region)
2925 "I was expecting to see the body of your anonymous function next:"
2929 ["The","syntax","for","anonymous","functions","is"
2930 ,D.dullyellow "(\\x -> x + 1)"
2931 ,"so","I","am","missing","all","the","stuff","after","the","arrow!"
2934 "It is possible that I am confused about indetation! I generally recommend\
2935 \ switching to named functions if the definition cannot fit inline nicely, so\
2936 \ either (1) try to fit the whole anonymous function on one line or (2) break\
2937 \ the whole thing out into a named function. Things tend to be clearer that way!"
2951toPatternReport :: Code.Source -> PContext -> Pattern -> Row -> Col -> Report.Report
2952toPatternReport source context pattern startRow startCol =
2954 PRecord record row col ->
2955 toPRecordReport source record row col
2957 PTuple tuple row col ->
2958 toPTupleReport source context tuple row col
2960 PList list row col ->
2961 toPListReport source context list row col
2964 case Code.whatIsNext source row col of
2965 Code.Keyword keyword ->
2967 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
2968 region = toKeywordRegion row col keyword
2971 PArg -> "an argument"
2972 PCase -> "a pattern"
2974 Report.Report "RESERVED WORD" region [] $
2975 Code.toSnippet source surroundings (Just region)
2978 "It looks like you are trying to use `" ++ keyword ++ "` as " ++ aThing ++ ":"
2981 "This is a reserved word! Try using some other name?"
2987 PChar char row col ->
2988 toCharReport source char row col
2990 PString string row col ->
2991 toStringReport source string row col
2993 PNumber number row col ->
2994 toNumberReport source number row col
2996 PFloat width row col ->
2998 region = toWiderRegion row col width
3000 Report.Report "UNEXPECTED PATTERN" region [] $
3001 Code.toSnippet source region Nothing
3004 "I cannot pattern match with floating point numbers:"
3007 ["Equality","on","floats","can","be","unreliable,","so","you","usually","want"
3008 ,"to","check","that","they","are","nearby","with","some","sort","of"
3009 ,D.dullyellow "(abs (actual - expected) < 0.001)","check."
3015 region = toRegion row col
3017 Report.Report "UNFINISHED PATTERN" region [] $
3018 Code.toSnippet source region Nothing $
3021 "I was expecting to see a variable name after the `as` keyword:"
3025 ["The","`as`","keyword","lets","you","write","patterns","like"
3026 ,"((" <> D.dullyellow "x" <> "," <> D.dullyellow "y" <> ") " <> D.cyan "as" <> D.dullyellow " point" <> ")"
3027 ,"so","you","can","refer","to","individual","parts","of","the","tuple","with"
3028 ,D.dullyellow "x","and",D.dullyellow "y","or","you","refer","to","the","whole"
3029 ,"thing","with",D.dullyellow "point."
3032 "So I was expecting to see a variable name after the `as` keyword here. Sometimes\
3033 \ people just want to use `as` as a variable name though. Try using a different name\
3038 PWildcardNotVar name width row col ->
3040 region = toWiderRegion row col (fromIntegral width)
3042 case dropWhile (=='_') (Name.toChars name) of
3043 [] -> [D.dullyellow "x","or",D.dullyellow "age"]
3044 c:cs -> [D.dullyellow (D.fromChars (Char.toLower c : cs))]
3046 Report.Report "UNEXPECTED NAME" region [] $
3047 Code.toSnippet source region Nothing $
3050 "Variable names cannot start with underscores like this:"
3053 ["You","can","either","have","an","underscore","like",D.dullyellow "_","to"
3054 ,"ignore","the","value,","or","you","can","have","a","name","like"
3055 ] ++ examples ++ ["to","use","the","matched","value." ]
3058 PSpace space row col ->
3059 toSpaceReport source space row col
3061 PIndentStart row col ->
3062 error "TODO PIndentStart" row col
3064 PIndentAlias row col ->
3066 region = toRegion row col
3068 Report.Report "UNFINISHED PATTERN" region [] $
3069 Code.toSnippet source region Nothing $
3072 "I was expecting to see a variable name after the `as` keyword:"
3076 ["The","`as`","keyword","lets","you","write","patterns","like"
3077 ,"((" <> D.dullyellow "x" <> "," <> D.dullyellow "y" <> ") " <> D.cyan "as" <> D.dullyellow " point" <> ")"
3078 ,"so","you","can","refer","to","individual","parts","of","the","tuple","with"
3079 ,D.dullyellow "x","and",D.dullyellow "y","or","you","refer","to","the","whole"
3080 ,"thing","with",D.dullyellow "point."
3083 "So I was expecting to see a variable name after the `as` keyword here. Sometimes\
3084 \ people just want to use `as` as a variable name though. Try using a different name\
3090toPRecordReport :: Code.Source -> PRecord -> Row -> Col -> Report.Report
3091toPRecordReport source record startRow startCol =
3093 PRecordOpen row col ->
3094 toUnfinishRecordPatternReport source row col startRow startCol $
3095 D.reflow "I was expecting to see a field name next."
3097 PRecordEnd row col ->
3098 toUnfinishRecordPatternReport source row col startRow startCol $
3100 ["I","was","expecting","to","see","a","closing","curly","brace","next."
3101 ,"Try","adding","a",D.dullyellow "}","here?"
3104 PRecordField row col ->
3105 case Code.whatIsNext source row col of
3106 Code.Keyword keyword ->
3108 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3109 region = toKeywordRegion row col keyword
3111 Report.Report "RESERVED WORD" region [] $
3112 Code.toSnippet source surroundings (Just region)
3115 "I was not expecting to see `" ++ keyword ++ "` as a record field name:"
3118 "This is a reserved word, not available for variable names. Try another name!"
3122 toUnfinishRecordPatternReport source row col startRow startCol $
3123 D.reflow "I was expecting to see a field name next."
3125 PRecordSpace space row col ->
3126 toSpaceReport source space row col
3128 PRecordIndentOpen row col ->
3129 toUnfinishRecordPatternReport source row col startRow startCol $
3130 D.reflow "I was expecting to see a field name next."
3132 PRecordIndentEnd row col ->
3133 toUnfinishRecordPatternReport source row col startRow startCol $
3135 ["I","was","expecting","to","see","a","closing","curly","brace","next."
3136 ,"Try","adding","a",D.dullyellow "}","here?"
3139 PRecordIndentField row col ->
3140 toUnfinishRecordPatternReport source row col startRow startCol $
3141 D.reflow "I was expecting to see a field name next."
3144toUnfinishRecordPatternReport :: Code.Source -> Row -> Col -> Row -> Col -> D.Doc -> Report.Report
3145toUnfinishRecordPatternReport source row col startRow startCol message =
3147 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3148 region = toRegion row col
3150 Report.Report "UNFINISHED RECORD PATTERN" region [] $
3151 Code.toSnippet source surroundings (Just region)
3154 "I was partway through parsing a record pattern, but I got stuck here:"
3159 ["A","record","pattern","looks","like",D.dullyellow "{x,y}","or",D.dullyellow "{name,age}"
3160 ,"where","you","list","the","field","names","you","want","to","access."
3167toPTupleReport :: Code.Source -> PContext -> PTuple -> Row -> Col -> Report.Report
3168toPTupleReport source context tuple startRow startCol =
3170 PTupleOpen row col ->
3171 case Code.whatIsNext source row col of
3172 Code.Keyword keyword ->
3174 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3175 region = toKeywordRegion row col keyword
3177 Report.Report "RESERVED WORD" region [] $
3178 Code.toSnippet source surroundings (Just region)
3181 "It looks like you are trying to use `" ++ keyword ++ "` as a variable name:"
3184 "This is a reserved word! Try using some other name?"
3189 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3190 region = toRegion row col
3192 Report.Report "UNFINISHED PARENTHESES" region [] $
3193 Code.toSnippet source surroundings (Just region)
3196 "I just saw an open parenthesis, but I got stuck here:"
3199 ["I","was","expecting","so","see","a","pattern","next."
3200 ,"Maybe","it","will","end","up","being","something"
3201 ,"like",D.dullyellow "(x,y)","or",D.dullyellow "(name, _)" <> "?"
3205 PTupleEnd row col ->
3207 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3208 region = toRegion row col
3210 Report.Report "UNFINISHED PARENTHESES" region [] $
3211 Code.toSnippet source surroundings (Just region) $
3214 "I was expecting a closing parenthesis next:"
3216 D.fillSep ["Try","adding","a",D.dullyellow ")","to","see","if","that","helps?"]
3219 PTupleExpr pattern row col ->
3220 toPatternReport source context pattern row col
3222 PTupleSpace space row col ->
3223 toSpaceReport source space row col
3225 PTupleIndentEnd row col ->
3227 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3228 region = toRegion row col
3230 Report.Report "UNFINISHED PARENTHESES" region [] $
3231 Code.toSnippet source surroundings (Just region) $
3234 "I was expecting a closing parenthesis next:"
3237 [ D.fillSep ["Try","adding","a",D.dullyellow ")","to","see","if","that","helps?"]
3239 "I can get confused by indentation in cases like this, so\
3240 \ maybe you have a closing parenthesis but it is not indented enough?"
3244 PTupleIndentExpr1 row col ->
3246 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3247 region = toRegion row col
3249 Report.Report "UNFINISHED PARENTHESES" region [] $
3250 Code.toSnippet source surroundings (Just region) $
3253 "I just saw an open parenthesis, but then I got stuck here:"
3256 ["I","was","expecting","so","see","a","pattern","next."
3257 ,"Maybe","it","will","end","up","being","something"
3258 ,"like",D.dullyellow "(x,y)","or",D.dullyellow "(name, _)" <> "?"
3262 PTupleIndentExprN row col ->
3264 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3265 region = toRegion row col
3267 Report.Report "UNFINISHED TUPLE PATTERN" region [] $
3268 Code.toSnippet source surroundings (Just region) $
3271 "I am partway through parsing a tuple pattern, but I got stuck here:"
3275 ["I","was","expecting","so","see","a","pattern","next."
3276 ,"I","am","expecting","the","final","result","to","be","something"
3277 ,"like",D.dullyellow "(x,y)","or",D.dullyellow "(name, _)" <> "."
3280 "I can get confused by indentation in cases like this, so the problem\
3281 \ may be that the next part is not indented enough?"
3286toPListReport :: Code.Source -> PContext -> PList -> Row -> Col -> Report.Report
3287toPListReport source context list startRow startCol =
3289 PListOpen row col ->
3290 case Code.whatIsNext source row col of
3291 Code.Keyword keyword ->
3293 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3294 region = toKeywordRegion row col keyword
3296 Report.Report "RESERVED WORD" region [] $
3297 Code.toSnippet source surroundings (Just region)
3300 "It looks like you are trying to use `" ++ keyword ++ "` to name an element of a list:"
3303 "This is a reserved word though! Try using some other name?"
3308 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3309 region = toRegion row col
3311 Report.Report "UNFINISHED LIST PATTERN" region [] $
3312 Code.toSnippet source surroundings (Just region) $
3315 "I just saw an open square bracket, but then I got stuck here:"
3317 D.fillSep ["Try","adding","a",D.dullyellow "]","to","see","if","that","helps?"]
3322 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3323 region = toRegion row col
3325 Report.Report "UNFINISHED LIST PATTERN" region [] $
3326 Code.toSnippet source surroundings (Just region) $
3329 "I was expecting a closing square bracket to end this list pattern:"
3331 D.fillSep ["Try","adding","a",D.dullyellow "]","to","see","if","that","helps?"]
3334 PListExpr pattern row col ->
3335 toPatternReport source context pattern row col
3337 PListSpace space row col ->
3338 toSpaceReport source space row col
3340 PListIndentOpen row col ->
3342 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3343 region = toRegion row col
3345 Report.Report "UNFINISHED LIST PATTERN" region [] $
3346 Code.toSnippet source surroundings (Just region) $
3349 "I just saw an open square bracket, but then I got stuck here:"
3352 [ D.fillSep ["Try","adding","a",D.dullyellow "]","to","see","if","that","helps?"]
3354 "I can get confused by indentation in cases like this, so\
3355 \ maybe there is something next, but it is not indented enough?"
3359 PListIndentEnd row col ->
3361 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3362 region = toRegion row col
3364 Report.Report "UNFINISHED LIST PATTERN" region [] $
3365 Code.toSnippet source surroundings (Just region) $
3368 "I was expecting a closing square bracket to end this list pattern:"
3371 [ D.fillSep ["Try","adding","a",D.dullyellow "]","to","see","if","that","helps?"]
3373 "I can get confused by indentation in cases like this, so\
3374 \ maybe you have a closing square bracket but it is not indented enough?"
3378 PListIndentExpr row col ->
3380 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3381 region = toRegion row col
3383 Report.Report "UNFINISHED LIST PATTERN" region [] $
3384 Code.toSnippet source surroundings (Just region) $
3387 "I am partway through parsing a list pattern, but I got stuck here:"
3391 "I was expecting to see another pattern next. Maybe a variable name."
3393 "I can get confused by indentation in cases like this, so\
3394 \ maybe there is more to this pattern but it is not indented enough?"
3403toTypeReport :: Code.Source -> Type -> Row -> Col -> Report.Report
3404toTypeReport source tipe startRow startCol =
3406 TRecord record row col ->
3407 toTRecordReport source record row col
3409 TTuple tuple row col ->
3410 toTTupleReport source tuple row col
3413 error "TODO TVariant" row col startRow startCol
3416 error "TODO TArrow" row col
3419 error "TODO TStart" row col
3421 TSpace space row col ->
3422 toSpaceReport source space row col
3424 TIndentStart row col ->
3425 error "TODO TIndentStart" row col
3429toTRecordReport :: Code.Source -> TRecord -> Row -> Col -> Report.Report
3430toTRecordReport source record startRow startCol =
3432 TRecordOpen row col ->
3433 case Code.whatIsNext source row col of
3434 Code.Keyword keyword ->
3436 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3437 region = toKeywordRegion row col keyword
3439 Report.Report "RESERVED WORD" region [] $
3440 Code.toSnippet source surroundings (Just region)
3443 "I just started parsing a record type, but I got stuck on this field name:"
3446 "It looks like you are trying to use `" ++ keyword ++ "` as a field name, but \
3447 \ that is a reserved word. Try using a different name!"
3452 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3453 region = toRegion row col
3455 Report.Report "UNFINISHED RECORD TYPE" region [] $
3456 Code.toSnippet source surroundings (Just region)
3459 "I just started parsing a record type, but I got stuck here:"
3462 ["Record","types","look","like",D.dullyellow "{ name : String, age : Int },"
3463 ,"so","I","was","expecting","to","see","a","field","name","next."
3467 TRecordEnd row col ->
3469 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3470 region = toRegion row col
3472 Report.Report "UNFINISHED RECORD TYPE" region [] $
3473 Code.toSnippet source surroundings (Just region)
3476 "I am partway through parsing a record type, but I got stuck here:"
3480 ["I","was","expecting","to","see","a","closing","curly","brace","before","this,"
3481 ,"so","try","adding","a",D.dullyellow "}","and","see","if","that","helps?"
3484 "When I get stuck like this, it usually means that there is a missing parenthesis\
3485 \ or bracket somewhere earlier. It could also be a stray keyword or operator."
3489 TRecordField row col ->
3490 case Code.whatIsNext source row col of
3491 Code.Keyword keyword ->
3493 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3494 region = toKeywordRegion row col keyword
3496 Report.Report "RESERVED WORD" region [] $
3497 Code.toSnippet source surroundings (Just region)
3500 "I am partway through parsing a record type, but I got stuck on this field name:"
3503 "It looks like you are trying to use `" ++ keyword ++ "` as a field name, but \
3504 \ that is a reserved word. Try using a different name!"
3509 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3510 region = toRegion row col
3512 Report.Report "UNFINISHED RECORD TYPE" region [] $
3513 Code.toSnippet source surroundings (Just region)
3516 "I am partway through parsing a record type, but I got stuck after that last comma:"
3518 addNoteForRecordTypeError $
3520 "Trailing commas are not allowed in records, so I was expecting to see another\
3521 \ record field defined next. If you are done defining the record, the fix may\
3522 \ be to delete that last comma?"
3525 TRecordColon row col ->
3527 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3528 region = toRegion row col
3530 Report.Report "UNFINISHED RECORD TYPE" region [] $
3531 Code.toSnippet source surroundings (Just region)
3534 "I am partway through parsing a record type, but I got stuck here:"
3536 addNoteForRecordTypeError $
3538 ["I","just","saw","a","field","name,","so","I","was","expecting","to","see"
3539 ,"a","colon","next.","So","try","putting","an",D.green ":","sign","here?"
3543 TRecordType tipe row col ->
3544 toTypeReport source tipe row col
3546 TRecordSpace space row col ->
3547 toSpaceReport source space row col
3549 TRecordIndentOpen row col ->
3551 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3552 region = toRegion row col
3554 Report.Report "UNFINISHED RECORD TYPE" region [] $
3555 Code.toSnippet source surroundings (Just region)
3558 "I just saw the opening curly brace of a record type, but then I got stuck here:"
3560 addNoteForRecordTypeIndentError $
3562 ["I","am","expecting","a","record","like",D.dullyellow "{ name : String, age : Int }","here."
3563 ,"Try","defining","some","fields","of","your","own?"
3567 TRecordIndentEnd row col ->
3569 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3570 region = toRegion row col
3572 Report.Report "UNFINISHED RECORD TYPE" region [] $
3573 Code.toSnippet source surroundings (Just region)
3576 "I was expecting to see a closing curly brace next:"
3578 addNoteForRecordTypeIndentError $
3580 ["Try","putting","an",D.green "}","and","see","if","that","helps?"
3584 TRecordIndentField row col ->
3586 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3587 region = toRegion row col
3589 Report.Report "UNFINISHED RECORD TYPE" region [] $
3590 Code.toSnippet source surroundings (Just region)
3593 "I am partway through parsing a record type, but I got stuck after that last comma:"
3595 addNoteForRecordTypeIndentError $
3597 "Trailing commas are not allowed in record types, so the fix may be to\
3598 \ delete that last comma? Or maybe you were in the middle of defining\
3599 \ an additional field?"
3602 TRecordIndentColon row col ->
3604 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3605 region = toRegion row col
3607 Report.Report "UNFINISHED RECORD TYPE" region [] $
3608 Code.toSnippet source surroundings (Just region)
3611 "I am partway through parsing a record type. I just saw a record\
3612 \ field, so I was expecting to see a colon next:"
3614 addNoteForRecordTypeIndentError $
3616 ["Try","putting","an",D.green ":","followed","by","a","type?"
3620 TRecordIndentType row col ->
3622 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3623 region = toRegion row col
3625 Report.Report "UNFINISHED RECORD TYPE" region [] $
3626 Code.toSnippet source surroundings (Just region)
3629 "I am partway through parsing a record type, and I was expecting to run into a type next:"
3631 addNoteForRecordTypeIndentError $
3633 ["Try","putting","something,","like"
3634 ,D.dullyellow "Int","or",D.dullyellow "String","for","now?"
3639addNoteForRecordTypeError :: D.Doc -> D.Doc
3640addNoteForRecordTypeError normalRecommendation =
3642 normalRecommendation
3645 "If you are trying to define a record type across multiple lines, I recommend using this format:"
3646 , D.indent 4 $ D.vcat $
3649 , ", height : Float"
3653 "Notice that each line starts with some indentation. Usually two or four spaces. I\
3654 \ know this style can be jarring for people coming from C-like syntax, but folks generally\
3655 \ report that they are used to it (and often prefer it!) after a week or two of using Elm."
3659addNoteForRecordTypeIndentError :: D.Doc -> D.Doc
3660addNoteForRecordTypeIndentError normalRecommendation =
3662 normalRecommendation
3665 "I may be confused by indentation. For example, if you are trying to define\
3666 \ a record type across multiple lines, I recommend using this format:"
3667 , D.indent 4 $ D.vcat $
3670 , ", height : Float"
3674 "Notice that each line starts with some indentation. Usually two or four spaces. I\
3675 \ know this style can be jarring for people coming from C-like syntax, but folks generally\
3676 \ report that they are used to it (and often prefer it!) after a week or two of using Elm."
3680toTTupleReport :: Code.Source -> TTuple -> Row -> Col -> Report.Report
3681toTTupleReport source tuple startRow startCol =
3683 TTupleOpen row col ->
3684 case Code.whatIsNext source row col of
3685 Code.Keyword keyword ->
3687 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3688 region = toKeywordRegion row col keyword
3690 Report.Report "RESERVED WORD" region [] $
3691 Code.toSnippet source surroundings (Just region)
3694 "I ran into a reserved word unexpectedly:"
3697 "It looks like you are trying to use `" ++ keyword ++ "` as a variable name, but \
3698 \ it is a reserved word. Try using a different name!"
3703 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3704 region = toRegion row col
3706 Report.Report "UNFINISHED PARENTHESES" region [] $
3707 Code.toSnippet source surroundings (Just region)
3710 "I just saw an open parenthesis, so I was expecting to see a type next."
3713 ["Something","like",D.dullyellow "(Maybe Int)","or"
3714 ,D.dullyellow "(List Person)" <> "."
3715 ,"Anything","where","you","are","putting","parentheses","around","normal","types."
3719 TTupleEnd row col ->
3721 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3722 region = toRegion row col
3724 Report.Report "UNFINISHED PARENTHESES" region [] $
3725 Code.toSnippet source surroundings (Just region)
3728 "I was expecting to see a closing parentheses next, but I got stuck here:"
3731 [ D.fillSep ["Try","adding","a",D.dullyellow ")","to","see","if","that","helps?"]
3733 "I can get stuck when I run into keywords, operators, parentheses, or brackets\
3734 \ unexpectedly. So there may be some earlier syntax trouble (like extra parenthesis\
3735 \ or missing brackets) that is confusing me."
3739 TTupleType tipe row col ->
3740 toTypeReport source tipe row col
3742 TTupleSpace space row col ->
3743 toSpaceReport source space row col
3745 TTupleIndentType1 row col ->
3747 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3748 region = toRegion row col
3750 Report.Report "UNFINISHED PARENTHESES" region [] $
3751 Code.toSnippet source surroundings (Just region)
3754 "I just saw an open parenthesis, so I was expecting to see a type next."
3758 ["Something","like",D.dullyellow "(Maybe Int)","or"
3759 ,D.dullyellow "(List Person)" <> "."
3760 ,"Anything","where","you","are","putting","parentheses","around","normal","types."
3763 "I can get confused by indentation in cases like this, so\
3764 \ maybe you have a type but it is not indented enough?"
3768 TTupleIndentTypeN row col ->
3770 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3771 region = toRegion row col
3773 Report.Report "UNFINISHED TUPLE TYPE" region [] $
3774 Code.toSnippet source surroundings (Just region)
3777 "I think I am in the middle of parsing a tuple type. I just saw a comma, so I was expecting to see a type next."
3781 ["A","tuple","type","looks","like",D.dullyellow "(Float,Float)","or"
3782 ,D.dullyellow "(String,Int)" <> ","
3783 ,"so","I","think","there","is","a","type","missing","here?"
3786 "I can get confused by indentation in cases like this, so\
3787 \ maybe you have an expression but it is not indented enough?"
3791 TTupleIndentEnd row col ->
3793 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3794 region = toRegion row col
3796 Report.Report "UNFINISHED PARENTHESES" region [] $
3797 Code.toSnippet source surroundings (Just region)
3800 "I was expecting to see a closing parenthesis next:"
3803 [ D.fillSep ["Try","adding","a",D.dullyellow ")","to","see","if","that","helps!"]
3805 "I can get confused by indentation in cases like this, so\
3806 \ maybe you have a closing parenthesis but it is not indented enough?"
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list