Синтаксическая ошибка в бинарном дереве поиска в ocaml - PullRequest
Новая
       13

Синтаксическая ошибка в бинарном дереве поиска в ocaml

0 голосов
/ 16 февраля 2020 
type (ty1,ty2) btree = Empty
  | Node of (ty1,ty2) * (ty1,ty2) btree * (ty1,ty2) btree;;

Вот мой код для написания конструктора. запишите выражения OCaml типа (ty1,ty2) tree для подходящих типов ty1 и ty2, представляющих интересующие нас деревья. 

When I run that 
7 | type (ty1,ty2) btree = Empty
          ^^^
Error: Syntax error

1 Ответ

1 голос
/ 16 февраля 2020

Переменные типа должны начинаться с апострофом ', чтобы отличать guish их от конкретных типов.

Синтаксис для первого параметра Node также недопустим , Я предполагаю, что вы хотите, чтобы это был кортеж: 

type ('ty1, 'ty2) btree = Empty
  | Node of ('ty1 * 'ty2) * ('ty1, 'ty2) btree * ('ty1, 'ty2) btree;;
...