diff options
| author | David Thompson <dthompson2@worcester.edu> | 2023-01-22 21:39:29 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2023-06-08 08:14:41 -0400 |
| commit | c2715c445a44aa1f2936cef3445c70016fc1b08f (patch) | |
| tree | cca7d24d8267b74fe9b7c79269df4650cc6edc60 | |
| parent | bd421255cb4ca4dec6312566e9bfa1456ef07bb3 (diff) | |
Fix call annotation for multi-value functions.
| -rw-r--r-- | chickadee/graphics/seagull.scm | 4 |
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 '())) |