未绑定类型，即使有forall

Question

有人能告诉我这个定义有什么问题：

> (define #:forall (A)
 (kmp-search [pattern : (Vectorof A)]
             [text : (Vectorof A)]
             [next-offset : Integer 0]) : Integer
  3)
. Type Checker: parse error in type;
type name `A' is unbound in: A

Answer 1

我建议提交错误报告。

与此同时，我建议使用以下语法：

channel