From: Olivier Ricordeau <olivier.ricordeau@wanadoo.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] weird compilation problem
Date: Sat, 06 Sep 2003 03:22:08 +0200 [thread overview]
Message-ID: <3F5936C0.60300@wanadoo.fr> (raw)
In-Reply-To: <16217.4592.508630.765966@karryall.dnsalias.org>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Olivier Andrieu wrote:
> Olivier Ricordeau [Saturday 6 September 2003] :
> > Hi!
> > I have a weird compilation problem. ocamlc complains that it doesn't
> > find a class, and I really don't know what mistake I made...
> > FYI, it used to compile fine until I tried to write some interfaces.
>
> > If someone has an idea of what I did wrong, I'm interested! I'm quite
> > stuck for now.
>
> [ je te l'ai déjà dit mais bon ... ]
>
> You're confusing class specification and class type.
>
> In corpus.ml you define a class, but in corpus.mli you put a class
> type. A class type gives a "signature" of a class, listing its methods
> and instance variable but a class type doesn't necessarily come with
> an implementation (an actual class). So, when you try to use your
> Corpus module, you only see a class type and you cannot create an
> object with new or define a derived class. What you want is a class
> specification.
>
>
> Class definition (in .ml files) :
> class foo = object method bar = some_expr end
>
> Class specification (in .mli files) :
> class foo : object method bar : some_type_expr end
>
> Class type (in .ml and/or .mli files) :
> class type foo = object method bar : some_type_expr end
>
>
> Also, you do not really need to write a .mli if you're not hiding
> anything from the .ml file.
>
It works! Thx a lot.
- --
- -= *Olivier RICORDEAU* =- http://freefolks.org
< LibNN addict http://libnn.org >
lynx -source http://freefolks.org/key.asc | gpg --import
olivier.ricordeau@wanadoo.fr _May the source be with you_
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)
iD8DBQE/WTa/DFRYKP6DJEwRAtNXAJ9uN1S4AHcy8MA42ctGi0tT4rCCaACghXxd
x3PeHeCE4uBeA/t9Xo9M7J0=
=TUBX
-----END PGP SIGNATURE-----
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
prev parent reply other threads:[~2003-09-06 1:22 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-09-05 22:09 Olivier Ricordeau
2003-09-05 22:45 ` Olivier Andrieu
2003-09-06 1:22 ` Olivier Ricordeau [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3F5936C0.60300@wanadoo.fr \
--to=olivier.ricordeau@wanadoo.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox