From 12533777a37a831367ad384d3fae35372e5d339b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Samuel=20G=C3=A9lineau?= Date: Sun, 2 Feb 2025 23:59:54 -0500 Subject: [PATCH] example with more MetaVars --- examples/non-examples/type-errors/not-a-function.golden | 2 +- examples/non-examples/type-errors/not-a-function.kl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/non-examples/type-errors/not-a-function.golden b/examples/non-examples/type-errors/not-a-function.golden index 8df9f32..61cfe15 100644 --- 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 index 6f30e93..2f74786 100644 --- 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))