Определить общие функции типа

Question

Учитывая следующий фрагмент кода:

type 
    Base = object of RootObj 
    Consume*[T: Base] = proc(e: T): bool 

Я хочу, чтобы определить несколько типов из базовой и базового потребителя для него, как это:

type 
    BaseOne = object of Base 
    ConsumeOne = Consume[BaseOne] 

Теперь, когда я создаю новый ConsumeOne:

let co: ConsumeOne = proc(b: BaseOne): bool = false 

Я получаю следующее сообщение об ошибке компилятора: Error: type mismatch: got (proc (b: BaseOne): bool{.gcsafe, locks: 0.}) but expected 'ConsumeOne'

Что я делаю неправильно?

Answer 1

Проблема заключается в том, что классовые тип ограничения для параметров типа в настоящее время не соответствуют подтипы; Я не знаю, является ли это ошибкой или преднамеренным. На данный момент просто удалите ограничение : Base из параметра типа T.

Answer 2

Может быть, это поможет сделать Потребляйте gcsafe:

Consume*[T: Base] = proc(e: T): bool {.gcsafe.}