Hi,
this is another bug in camlp5. To trigger it it is sufficient to
compile with ocamlc -pp camlp5o the two following files:
bug.mli:
val find: ?test:string -> unit
bug.ml:
let find ?(test = "hello") = assert false
Therefore the bug needs to be re-assigned to camlp5.
I will now contact
Hi Enrico,
On 20/01/2016 11:15, Enrico Tassi wrote:
> On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote:
>> Package: src:matita
>> Version: 0.99.1-3
>> Severity: serious
>>
>> Dear Maintainer,
>
> This bugs is due to camlp5 and fixed in
> caca3dd0643ec5aae9df4399fa73eb280808ef18
>
>
On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote:
> Package: src:matita
> Version: 0.99.1-3
> Severity: serious
>
> Dear Maintainer,
This bugs is due to camlp5 and fixed in
caca3dd0643ec5aae9df4399fa73eb280808ef18
see https://gforge.inria.fr/projects/camlp5/
Best,
--
Enrico Tassi
Package: src:matita
Version: 0.99.1-3
Severity: serious
Dear Maintainer,
Your package fails to build from source. Here is an excerpt from the
build
log:
OCAMLOPT nCic.ml
File "nCic.ml", line 142, characters 11-460:
Error: This class type should be virtual.
The following variables
4 matches
Mail list logo
