Jacques Garrigue wrote:

> As long as you distribute the special runtime containing readline
> separately from the toplevel, this reasoning is OK. 

	Hang on! I already have libreadline.
I don't want INRIA to distribute it, just detect if I already
have it. If I do, I would like to be able to link it in
to the top level.

	Alternatively, why not build the toplevel
with ledit?

> But the first man making a custom toplevel is dead: 
> having both in the same file won't do.

	I am the one linking it into the toplevel, not INRIA.
It will have no impact on me, since I do not use the top
level for producing code (only for testing the occasional
small fragments).

	It's doubtful if the FSF licences mean much
anyhow. Python uses readline by default in its top level,
if available. There are lots of Python programs out there,
being run with a binary with readline linked in, which
are not licenced GPL, Python itself being an example.

> Even distributing libreadline inside the ocaml distribution might
> be a problem: 

	Please don't. 

-- 
John (Max) Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
checkout Vyper http://Vyper.sourceforge.net
download Interscript http://Interscript.sourceforge.net
-------------------
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