From 97b3a9a0b586570d7d6dda66e1cd82ac30276381 Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Wed, 1 May 2019 10:17:26 -0400
Subject: [PATCH] subtyping for effect-free functions

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

diff --git a/racket/typed/core-types.rkt b/racket/typed/core-types.rkt
index 6585473..b17dcda 100644
--- a/racket/typed/core-types.rkt
+++ b/racket/typed/core-types.rkt
@@ -707,9 +707,9 @@
      [((~Actor τ1) (~Actor τ2))
       (and (<: #'τ1 #'τ2)
            (<: (∩ (strip-? #'τ1) #'τ2) #'τ1))]
-     [((~→ τ-in1 ... τ-out1) (~→ τ-in2 ... τ-out2))
-      #:when (stx-length=? #'(τ-in1 ...) #'(τ-in2 ...))
-      (and (stx-andmap <: #'(τ-in2 ...) #'(τ-in1 ...))
+     [((~→fn τ-in1 ... τ-out1) (~→fn τ-in2 ... τ-out2))
+      (and (stx-length=? #'(τ-in1 ...) #'(τ-in2 ...))
+           (stx-andmap <: #'(τ-in2 ...) #'(τ-in1 ...))
            (<: #'τ-out1 #'τ-out2))]
      [(~Discard _)
       #t]
@@ -739,7 +739,7 @@
                 (<: ty2 ty1))]
           [(== irrelevant)
            #t]))]
-     ;; TODO: clauses for Roles, and so on
+     ;; TODO: clauses for Roles, effectful functions, and so on
      [_
       #f]))