From cd951ca633e99c2c66de08936660cad43e0227e6 Mon Sep 17 00:00:00 2001 From: tinger Date: Sun, 2 Jun 2024 18:19:30 +0200 Subject: [PATCH] Fix type mismatch error message --- src/base-type.typ | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/base-type.typ b/src/base-type.typ index 5a10270..7eea03b 100644 --- a/src/base-type.typ +++ b/src/base-type.typ @@ -43,7 +43,7 @@ it, scope: scope, ctx: ctx, - message: "Expected " + types.join( + message: "Expected " + self.types.map(repr).join( ", ", last: " or ", ) + ". Got " + type(it), @@ -113,4 +113,4 @@ assert(ctx.soft-error, message: display) }, ) -} \ No newline at end of file +}