On Mon, 2008-09-22 at 22:41 +0200, David MENTRE wrote:
> Hello,
>
> I'm trying to compile an OCaml program I haven't written. I'm compiling
> it on an Ubuntu 8.04, OCaml 3.10.0.
>
> The compilation fails with following error:
> """
> ocamlopt -pp "camlp4o pa_op.cmo" -I src -c
>>> cat test.ml
class type ['a] a =
object
method v: 'a
end
and b =
object
inherit [int] a
end
and c =
object
inherit [float] a
end
===
File "test.ml", line 15, characters 13-18:
The type parameter float does not meet its constraint: it should be int
--
Thanks. It's what I need.
On Thu, 2008-09-11 at 14:56 +0200, Nicolas Pouillard wrote:
> Excerpts from SerP's message of Thu Sep 11 14:15:59 +0200 2008:
> > On Thu, 2008-09-11 at 13:00 +0100, Jeremy Yallop wrote:
> > > Quoting ?? ??? <[EMAIL PROTECTED]>:
> > > > Exitst any way to do such th
On Thu, 2008-09-11 at 13:00 +0100, Jeremy Yallop wrote:
> Quoting ?? ??? <[EMAIL PROTECTED]>:
> > Exitst any way to do such things?
> >
> > --
> > let t = <:ctyp> in
> > <:str_item>
>
> I think that you're looking for this:
>
> let t = <:expr< <:ctyp> >> in
> <:str_item>
On Thu, 2008-09-11 at 13:02 +0100, David Teller wrote:
> On Thu, 2008-09-11 at 14:16 +0400, Сергей Плаксин wrote:
> > Exitst any way to do such things?
> >
> > --
> > let t = <:ctyp> in
> > <:str_item>
> >
> > ||
&g
Sorry for my bad english.
I'am write camlp4 parser.
Correct code:
-
<:str_item>>>
this will be converted to:
let a = Ast.TyId (_loc, Ast.IdLid (_loc, "int"));
---
Exitst any way to do such things?
--
let t = <:ctyp> in
<:str_item>
||
-
let t = Ast.TyId (_l