roc/test/snapshots/can_hex_integer.md

META

description=Hexadecimal integer literal type inference
type=snippet

SOURCE

x = 0xFF

EXPECTED

NIL

PROBLEMS

NIL

TOKENS

LowerIdent,OpAssign,Int,
EndOfFile,

PARSE

(file
	(type-module)
	(statements
		(s-decl
			(p-ident (raw "x"))
			(e-int (raw "0xFF")))))

FORMATTED

NO CHANGE

CANONICALIZE

(can-ir
	(d-let
		(p-assign (ident "x"))
		(e-num (value "255"))))

TYPES

(inferred-types
	(defs
		(patt (type "a where [a.from_numeral : Numeral -> Try(a, [InvalidNumeral(Str)])]")))
	(expressions
		(expr (type "a where [a.from_numeral : Numeral -> Try(a, [InvalidNumeral(Str)])]"))))