* more Result>Try updates * [WIP] Fix typo in Try variable names (#8383) * Initial plan * Add exception for 'Trys' to typos.toml Co-authored-by: Anton-4 <17049058+Anton-4@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: Anton-4 <17049058+Anton-4@users.noreply.github.com> * not this one --------- Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>
2.5 KiB
META
description=An empty module with multiline exposes and comments
type=snippet
SOURCE
[ # Comment After exposes open
something, # Comment after exposed item
SomeType, # Comment after final exposed item
]
EXPECTED
PARSE ERROR - module_multiline_with_comments.md:1:2:1:3 PARSE ERROR - module_multiline_with_comments.md:2:3:2:12 PARSE ERROR - module_multiline_with_comments.md:2:12:2:13 PARSE ERROR - module_multiline_with_comments.md:3:11:3:12 PARSE ERROR - module_multiline_with_comments.md:4:2:4:3
PROBLEMS
PARSE ERROR
A parsing error occurred: statement_unexpected_token
This is an unexpected parsing error. Please check your syntax.
module_multiline_with_comments.md:1:2:1:3:
[ # Comment After exposes open
^
PARSE ERROR
A parsing error occurred: statement_unexpected_token
This is an unexpected parsing error. Please check your syntax.
module_multiline_with_comments.md:2:3:2:12:
something, # Comment after exposed item
^^^^^^^^^
PARSE ERROR
A parsing error occurred: statement_unexpected_token
This is an unexpected parsing error. Please check your syntax.
module_multiline_with_comments.md:2:12:2:13:
something, # Comment after exposed item
^
PARSE ERROR Type applications require parentheses around their type arguments.
I found a type followed by what looks like a type argument, but they need to be connected with parentheses.
Instead of: List U8
Use: List(U8)
Other valid examples:
Dict(Str, Num)
Try(a, Str)
Maybe(List(U64))
module_multiline_with_comments.md:3:11:3:12:
SomeType, # Comment after final exposed item
^
PARSE ERROR
A parsing error occurred: statement_unexpected_token
This is an unexpected parsing error. Please check your syntax.
module_multiline_with_comments.md:4:2:4:3:
]
^
TOKENS
OpenSquare,
LowerIdent,Comma,
UpperIdent,Comma,
CloseSquare,
EndOfFile,
PARSE
(file
(type-module)
(statements
(s-malformed (tag "statement_unexpected_token"))
(s-malformed (tag "statement_unexpected_token"))
(s-malformed (tag "statement_unexpected_token"))
(s-malformed (tag "expected_colon_after_type_annotation"))
(s-malformed (tag "statement_unexpected_token"))))
FORMATTED
# Comment After exposes open
# Comment after final exposed item
CANONICALIZE
(can-ir (empty true))
TYPES
(inferred-types
(defs)
(expressions))