roc/test/snapshots/bool_equality.md

META

description=Test Bool.True == Bool.True equality
type=snippet

SOURCE

test = Bool.True == Bool.True

EXPECTED

NIL

PROBLEMS

NIL

TOKENS

LowerIdent,OpAssign,UpperIdent,NoSpaceDotUpperIdent,OpEquals,UpperIdent,NoSpaceDotUpperIdent,
EndOfFile,

PARSE

(file
	(type-module)
	(statements
		(s-decl
			(p-ident (raw "test"))
			(e-binop (op "==")
				(e-tag (raw "Bool.True"))
				(e-tag (raw "Bool.True"))))))

FORMATTED

NO CHANGE

CANONICALIZE

(can-ir
	(d-let
		(p-assign (ident "test"))
		(e-binop (op "eq")
			(e-nominal-external
				(builtin)
				(e-tag (name "True")))
			(e-nominal-external
				(builtin)
				(e-tag (name "True"))))))

TYPES

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