Re: [Caml-list] Re: ledit and the ocaml wrapper ...

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[Johann Spies]

Markus Mottl <markus@mail4.ai.univie.ac.at> writes:


> If for some reason you can't get ledit to work, you might want to try
> "ile" (Input Line Editor) instead:
> 
>   http://www.ai.univie.ac.at/~markus/ocaml_sources/ile-2.7.tar.gz

Thanks.  It works without a problem using "ile ocaml".

Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> wrote:

> Which ocaml? Did you make some alias for ocaml? Or some shell script
> calling the right ocaml command?

The ocaml toplevel.
-----------------------
$ ocaml 
        Objective Caml version 3.01

# 
-----------------------------

Regards

Johann
-- 
Johann Spies          Telefoon: 021-808 4036
Informasietegnologie, Universiteit van Stellenbosch

     "For the Lord himself shall descend from heaven with a 
      shout, with the voice of the archangel, and with the 
      trump of God; and the dead in Christ shall rise first;
      Then we which are alive and remain shall be caught 
      up together with them in the clouds, to meet the Lord 
      in the air; and so shall we ever be with the Lord."   
                          I Thessalonians 4:16,17 
-------------------
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

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[Johann Spies]

Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> writes:


> This does not proove me that your ocaml command is not an alias or a
> specific shell script indirectly calling ocaml. Do you have the same
> problem with other interactive commands? (e.g. ledit dc)

ledit works with rpncalc and it does not produce an error with python
although the behaviour with python is a bit abnormal.

Regards.

Johann
-- 
Johann Spies          Telefoon: 021-808 4036
Informasietegnologie, Universiteit van Stellenbosch

     "For yourselves know perfectly that the day of the Lord
      so cometh as a thief in the night. For when they shall
      say, Peace and safety; then sudden destruction cometh 
      upon them, as travail upon a woman with child; and 
      they shall not escape."      I Thessalonians 5:2,3 
-------------------
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

[Caml-list] Re: ledit and the ocaml wrapper ...

[Ian Zimmerman]

Sven> But i would like to have your opinion on that. Which ones of you
Sven> use ledit, and if you sue, how do you invoke it ?

I don't.  If line editing is important, I use the Emacs inferior-caml
mode. 

-- 
Ian Zimmerman, Oakland, California, U.S.A.
EngSoc adopts market economy: cheap is wasteful, efficient is expensive.
GPG pub key: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087
-------------------
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

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[John Max Skaller]

> Sven> But i would like to have your opinion on that. Which ones of you
> Sven> use ledit, and if you sue, how do you invoke it ?

	I use ledit when I remember, invoked from the command line:

	ledit ocaml

I still forget often though, because I only use the top level
for checking out how Ocaml deals with cases which I 
don't understand: eg.I played a bit recently trying to
figure out how polymorphic variants worked.

Since I can't type very well ( in both senses :-),
I usually quit 'ocaml' when I forget ledit, and start
again using it. Before I had ledit, I avoided using
'ocaml' tool almost completely.

-- 
John (Max) Skaller, mailto:skaller@maxtal.com.au 
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
New generation programming language Felix  http://felix.sourceforge.net
Literate Programming tool 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

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[Johann Spies]

John Max Skaller <skaller@maxtal.com.au> writes:

> > Sven> But i would like to have your opinion on that. Which ones of you
> > Sven> use ledit, and if you sue, how do you invoke it ?
> 
> 	I use ledit when I remember, invoked from the command line:
> 
> 	ledit ocaml

I don't know whether I missed the solution to the question about
invoking ledit in this thread but this is what I get both on xterm and
the console:

-------------------
$ ledit ocaml
Error: standard input is not a terminal
-------------------

Any other solution?


Johann
-- 
Johann Spies          Telefoon: 021-808 4036
Informasietegnologie, Universiteit van Stellenbosch

     "For the Lord himself shall descend from heaven with a 
      shout, with the voice of the archangel, and with the 
      trump of God; and the dead in Christ shall rise first;
      Then we which are alive and remain shall be caught 
      up together with them in the clouds, to meet the Lord 
      in the air; and so shall we ever be with the Lord."   
                          I Thessalonians 4:16,17 
-------------------
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

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[Daniel de Rauglaudre]

Hi,

On Tue, Aug 21, 2001 at 10:52:17AM +0200, Johann Spies wrote:

> -------------------
> $ ledit ocaml
> Error: standard input is not a terminal
> -------------------

Which ocaml? Did you make some alias for ocaml? Or some shell script calling
the right ocaml command?

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
-------------------
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

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[Markus Mottl]

On Tue, 21 Aug 2001, Johann Spies wrote:
> I don't know whether I missed the solution to the question about
> invoking ledit in this thread but this is what I get both on xterm and
> the console:
[snip]
> Any other solution?

If for some reason you can't get ledit to work, you might want to try
"ile" (Input Line Editor) instead:

  http://www.ai.univie.ac.at/~markus/ocaml_sources/ile-2.7.tar.gz

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

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[John Max Skaller]

Johann Spies wrote:
 
> I don't know whether I missed the solution to the question about
> invoking ledit in this thread but this is what I get both on xterm and
> the console:
> 
> -------------------
> $ ledit ocaml
> Error: standard input is not a terminal
> -------------------

	Hmm: works for me on both a GNOME terminal,
and also a spawned xterm. (Linux running Enlightenment as the WM).
Try

	tty
	stty -a

to see what device is being used? (stty -a mightn't work on SunOS).

-- 
John (Max) Skaller, mailto:skaller@maxtal.com.au 
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
New generation programming language Felix  http://felix.sourceforge.net
Literate Programming tool 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

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[Sven]

On Tue, Aug 21, 2001 at 10:52:17AM +0200, Johann Spies wrote:
> John Max Skaller <skaller@maxtal.com.au> writes:
> 
> > > Sven> But i would like to have your opinion on that. Which ones of you
> > > Sven> use ledit, and if you sue, how do you invoke it ?
> > 
> > 	I use ledit when I remember, invoked from the command line:
> > 
> > 	ledit ocaml
> 
> I don't know whether I missed the solution to the question about
> invoking ledit in this thread but this is what I get both on xterm and
> the console:
> 
> -------------------
> $ ledit ocaml
> Error: standard input is not a terminal

Sorry, i was not able to upload a fixed version of the package these days,
will do today.

Anyway, ocaml was in ledit 1.10-1 a wrapper around the true ocaml, typing
ledit ocaml.real would have fixed your problem. But then i will now remove the
wrapper, and this should no more be a problem.

Friendly,

Sven Luther
-------------------
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

Re: [Caml-list] Re: ledit and the ocaml wrapper ...

[Johann Spies]

Sven <luther@dpt-info.u-strasbg.fr> writes:

> On Tue, Aug 21, 2001 at 10:52:17AM +0200, Johann Spies wrote:

... 

> Anyway, ocaml was in ledit 1.10-1 a wrapper around the true ocaml,
> typing ledit ocaml.real would have fixed your problem. But then i
> will now remove the wrapper, and this should no more be a problem.

Thanks Sven. Now I can use it.

Regards


Johann
-- 
Johann Spies          Telefoon: 021-808 4036
Informasietegnologie, Universiteit van Stellenbosch

     "For yourselves know perfectly that the day of the Lord
      so cometh as a thief in the night. For when they shall
      say, Peace and safety; then sudden destruction cometh 
      upon them, as travail upon a woman with child; and 
      they shall not escape."      I Thessalonians 5:2,3 
-------------------
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