Relax parsing of All types and type annotations

Closes PR 14839

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/colon.rkt

@@ -32,8 +32,6 @@
     [(: id (~and kw :) . more:omit-parens)
      (add-disappeared-use #'kw)
      (wrap stx #`(:-helper #,stx #,top-level? id more.type))]
-    [(: id : . more)
-     (wrap stx #`(:-helper #,stx #,top-level? id . more))]
     [(: e ...)
      (wrap stx #`(:-helper #,stx #,top-level? e ...))]))
 

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-classes.rkt

@@ -38,5 +38,5 @@
   ;;        or with #:fail-when. -- AT
   (pattern (~and (:->^ x y ~! z ...) (~fail))
            #:with type 'dummy)
-  (pattern (~and type ((~or (~once :->^) (~not :->^)) ...)))
+  (pattern (~and type ((~or (~between :->^ 1 +inf.0) (~not :->^)) ...)))
   (pattern (type)))

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt

@@ -41,4 +41,5 @@
   "filter-tests.rkt"
   "metafunction-tests.rkt"
   "generalize-tests.rkt"
-  "rep-tests.rkt")
+  "rep-tests.rkt"
+  "prims-tests.rkt")

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt

@@ -99,7 +99,11 @@
    [(-> (values Number Boolean Number)) (t:-> (-values (list N B N)))]
    [(Number -> Number) (t:-> N N)]
    [(All (A) Number -> Number) (-poly (a) (t:-> N N))]
+   [(All (A) Number -> Number -> Number) (-poly (a) (t:-> N (t:-> N N)))]
+   [(All (A) Number -> Number -> Number -> Number)
+    (-poly (a) (t:-> N (t:-> N (t:-> N N))))]
    [FAIL (All (A) -> Number Number)]
+   [FAIL (All (A) Listof Any)]
    [(All (A) (Number -> Number)) (-poly (a) (t:-> N N))]
    [(All (A) (-> Number Number)) (-poly (a) (t:-> N N))]
    [(All (A) A -> A) (-poly (a) (t:-> a a))]

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/prims-tests.rkt

@@ -0,0 +1,29 @@
+#lang racket/base
+
+;; Tests for Typed Racket primitive macros
+
+(require "test-utils.rkt"
+         (base-env base-types-extra)
+         (base-env prims)
+         rackunit
+         unstable/macro-testing)
+
+(provide tests)
+(gen-test-main)
+
+(define-syntax-rule (check-ok exp)
+  (check-not-exn (λ () (convert-compile-time-error exp))))
+(define-syntax-rule (check-bad exp regex)
+  (check-exn regex (λ () (convert-compile-time-error exp))))
+
+;; These tests don't run the type-checker, they just correct expansion
+;; and error checking in primitive macros
+(define tests
+  (test-suite "Prims tests"
+    (check-bad (let () (: x : Listof Any) 'dummy)
+               #rx"multiple types")
+    (check-bad (let () (: x : -> String String) 'dummy)
+               #rx"multiple types")
+    (check-ok (let () (: x : String -> String -> String)
+                      (define x 0)
+                      'dummy))))