On 4/30/07, Till Varoquaux <till.varoquaux@gmail.com> wrote:
> _
> type 'a p = 'b
> constraint 'a = < b : 'b>
>
> is translated to:
>
> type 'a p constraint 'a = < b : 'b >
>
>
> _There is also a bug in the prettyprinter:
>
> type 'a p = int
> constraint 'a = < b : 'b; ..>
> is printed as: (note the missing semi-colomn)
> type 'a p = int constraint 'a = < b : 'b .. >

These two bugs are fixed now.

Regards,

-- 
Nicolas Pouillard