language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-12-21 07:40:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
roc/test/snapshots/expr/lambda_simple.md
Richard Feldman a26b5ea217
from_nominal takes a Nominal
2025-11-23 01:22:01 -05:00

629 B
Raw Permalink Blame History

META

description=Lambda expression
type=expr

SOURCE

|x| x + 1

EXPECTED

NIL

PROBLEMS

NIL

TOKENS

OpBar,LowerIdent,OpBar,LowerIdent,OpPlus,Int,
EndOfFile,

PARSE

(e-lambda
	(args
		(p-ident (raw "x")))
	(e-binop (op "+")
		(e-ident (raw "x"))
		(e-int (raw "1"))))

FORMATTED

NO CHANGE

CANONICALIZE

(e-lambda
	(args
		(p-assign (ident "x")))
	(e-binop (op "add")
		(e-lookup-local
			(p-assign (ident "x")))
		(e-num (value "1"))))

TYPES

(expr (type "a -> a where [a.from_numeral : Numeral -> Try(a, [InvalidNumeral(Str)])]"))