Zitat von Jonathan T Bryant <jtbryant@valdosta.edu>:

> List,
>
> I don't understand the following typing:
>
> # type 'a t = Cond of bool t * 'a t * 'a t | Value of 'a;;
> type 'a t = Cond of bool t * 'a t * 'a t | Value of 'a
>
> # let rec f t = match t with
>       Cond (c,t,e) -> if f c then f t else f e
[...]
                       if [bool] then [bool] else [bool]

You have fixed the type here, because you have coupled them
together.

Ciao,
   Oliver