headers
Emmanuel.Chailloux | 7 Feb 1994 10:58
Picon
Picon
Favicon

MLgraph


The MLgraph library  (a library to produce images in Caml Light, based on the
PostScript model) is now running on the version 0.5 or 0.6 of Caml Light.

It is available by anonymous FTP from

        host: ftp.ens.fr
        library files : /pub/unix/lang/MLgraph/binaries
        documentation files: /pub/unix/lang/MLgraph/documentations
        example files : /pub/unix/lang/MLgraph/examples

Please send your questions and comments to mlgraph <at> ens.fr

-- Guy Cousineau
-- Emmanuel Chailloux
Permalink | Reply | 0 comments |
headers
Jairo A. Medina | 10 Feb 1994 10:22
Picon
Favicon

line editor for camllight

	Hola:

		Do you know where can i find a line editor for camllight?.
if you do, or you have it could you please tell me?

		I  have bash, does bash works, how?.

					Thanks,
--

-- 
  Jairo A. Medina
  UNIVERSIDAD SIMON BOLIVAR      e-mail: jairo <at> cesma.usb.ve Jairo.Medina <at> usb.ve
  Mat. Puras y Aplicadas CESMA.  voz   : 58-2-9063233 9063234
  Apartado postal 89000          fax   : 58-2-9063232
  Caracas-Venezuela

                          From the Tropic.
Permalink | Reply | 0 comments |
headers
Xavier Leroy | 10 Feb 1994 20:25
Picon

Re: line editor for camllight

> 	Hola:
> 		Do you know where can i find a line editor for camllight?.
> if you do, or you have it could you please tell me?
> 		I  have bash, does bash works, how?.

No, bash has a fine line editor, but only to edit its own command
lines; the line editor is not active when you run another command such
as camllight.

I suggest fep (ftp.inria.fr:system/user/fep.tar.Z). Last time I
checked out, it worked fine with camllight.

Hasta la vista,

- Xavier Leroy
Permalink | Reply | 0 comments |
headers
Xavier Leroy | 10 Feb 1994 20:47
Picon

Re: Uncaught exception: Out_of_memory

> #t2list c;;
> Uncaught exception: Out_of_memory
>
> 	How can i increase the memory handled by the camllight system?

Caml Light has (almost) no "hard" limits on memory: it will allocate
as much as needed, unless the memory resources of the machine are
exhausted. On a Unix machine without soft limits or memory quotas,
this means the whole swap space, and there's not much you can do to go
beyond that limit.

Most often, the "Out_of_memory" error is caused by a looping program,
e.g. a non-terminating recursion that causes the stacks to grow
infinitely. (See the discussion at the end of the chapter on the
runtime system in the Caml Light manual.)

Another likely cause is trying to allocate a string or array of an
unreasonable size.

Try to trace some of your functions to see what's going on.

Regards,

- Xavier Leroy
Permalink | Reply | 0 comments |
headers
(Claude Diderich | 11 Feb 1994 01:00
Picon
Picon

Re: line editor for camllight

Concerning editing one line in CAML-Light, wouldn't it be possibe to
have a compile time option that allows the user who has GNU readline
to use this one instead of the standard gets, or whatever is used.

Claude
-----------------------------------------------------------------------------
Claude G. Diderich                              PGP V2.3 public key available
Swiss Federal Institute of Technology, Lausanne -----------------------------
Department of Computer Science                  Fields of interest:
Computer Science Theory Laboratory              - Complexity theory
CH-1015 Lausanne (Switzerland - Europe)         - Combinatorial optimization 
Phone: (021)/693-52-86                          - Parallel computations
E-mail: diderich <at> di.epfl.ch			- Lambda calculus
-----------------------------------------------------------------------------
Permalink | Reply | 0 comments |
headers
Vijay Saravane | 16 Feb 1994 09:36
Picon
Picon

lexer parser fortran77

Bonjour, 
je cherche : 
  - une grammaire du langage Fortran77 
  - + le lexer et le parser associe
Si possible en CAMLLIGHT et en utilisant "camllex" et "camlyacc".
Mais toute autre implementation dans un autre langage (SML ...) me
depannerait.

Je cherche egalement des exemples d'utilisation de "camllex" et de "camlyacc";
i.e les ".mll", ".mly", ".ml" pour un exemple donne.

Ou puis je trouver tout cela ?

      Merci d'avance

Mon adresse mail : saravane <at> tls-cs.cert.fr
Permalink | Reply | 0 comments |
headers
Francisco Valverde Albacete | 16 Feb 1994 10:54
Picon
Picon
Favicon

Some questions and proposals...

Hello mailing list,

	I hope you don't get discouraged when you see the number of question I
address you...

	1) Has anybody developed a module for trees with a variable number of
	branches? If so, can I borrow it?

		My own solution comes from Reade's:

	(* Variable trees *)
	type 'a vtree = Vtree of 'a * 'a vtree list;;

	type 'a forest = 'a vtree list;;

	though, for the sake of efficient updating I have used mutables in the
	design (yes, the nasty "can't generalize type.." etc.

		I would also thank any ideas for the functionals around the
	base type. I have already done some: it_vtree, exists_vtree,
	for_all_vtree, do_vtree in the spirit of their list counterparts...

	OOPS, I must say I'm coding it in CAML (Heavy)!

	2) This is a question mainly to CAML and Camllight implementors: has
	anybody thought of a way to migrate in an automatic, or at least semi-
	automatic way, modules from one of the systems to the other? I have this
	huge quantity of modules in CAML wanting to be compiled in Camllight...!

	3) Finally (or so I think), I guess many of us have types and functions
(Continue reading)

Permalink | Reply | 1 comment |
headers
Christophe Raffalli | 16 Feb 1994 14:26
Picon
Picon

Times in camllight


I am trying to use the times function from the unix library. I remark quite
big variation (for utime, stime and the sum) when I measure many times the same
computation (starting myself a gc with "gc();gc();" before each computation).

Here is an example of this variation :

unification : times = 1.01666666667+0.133333333333=1.15
unification : times = 0.666666666667+0.15=0.816666666667
unification : times = 1.13333333333+0.166666666667=1.3
unification : times = 1.01666666667+0.233333333333=1.25
unification : times = 0.65+0.116666666667=0.766666666667

min = 0.766666666667
max = 1.3

!!!

Why ???

Christophe

--
----------------------------------------------------------
Christophe Raffalli
e-mail: cr <at> dcs.ed.ac.uk

L.F.C.S. (Laboratory for Fundation of Computer Science)
Department of Computer Science, University of Edinburgh
King's Building, Mayfield Road, Edinburgh EH9 3JZ
(Continue reading)

Permalink | Reply | 0 comments |
headers
Didier Remy | 17 Feb 1994 15:58
Picon
Picon
Favicon

CFP-ML'94

Newsgroups: news.announce.conferences,comp.lang.ml,comp.lang.functional
Distribution: world
From: Didier.Remy <at> inria.fr
Organization: INRIA-Rocquencourt, France
Subject: CFP -- ML'94 workshop (June 1994)

                   Last CALL FOR PAPERS --- ML'94

          ACM SIGPLAN Workshop on ML and its Applications

                      June 25-26, 1994
                      Orlando, Florida
	      (Held in conjunction with PLDI and LFP)

Short abstracts of no  more  than four  pages in length are sought on
topics relating to the ML language.  Contributions on applications,
programming methodology, and system-building experience are particularly
welcome, but the workshop will also cover issues of language design,
semantics, implementation, programming tools and environments for ML.

Authors are encouraged to submit their abstracts to the Program Chair
via electronic mail; either Postscript or a self-contained TeX or LaTeX
file is acceptable. If electronic submission is not possible, then
please submit 6 printed copies of the abstract to the Program Chair
at the address below.  The deadline for abstracts is February 25, 1994.
Authors will be notified  of acceptance or rejection by April 8, 1994.
Final version  of accepted papers must be received in camera-ready form
by May 6, 1994.

This is the fifth in a series of workshops on ML, and the second sponsored
(Continue reading)

Permalink | Reply | 0 comments |
headers
Regis Cridlig | 24 Feb 1994 11:46
Picon
Picon
Favicon

Camlot 0.6

Hello!

A new release of Camlot, an optimising compiler for the Caml Light language, 
is now available by anonymous ftp from the Ecole Normale Superieure site 
ftp.ens.fr, in the directory pub/unix/lang/caml (file camlot6.tar.Z), or from
the usual Caml site ftp.inria.fr (directory lang/caml-light).

Changes from previous release:
- many bugs have been removed
- better compilation of constructor types
- a smart linker was added
- now supports 8-bit characters
- default exception handler improved
- a new parser generator: camlotyacc, which handles Caml-Light parser files
- ...

This is a beta-version, compiling Caml Light version 0.6. It produces
C code which runs from 2 to 20 times faster than the normal Caml Light
byte-code. It only produces stand-alone executables. These executables
generally run faster than the code produced by any other ML compiler.

To use Camlot, you need an ANSI C compiler, preferably GCC. To install this 
new compiler all you need is the normal Caml Light compiler and
the GNU make utility. (Camlot is highly portable on any 32-bit platform.)

Bug reports should be reported to this list, or better directly to me
(cridlig <at> dmi.ens.fr).

Best regards,
(Continue reading)

Permalink | Reply | 0 comments |

Gmane