From: Fernando Alegre <fernando@cc.gatech.edu>
To: malc <malc@pulsesoft.com>
Cc: Fernando Alegre <fernando@cc.gatech.edu>, caml-list@pauillac.inria.fr
Subject: Re: [Caml-list] possible typechecker bug
Date: Thu, 18 Sep 2003 22:06:09 -0400 [thread overview]
Message-ID: <20030919020609.GA25816@gaia.cc.gatech.edu> (raw)
In-Reply-To: <Pine.LNX.4.55.0309190600060.14534@home.oyster.ru>
On Fri, Sep 19, 2003 at 06:00:35AM +0400, malc wrote:
> http://caml.inria.fr/archives/200211/msg00058.html
Yes. This seems to be another instance of possibly the same bug. The
workaround suggested in your case was to add "and" between the types...
However, in our case, there is only one type, so I cannot add an "and"...
Can anyone suggest another workaround?
Thanks,
Fernando
-------------------
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-09-19 2:06 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-09-18 16:11 Fernando Alegre
2003-09-19 2:00 ` malc
2003-09-19 2:06 ` Fernando Alegre [this message]
2003-09-19 6:57 ` Julien Signoles
2003-09-19 8:01 ` [Caml-list] Commercial application written in O'Caml: ExcelEverywhere Mattias Waldau
2003-09-19 9:26 ` Benjamin Geer
2003-09-20 8:12 ` Damien Doligez
2003-09-19 11:10 ` skaller
2003-09-19 14:49 ` Richard Jones
2003-09-19 15:02 ` Remi Vanicat
2003-09-19 17:20 ` Karl Zilles
2003-09-20 19:25 ` skaller
2003-09-20 20:28 ` Benjamin Geer
2003-09-21 11:55 ` skaller
2003-09-21 15:01 ` [Caml-list] how can I print graphics on my local printer under Linux? PL
[not found] ` <20030921161556.GA451@swordfish>
2003-09-22 8:10 ` PL
2003-09-22 8:38 ` Basile Starynkevitch
2003-09-23 20:24 ` Christophe TROESTLER
2003-09-23 21:48 ` Pierre Weis
2003-09-22 9:21 ` Olivier Andrieu
2003-09-19 22:29 ` [Caml-list] Commercial application written in O'Caml: ExcelEverywhere Oleg Trott
2003-09-20 9:09 ` Mattias Waldau
2003-09-20 9:25 ` Jean-Marc Eber
2003-09-21 9:38 ` Xavier Leroy
2003-09-20 20:01 ` skaller
2003-09-20 19:58 ` skaller
2003-09-19 11:48 ` Ville-Pertti Keinonen
2003-09-20 18:53 ` skaller
2003-09-20 19:31 ` Alain.Frisch
2003-09-19 14:47 ` Richard Jones
2003-09-20 19:32 ` skaller
2003-09-19 16:23 ` kknowles
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=20030919020609.GA25816@gaia.cc.gatech.edu \
--to=fernando@cc.gatech.edu \
--cc=caml-list@pauillac.inria.fr \
--cc=malc@pulsesoft.com \
/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;
as well as URLs for NNTP newsgroup(s).