* Two camlp4 bugs with constraints
@ 2007-04-30 16:47 Till Varoquaux
2007-05-11 5:22 ` Nicolas Pouillard
0 siblings, 1 reply; 2+ messages in thread
From: Till Varoquaux @ 2007-04-30 16:47 UTC (permalink / raw)
To: ocaml ml; +Cc: nicolas.pouillard
_
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 .. >
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Two camlp4 bugs with constraints
2007-04-30 16:47 Two camlp4 bugs with constraints Till Varoquaux
@ 2007-05-11 5:22 ` Nicolas Pouillard
0 siblings, 0 replies; 2+ messages in thread
From: Nicolas Pouillard @ 2007-05-11 5:22 UTC (permalink / raw)
To: Till Varoquaux; +Cc: ocaml ml
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2007-05-11 5:22 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-04-30 16:47 Two camlp4 bugs with constraints Till Varoquaux
2007-05-11 5:22 ` Nicolas Pouillard
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox