[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-05-11 (05:22) |
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