即使有FORALL

Question

未綁定類型

有人可以讓我知道什麼是錯的FORALL確定指標：

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

我建議提交錯誤報告。

在此同時，我建議使用此語法：

(: kmp-search : (All (A) (Vectorof A) (Vectorof A) Integer -> Integer)) 
(define (kmp-search pattern text [next-offset 0]) 
    3)