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