Commit Graph

45 Commits (master)

Author SHA1 Message Date
Jérémie Dimino e54876a869
Add a new toplevel directive #use_output "<command>"
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
Co-authored-by: David Allsopp <david.allsopp@metastack.com>
2020-03-16 17:48:41 +00:00
Jeremie Dimino 7e0862a212 Refactor load path management and initial environment
- Add a Load_path module which caches files lookup

- Instead of falling back to the external environment, allow to
  declare in the environment that a module comes from the external
  world. This allows persistent structures to shadows non-persistent
  ones
2019-01-30 16:36:38 +00:00
Leo White 111d4e1827 Remove positions from paths 2018-11-21 03:39:34 -05:00
Armaël Guéneau c0820e30cb Location: significantly rework the code printing errors and warnings 2018-08-08 17:42:08 +02:00
Jeremie Dimino 86daba0e90 Add Toploop.override_sys_argv 2016-03-01 10:36:24 +00:00
Damien Doligez 5401ce8473 Update headers for the new license.
Remains to be done: remove all headers in testsuite/tests.
2016-02-18 16:59:16 +01:00
Gabriel Scherer d7dfe9604e toplevel #help: split the directives into several sections 2015-12-25 19:53:27 +01:00
Gabriel Scherer 43c31e4f08 Add #help directive to the toplevel.
Nick Giannarakis proposed a first patch at
  http://caml.inria.fr/mantis/view.php?id=6113

Berke Durak and Francis Southern proposed two iterations on the patch
at:
  https://github.com/ocaml/ocaml/pull/46
  https://github.com/ocaml/ocaml/pull/376

The present patch contains code and ideas from all three sources.
2015-12-25 19:53:27 +01:00
Damien Doligez b860d63145 whitespace cleanup, cut long lines, add some missing headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-11 11:58:31 +00:00
Gabriel Scherer 304c9c91a5 PR#6468: toplevel now supports backtraces if invoked with OCAMLRUNPARAM=b
(Peter Zotov and Jake Donham,
 review by Gabriel Scherer and Jacques-Henri Jourdan)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-02-08 14:10:12 +00:00
Gabriel Scherer 9d01c60c3a toplevel: allows the extension of 'genprintval.ml' with parameterised printer.
From: Pierre Chambart <pierre.chambart@ocamlpro.com>

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-06 17:11:04 +00:00
Alain Frisch 56782ae7bc #6609: export Toploop.phrase.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-13 07:17:10 +00:00
Jacques Garrigue b56dc4b3df PR#5584: merge open extensible types, extension-patch-4.0.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-04 23:08:45 +00:00
Damien Doligez 5b8df637d2 merge branch "safe-string"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-29 11:56:17 +00:00
Alain Frisch d2de0d7b18 Revert 14616, 14617. Go back to the original syntax for toplevel directives, only allowing capitalized identifiers in addition to lowercase ones. Split #show into variants #show_val, #show_type, etc, and implement a generic #show which combines all the results.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14697 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-28 08:04:43 +00:00
Alain Frisch 26a8bc20a7 Support for toplevel primitives with multiple arguments.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14616 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-16 16:51:37 +00:00
Jacques Garrigue 7a904bb8db make path normalization safer; now Core not only compiles but works
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-10-04 02:06:40 +00:00
Wojciech Meyer bda692b6da PR#5825: Add a primitive to use source file wrapped in the coresponding module.
Patch by Grégoire Henry!

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-18 16:16:50 +00:00
Damien Doligez def31744f9 remove all $Id keywords
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:50:56 +00:00
Damien Doligez 3b507dd1aa renaming of Objective Caml to OCaml and cleanup of copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 14:17:02 +00:00
Damien Doligez e9a9bf9613 PR#3114 make all error messages start with a location and "Error: "
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-12-04 13:38:58 +00:00
Xavier Leroy 759292a43c Introduction d'un hook pour la lecture des entrees interactives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-15 09:59:37 +00:00
Xavier Leroy e8e8d33624 Ajout de toplevel_startup_hook (pour Cash)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-30 15:31:06 +00:00
Xavier Leroy 8662b6797c Exporter initialize_toplevel_env (reclame par Maxence pour son toplevel graphique)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-25 15:45:14 +00:00
Daniel de Rauglaudre 50161b7513 Regroupement des impressions "outcometree" dans un seul module oprint.ml.
Ajout de hooks de print dans toploop.mli.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 11:09:19 +00:00
Jacques Garrigue 128824233b add object loading from command-line
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 02:56:04 +00:00
Daniel de Rauglaudre a9de661f1a Un peu de nettoyage de code + ajout personnalisation des "phrases" toplevel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3617 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-07 12:12:33 +00:00
Daniel de Rauglaudre 3ed3b7bdda Ajouté personalisation de l'affichage des items de signature dans le toplevel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3614 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-06 12:28:50 +00:00
Daniel de Rauglaudre 3b5da7725e Personalisation de l'affichage des valeurs et des types dans le toplevel.
Ajouté module Outcometree et des hooks dans le toplevel: print_out_value et
print_out_type. (j'ai oublié de mettre un message log dans le 1er commit)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-04 10:08:19 +00:00
Daniel de Rauglaudre 10078faaa7 -
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-02 08:51:55 +00:00
Xavier Leroy b708229015 Support user-defined printers taking a formatter as first argument
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-03 11:04:10 +00:00
Jacques Garrigue 714bf2c3fa Tracage d'une fonction utilisee par le toplevel (PR#283)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-12 14:32:38 +00:00
Xavier Leroy b0e043eb2d Re-faire marcher la trace (PR#213)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-07 13:18:20 +00:00
Xavier Leroy 7def4b472a Revu la compilation des liaisons toplevel (utiliser une table de hash au lieu des globaux pour permettre la recuperation memoire des liaisons masquees)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-16 16:19:04 +00:00
Pierre Weis b96208b7a2 Revu les impressions du compilateur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-06 22:12:09 +00:00
Jacques Garrigue d518a33485 new handling of Sys.argv in scripts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2790 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-07 03:29:29 +00:00
Jacques Garrigue ad6a333f08 add directives #modern and #warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-12-03 10:26:08 +00:00
Xavier Leroy cc0f32b054 Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 18:59:06 +00:00
Pierre Weis af0a7574c8 Pilotage des warnings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2148 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-05 08:04:40 +00:00
Xavier Leroy 1c31feddb5 Ajout de .ocamlinit et des scripts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1639 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-07-03 14:32:35 +00:00
Daniel de Rauglaudre ee1c2361f0 Ajout hooks pour customiser le parsing toplevel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-22 12:43:11 +00:00
Xavier Leroy 2301d778e7 Renommage en Objective Caml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30 14:53:58 +00:00
Xavier Leroy 7e691c81a6 Meilleur traitement des variables non generalisables.
Divers nettoyages pendant l'ecriture de la doc.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-02 18:55:37 +00:00
Xavier Leroy e4066357b1 Ajout des notices de copyright
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09 15:06:35 +00:00
Xavier Leroy 61bd8ace6b Passage a la version bootstrappee (franchissement du Rubicon)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04 10:15:53 +00:00