From: Markus Mottl <markus@mail4.ai.univie.ac.at>
To: Neale Pickett <neale@woozle.org>
Cc: OCAML <caml-list@inria.fr>
Subject: [Caml-list] Re: [OFF-LIST] Str.string_match raising Invalid_argument "String.sub" in gc
Date: Thu, 23 Aug 2001 22:01:49 +0200 [thread overview]
Message-ID: <20010823220149.C8319@chopin.ai.univie.ac.at> (raw)
In-Reply-To: <w5366be7fd0.fsf_-_@woozle.org>; from neale@woozle.org on Thu, Aug 23, 2001 at 12:20:27 -0700
On Thu, 23 Aug 2001, Neale Pickett wrote:
> Markus Mottl writes:
>
> > ./mytop -I /usr/lib/ocaml/contrib
>
> AHA! I wonder why it doesn't look here by default. Anyway, I now have
> a shell script wrapper which does the job nicely.
Hm, this could be a feature request: allow adding default include paths to
generated toplevels. This would surely save many people some headaches.
Interface files usually don't move after toplevel-generation anyway. Why
not just include the directories specified during toplevel generation
by default?
What do the developers think? Adding this feature should hardly cost
any time.
Regards,
Markus Mottl
--
Markus Mottl markus@oefai.at
Austrian Research Institute
for Artificial Intelligence http://www.oefai.at/~markus
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-08-23 20:01 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-08-22 18:53 [Caml-list] " neale-caml
2001-08-22 19:18 ` Alain Frisch
2001-08-22 20:41 ` Neale Pickett
2001-08-23 10:21 ` Frank Atanassow
2001-08-23 16:06 ` Neale Pickett
2001-08-23 16:25 ` Alain Frisch
2001-08-23 18:14 ` Neale Pickett
2001-08-22 20:23 ` Markus Mottl
2001-08-22 20:31 ` Miles Egan
2001-08-22 20:52 ` Michael Leary
2001-08-23 5:36 ` Jeremy Fincher
2001-08-22 22:06 ` Nicolas George
2001-08-23 7:08 ` [Caml-list] PCRE as standard (Was: Str.string_match raising Invalid_argument...) Florian Hars
2001-08-23 17:31 ` [Caml-list] Str.string_match raising Invalid_argument "String.sub" in gc Brian Rogoff
2001-08-23 18:08 ` [Caml-list] standard regex package Miles Egan
2001-08-23 19:28 ` Brian Rogoff
2001-08-23 19:49 ` Miles Egan
2001-08-23 19:51 ` Gerd Stolpmann
2001-08-23 21:12 ` Brian Rogoff
2001-08-23 21:27 ` Benjamin C. Pierce
2001-08-23 21:49 ` Gerd Stolpmann
2001-08-23 22:11 ` Miles Egan
2001-08-23 23:55 ` Gerd Stolpmann
2001-08-24 9:03 ` Claudio Sacerdoti Coen
2001-08-24 9:26 ` Sven
2001-08-27 15:46 ` [Caml-list] Package dependencies [Was: standard regex package] Ian Zimmerman
2001-08-27 20:50 ` Gerd Stolpmann
2001-08-24 9:23 ` [Caml-list] standard regex package Sven
2001-08-27 15:54 ` Ian Zimmerman
2001-08-30 8:41 ` Sven
2001-08-23 21:06 ` RE : " Lionel Fourquaux
2001-08-24 9:23 ` [Caml-list] dynamic loading and OS interface Xavier Leroy
2001-08-27 15:16 ` [Caml-list] standard regex package Ian Zimmerman
2001-08-27 15:35 ` Brian Rogoff
2001-08-24 9:13 ` Xavier Leroy
2001-08-24 10:16 ` Markus Mottl
2001-08-24 16:49 ` Miles Egan
[not found] ` <w533d6j1vxn.fsf@woozle.org>
[not found] ` <20010823112653.A7085@chopin.ai.univie.ac.at>
[not found] ` <w5366be7fd0.fsf_-_@woozle.org>
2001-08-23 20:01 ` Markus Mottl [this message]
2001-08-23 20:31 ` [Caml-list] Re: [OFF-LIST] Str.string_match raising Invalid_argument "String.sub" in gc Patrick M Doane
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=20010823220149.C8319@chopin.ai.univie.ac.at \
--to=markus@mail4.ai.univie.ac.at \
--cc=caml-list@inria.fr \
--cc=neale@woozle.org \
/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