summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Thompson <dthompson2@worcester.edu>2023-01-22 21:39:29 -0500
committerDavid Thompson <dthompson2@worcester.edu>2023-06-08 08:14:41 -0400
commitc2715c445a44aa1f2936cef3445c70016fc1b08f (patch)
treecca7d24d8267b74fe9b7c79269df4650cc6edc60
parentbd421255cb4ca4dec6312566e9bfa1456ef07bb3 (diff)
Fix call annotation for multi-value functions.
-rw-r--r--chickadee/graphics/seagull.scm4
1 files changed, 3 insertions, 1 deletions
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 '()))