typo in parse-type.rkt (#1348)

racket · Nov 22, 2023 · f8307b2 · f8307b2
1 parent 8c55c1f
commit f8307b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/typed-racket-lib/typed-racket/private/parse-type.rkt b/typed-racket-lib/typed-racket/private/parse-type.rkt
@@ -1409,7 +1409,7 @@
                               rator)])]
            [else Err])]
         [(id args ...)
-         (parse-error "bad syntax in type application: only an identifiers can be used as an operator")]
+         (parse-error "bad syntax in type application: only an identifier can be used as an operator")]
         [t:atom
          ;; Integers in a "grey area", that is, integers whose runtime type is
          ;; platform-dependent, cannot be safely assigned singleton types.