`:kind` can't work for `List*` and `List` (maybe more type-level expression)

[NoahStoryM]

What version of Racket are you using?

v8.3.0.8 [cs]

What program did you run?

> (:kind List*)
string:1:7: Type Checker: parse error in type;
 type name `List*' is unbound
  in: List*
 [,bt for context]
> (:kind List)
string:1:7: Type Checker: parse error in type;
 type name `List' is unbound
  in: List
 [,bt for context]

[NoahStoryM]

I'm not sure if this is normal for All:

> (:kind All)
string:1:7: Type Checker: parse error in type;
 type name `All' is unbound
  in: All
 [,bt for context]

[capfredf]

Thanks for the report. (:kind List) and (:kind List*) need special treatments. I forgot about it and I will fix it later this week.

All, on the other hand, is neither a type nor a type constructor. It is a syntax keyword for writing parametric types.