example with more MetaVars

gelisam · Feb 3, 2025 · 1253377 · 1253377
1 parent 45d119e
commit 1253377
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/examples/non-examples/type-errors/not-a-function.golden b/examples/non-examples/type-errors/not-a-function.golden
@@ -1,2 +1,2 @@
 Type mismatch at not-a-function.kl:3.11-3.13.
-Expected (Integer → ?1) but got Integer
+Expected (Integer → (?1 → ?2)) but got Integer
diff --git a/examples/non-examples/type-errors/not-a-function.kl b/examples/non-examples/type-errors/not-a-function.kl
@@ -1,3 +1,3 @@
-#lang kernel
+#lang "prelude.kl"
 
-(example (42 23))
+(example (42 4 2))