errore di sintassi OCaml nella dichiarazione di tipo

Question

Sono nuovo di OCaml e non ho indizio perché questo mi sta dando un errore di sintassi:

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

Tutto quello che sta dicendo è che c'è un errore di sintassi on line 14 caratteri 0 -1 (che è dove | Sequence of list è) e non riesco a capire perché!

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

si utilizza * per definire i tipi di prodotti, come in 'a * 'b. Anche se probabilmente non è troppo importante ora, dovresti sapere che Node of 'a * 'b e Node of ('a * 'b) sono diversi. Puoi considerarli come un tipo di variante con due parametri, e l'altro un tipo di variante con un parametro (una tupla), rispettivamente.

ci sono alcune altre cose,

• è necessario definire cosa Sequence e Repeat sono un elenco di.
• 'nonterminal e 'terminal non sono utilizzati; a meno che non siano per tipi di fantasmi, che ne dubito, probabilmente dovrebbero essere usati in parte della firma.