001.md

META

description=Example to develop the snapshot methodology, includes FORMATTED section
type=snippet

SOURCE

foo =

    "one"

EXPECTED

NIL

PROBLEMS

NIL

TOKENS

LowerIdent,OpAssign,
StringStart,StringPart,StringEnd,
EndOfFile,

PARSE

(file
	(type-module)
	(statements
		(s-decl
			(p-ident (raw "foo"))
			(e-string
				(e-string-part (raw "one"))))))

FORMATTED

foo = 

	"one"

CANONICALIZE

(can-ir
	(d-let
		(p-assign (ident "foo"))
		(e-string
			(e-literal (string "one")))))

TYPES

(inferred-types
	(defs
		(patt (type "Str")))
	(expressions
		(expr (type "Str"))))