OCaml lỗi cú pháp trong khai báo kiểu

Question

Tôi mới đến OCaml và tôi không có đầu mối tại sao điều này đem lại cho tôi một lỗi cú pháp:

type ('nonterminal, 'terminal) pe = 
| Empty 
| T of t 
| N of n 
| Seq of list 
| Choose of list 
| Star of e 
| Not of e;; 

type ('nonterminal, 'terminal) pe_tree = 
| Is_empty 
| Leaf of t 
| Node of (n,tree) 
| Sequence of list 
| Repeat of list 
| Is_not of e;; 

Tất cả nó nói là có lỗi cú pháp ở dòng 14 ký tự 0 -1 (là nơi có số | Sequence of list) và tôi không thể hiểu tại sao!

Answer 1

type ('nonterminal, 'terminal) pe_tree = 
    | Is_empty 
    | Leaf of t 
    | Node of (n * tree) 
    | Sequence of list 
    | Repeat of list 
    | Is_not of e;; 

Bạn sử dụng * để xác định loại sản phẩm, như trong 'a * 'b. Mặc dù có lẽ không quá quan trọng bây giờ, bạn nên biết rằng Node of 'a * 'b và Node of ('a * 'b) là khác nhau. Bạn có thể coi chúng như là một loại biến thể với hai tham số, và một kiểu biến thể khác với một tham số (một tuple), tương ứng.

Có một vài thứ khác,

• bạn cần xác định những gì Sequence và Repeat là một danh sách.
• 'nonterminal và 'terminal không được sử dụng; trừ khi chúng dành cho các loại ma, mà tôi nghi ngờ nó, chúng có lẽ nên được sử dụng trong một phần của chữ ký.