From: Pierre Weis <pierre.weis@inria.fr>
To: vsl@ontil.ihep.su (Vitaly Lugovsky)
Cc: pierre.weis@inria.fr, garrigue@kurims.kyoto-u.ac.jp, caml-list@inria.fr
Subject: Re: [Caml-list] Strange error message
Date: Mon, 20 Jan 2003 17:06:37 +0100 (MET) [thread overview]
Message-ID: <200301201606.RAA17007@pauillac.inria.fr> (raw)
In-Reply-To: <Pine.LNX.4.52L.0301201716030.1056@ontil.ihep.su> from Vitaly Lugovsky at "Jan 20, 103 05:17:48 pm"
> On Sun, 19 Jan 2003, Pierre Weis wrote:
>
> > In particular, I think that the question ``What means '_a ?''
> > from the
> > "EXPERT" FAQ could be relevant to your problem :)
>
> No. Sorry. I still don't understand. Why there is a *wrong* type
> specification in .cmi? If it's '_a, why it's 'a in .cmi?
It is impossible to understand without some more context.
Could you delete all the .cmi and .cmo files and try to compile your
application to get the same strange error message again ? (Could you
also give us the complete listing of the commands you used ?)
Regards,
Pierre Weis
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/
-------------------
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
next prev parent reply other threads:[~2003-01-20 16:06 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-15 19:49 Vitaly Lugovsky
2003-01-16 7:48 ` Jacques Garrigue
2003-01-19 14:52 ` Pierre Weis
2003-01-20 14:17 ` Vitaly Lugovsky
2003-01-20 16:06 ` Pierre Weis [this message]
2003-01-21 23:51 ` Jacques Garrigue
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=200301201606.RAA17007@pauillac.inria.fr \
--to=pierre.weis@inria.fr \
--cc=caml-list@inria.fr \
--cc=garrigue@kurims.kyoto-u.ac.jp \
--cc=vsl@ontil.ihep.su \
/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