roc/test/snapshots/expr/record_builder.md

META

description=record_builder
type=expr

SOURCE

{ Foo.Bar.baz <-
    x: 5,
    y: 0,
}

EXPECTED

UNEXPECTED TOKEN IN EXPRESSION - record_builder.md:1:15:1:17 UNEXPECTED TOKEN IN TYPE ANNOTATION - record_builder.md:2:8:2:9 UNEXPECTED TOKEN IN EXPRESSION - record_builder.md:2:9:2:10 UNEXPECTED TOKEN IN TYPE ANNOTATION - record_builder.md:3:8:3:9 UNEXPECTED TOKEN IN EXPRESSION - record_builder.md:3:9:3:10 DOES NOT EXIST - record_builder.md:1:3:1:14 UNRECOGNIZED SYNTAX - record_builder.md:1:15:1:17 MALFORMED TYPE - record_builder.md:2:8:2:9 UNRECOGNIZED SYNTAX - record_builder.md:2:9:2:10 MALFORMED TYPE - record_builder.md:3:8:3:9 UNRECOGNIZED SYNTAX - record_builder.md:3:9:3:10 UNUSED VARIABLE - record_builder.md:2:5:2:9 UNUSED VARIABLE - record_builder.md:3:5:3:9

PROBLEMS

UNEXPECTED TOKEN IN EXPRESSION The token <- is not expected in an expression. Expressions can be identifiers, literals, function calls, or operators.

record_builder.md:1:15:1:17:

{ Foo.Bar.baz <-

          ^^

UNEXPECTED TOKEN IN TYPE ANNOTATION The token 5 is not expected in a type annotation. Type annotations should contain types like Str, Num a, or List U64.

record_builder.md:2:8:2:9:

    x: 5,

   ^

UNEXPECTED TOKEN IN EXPRESSION The token , is not expected in an expression. Expressions can be identifiers, literals, function calls, or operators.

record_builder.md:2:9:2:10:

    x: 5,

    ^

UNEXPECTED TOKEN IN TYPE ANNOTATION The token 0 is not expected in a type annotation. Type annotations should contain types like Str, Num a, or List U64.

record_builder.md:3:8:3:9:

    y: 0,

   ^

UNEXPECTED TOKEN IN EXPRESSION The token , is not expected in an expression. Expressions can be identifiers, literals, function calls, or operators.

record_builder.md:3:9:3:10:

    y: 0,

    ^

DOES NOT EXIST Foo.Bar.baz does not exist.

record_builder.md:1:3:1:14:

{ Foo.Bar.baz <-

^^^^^^^^^^^

UNRECOGNIZED SYNTAX I don't recognize this syntax.

record_builder.md:1:15:1:17:

{ Foo.Bar.baz <-

          ^^

This might be a syntax error, an unsupported language feature, or a typo.

MALFORMED TYPE This type annotation is malformed or contains invalid syntax.

record_builder.md:2:8:2:9:

    x: 5,

   ^

UNRECOGNIZED SYNTAX I don't recognize this syntax.

record_builder.md:2:9:2:10:

    x: 5,

    ^

This might be a syntax error, an unsupported language feature, or a typo.

MALFORMED TYPE This type annotation is malformed or contains invalid syntax.

record_builder.md:3:8:3:9:

    y: 0,

   ^

UNRECOGNIZED SYNTAX I don't recognize this syntax.

record_builder.md:3:9:3:10:

    y: 0,

    ^

This might be a syntax error, an unsupported language feature, or a typo.

UNUSED VARIABLE Variable x is not used anywhere in your code.

If you don't need this variable, prefix it with an underscore like _x to suppress this warning. The unused variable is declared here: record_builder.md:2:5:2:9:

    x: 5,

^^^^

UNUSED VARIABLE Variable y is not used anywhere in your code.

If you don't need this variable, prefix it with an underscore like _y to suppress this warning. The unused variable is declared here: record_builder.md:3:5:3:9:

    y: 0,

^^^^

TOKENS

OpenCurly,UpperIdent,NoSpaceDotUpperIdent,NoSpaceDotLowerIdent,OpBackArrow,
LowerIdent,OpColon,Int,Comma,
LowerIdent,OpColon,Int,Comma,
CloseCurly,
EndOfFile,

PARSE

(e-block
	(statements
		(e-ident (raw "Foo.Bar.baz"))
		(e-malformed (reason "expr_unexpected_token"))
		(s-type-anno (name "x")
			(ty-malformed (tag "ty_anno_unexpected_token")))
		(e-malformed (reason "expr_unexpected_token"))
		(s-type-anno (name "y")
			(ty-malformed (tag "ty_anno_unexpected_token")))
		(e-malformed (reason "expr_unexpected_token"))))

FORMATTED

{
	Foo.Bar.baz
	
	x : 
	
	y : 
	
}

CANONICALIZE

(e-block
	(s-expr
		(e-runtime-error (tag "qualified_ident_does_not_exist")))
	(s-expr
		(e-runtime-error (tag "expr_not_canonicalized")))
	(s-let
		(p-assign (ident "x"))
		(e-anno-only))
	(s-expr
		(e-runtime-error (tag "expr_not_canonicalized")))
	(s-let
		(p-assign (ident "y"))
		(e-anno-only))
	(e-runtime-error (tag "expr_not_canonicalized")))

TYPES

(expr (type "Error"))