From 86258acc6ccd51649ac7277c5e691c560d3429d9 Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Wed, 26 Feb 2020 14:50:08 -0500
Subject: [PATCH] improve function application error messages

---
 racket/typed/core-types.rkt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/racket/typed/core-types.rkt b/racket/typed/core-types.rkt
index 957b3f7..8bb895f 100644
--- a/racket/typed/core-types.rkt
+++ b/racket/typed/core-types.rkt
@@ -1386,6 +1386,8 @@
                                                    (~Endpoints τ-ep ...)
                                                    (~Roles τ-f ...)
                                                    (~Spawns τ-s ...))))]
+   ;; TODO - don't know why this cut is needed for error messages
+   #:cut
    #:fail-unless (pure? #'e_fn-) "expression not allowed to have effects"
    #:fail-unless (stx-length=? #'[τ_in ...] #'[e_arg ...])
                  (num-args-fail-msg #'e_fn #'[τ_in ...] #'[e_arg ...])