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: Till Varoquaux <till.varoquaux@g...>
Subject: Two camlp4 bugs with constraints
_
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 .. >