[
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-04-30 (16:47) |
| 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 .. >