demexp-dev
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: 64 bits and CDuce (was: Re: [Demexp-dev] Swedish party to use demexp

From: David MENTRE
Subject: Re: 64 bits and CDuce (was: Re: [Demexp-dev] Swedish party to use demexp?)
Date: Mon, 2 Oct 2006 15:50:15 +0200 
Hi,

2006/10/2, ketty . <address@hidden>:

cduce -I [...]  -pp "cduce --mlstub" \
                -impl xml.cdo
The type for the value save is invalid
Expected Caml type:string -> xml_content -> unit
Expected CDuce type:Latin1 -> {
                              tags=[ [
-4611686018427387904--4611686018427387903
                                     Latin1 Byte* ]* ]


Ok, I'll try to work out a better definition.

Thanks for the bug report.

Best wishes,
d.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]