未绑定类型,即使有forall

时间:2016-08-19 09:47:04

标签: racket typed-racket

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

> (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

1 个答案:

答案 0 :(得分:2)

我建议提交错误报告。

与此同时,我建议使用以下语法:

channel