SOURCE

main! = |arg1, arg2| {
    arg1
}

EXPECTED

UNUSED VARIABLE - default_app_wrong_arity.md:1:16:1:20 MAIN! SHOULD TAKE 1 ARGUMENT - default_app_wrong_arity.md:1:1:3:2

PROBLEMS

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

If you don't need this variable, prefix it with an underscore like _arg2 to suppress this warning. The unused variable is declared here: default_app_wrong_arity.md:1:16:1:20:

main! = |arg1, arg2| {

           ^^^^

MAIN! SHOULD TAKE 1 ARGUMENT main! is defined but has the wrong number of arguments. main! should take 1 argument.

Found 2 arguments.

Change it to: main! = |arg| { ... } default_app_wrong_arity.md:1:1:3:2:

main! = |arg1, arg2| {
    arg1
}

TOKENS

LowerIdent,OpAssign,OpBar,LowerIdent,Comma,LowerIdent,OpBar,OpenCurly,
LowerIdent,
CloseCurly,
EndOfFile,

PARSE

(file
	(type-module)
	(statements
		(s-decl
			(p-ident (raw "main!"))
			(e-lambda
				(args
					(p-ident (raw "arg1"))
					(p-ident (raw "arg2")))
				(e-block
					(statements
						(e-ident (raw "arg1"))))))))

FORMATTED

main! = |arg1, arg2| {
	arg1
}

CANONICALIZE

(can-ir
	(d-let
		(p-assign (ident "main!"))
		(e-lambda
			(args
				(p-assign (ident "arg1"))
				(p-assign (ident "arg2")))
			(e-block
				(e-lookup-local
					(p-assign (ident "arg1")))))))

TYPES

(inferred-types
	(defs
		(patt (type "a, _arg -> a")))
	(expressions
		(expr (type "a, _arg -> a"))))

1.6 KiB Raw Permalink Blame History

META