From c2715c445a44aa1f2936cef3445c70016fc1b08f Mon Sep 17 00:00:00 2001 From: David Thompson Date: Sun, 22 Jan 2023 21:39:29 -0500 Subject: Fix call annotation for multi-value functions. --- chickadee/graphics/seagull.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/chickadee/graphics/seagull.scm b/chickadee/graphics/seagull.scm index 143c5a0..2d002ed 100644 --- a/chickadee/graphics/seagull.scm +++ b/chickadee/graphics/seagull.scm @@ -997,7 +997,9 @@ (define (annotate:call operator args env) (define operator* (annotate-exp operator env)) (define args* (annotate:list args env)) - (texp (fresh-type-variables-for-list (texp-types operator*)) + (texp (fresh-type-variables-for-list + (function-type-returns + (single-type operator*))) `(call ,operator* ,@args*))) (define* (annotate:top-level bindings body env #:optional (result '())) -- cgit v1.2.3