Version française
Home     About     Download     Resources     Contact us    
Browse thread
Two camlp4 bugs with constraints
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: Two camlp4 bugs with constraints
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