Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feature wish: toplevellib.cma #2567

Closed
vicuna opened this issue Sep 14, 2000 · 2 comments
Closed

feature wish: toplevellib.cma #2567

vicuna opened this issue Sep 14, 2000 · 2 comments
Labels
feature-wish wontfix

Comments

@vicuna
Copy link

vicuna commented Sep 14, 2000

Original bug ID: 188
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Bonjour,

la bibliothèque toplevellib.cma est très utile, mais elle pourrait l'être
beaucoup plus en mettant dedans plus de chose. Par exemple, tous les .cmo
de typing/ utils/ parsing/ driver/. Ou alors en exportant
ce qui est nécessaire pour parser, manipuler l'environnement, etc ...

Par exemple, ça permettrait de faire des choses comme:

Compile.init_path();;
Toploop.toplevel_env := Compile.initial_env();;
let tree = Parse.toplevel_phrase (Lexing.from_string "print_int 5;;");;
ignore (Toploop.execute_phrase true Format.std_formatter tree);;

Bref, ça augmente la reflexivité du système, et ça permet d'integrer
des bouts d'interpreteur dans des programmes.

Dans l'état actuel, on a besoin d'avoir toute la distribution source
pour se créer soi-même cette bibliothèque.

Cordialement,

Alain Frisch
@vicuna
Copy link
Author

vicuna commented Sep 20, 2000

Comment author: administrator

la bibliothèque toplevellib.cma est très utile, mais elle pourrait l'être
beaucoup plus en mettant dedans plus de chose. Par exemple, tous les .cmo
de typing/ utils/ parsing/ driver/. Ou alors en exportant
ce qui est nécessaire pour parser, manipuler l'environnement, etc ...

Les seuls .cmo qu'elle ne contient pas sont ceux de driver/, mais elle contient
ceux de toplevel/, donc il y a bien la` tout ce qu'il faut.
Le probleme est plutot l'absence des .cmi, non?
Ca ne couterait pas grand chose de les installer (tout juste 152K de disque),
mais il faut que les gens soient conscients que ce n'est pas la meme
license que pour les autres bibliotheques.

Jacques

@vicuna
Copy link
Author

vicuna commented Sep 20, 2000

Comment author: administrator

On Wed, 20 Sep 2000, Jacques Garrigue wrote:

Les seuls .cmo qu'elle ne contient pas sont ceux de driver/, mais elle contient
ceux de toplevel/, donc il y a bien la` tout ce qu'il faut.
Le probleme est plutot l'absence des .cmi, non?

Ah oui, bien sûr.

Ca ne couterait pas grand chose de les installer (tout juste 152K de disque),
mais il faut que les gens soient conscients que ce n'est pas la meme
license que pour les autres bibliotheques.

Ils sont sous GPL; la seule obligation lorsque l'on utilise ces modules,
si j'ai bien compris, sera de mettre le code aussi sous GPL.

--
Alain Frisch

@vicuna vicuna closed this as completed Nov 6, 2002
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature-wish wontfix
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vicuna