Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
20,993 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

46 Commits (master)

Author SHA1 Message Date
Florian Angeletti 816a5088e0 Avoid duplicated mark_loops 2019-10-17 10:03:58 +02:00
Leo White c19e8b2350 Refactor environment lookup functions 2019-08-15 15:56:50 +01:00
Jacques-Henri Jourdan 593f94055a Dynlink support for ocamldebug 
This commit adds dynlink support for ocamldebug. As a side effect, it also:
  - factorizes the various functions searching for a code fragment into one,
    called [caml_find_code_fragment];
  - removes the [caml_register_code_fragment], which does not seem to
    be used anywhere, and which clearly should not be used by external code.
 2019-07-16 10:52:48 +02:00
Leo White 111d4e1827 Remove positions from paths 2018-11-21 03:39:34 -05:00
Thomas Refis 94b55c1584 consistently make temporary local type idents local idents 2018-09-21 11:47:44 -04:00
Thomas Refis b134588f28 ident: split Local into Local and Scoped 
Also rename [create] into [create_scoped] and [create_var] into
[create_local].
 2018-09-21 11:47:44 -04:00
Thomas Refis 67f29d1a18 ident: add an explicit scope field 
- Ident.create now takes a scope as argument
- added Ident.create_var to use when the scope doesn't matter
- the current_time and the current_level are unrelated as of this
  commit. But one has to remember to bump the level when creating new
  scopes.
 2018-09-21 11:47:42 -04:00
Alain Frisch 6f0e6735e1 More warnings for debugger/. 2016-03-15 22:47:35 +01: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
Alain Frisch 645dcf25e5 Keep location and attributes in type, label and constructor declarations. Deprecated warning when a deprecated type or constructor is referenced. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-09-27 10:54:55 +00:00
Damien Doligez 12f179b360 fix whitespace and over-long lines 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2013-03-22 18:18:26 +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
Fabrice Le Fessant d39d43e55f merge with branch bin-annot 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2012-05-30 14:52:37 +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 04b1656222 clean up spaces and tabs 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-01-22 12:48:24 +00:00
Damien Doligez ed32f569e3 merge changes from ocaml3110 to ocaml3111rc0 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2009-05-20 11:52:42 +00:00
Pierre Weis 39469b7811 Le debugger accede au type manifeste des abbreviations privees pour l'evaluation 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2007-11-28 22:32:14 +00:00
Pierre Weis 59e0723455 It works: compilers and camlp4 are fully bootstrapped. The ast magic number is not yet changed. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2007-10-09 10:29:37 +00:00
Xavier Leroy 3e4bf9252b Revu representation des declarations de type private 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2003-07-02 09:14:35 +00:00
Pierre Weis 9e61326a82 Using %S format. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-06-27 17:25:11 +00:00
Xavier Leroy 7dfe9784b7 Revu la gestion des records de flottants 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-21 14:43:25 +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
Pierre Weis 39553e9972 Révision de l'impression à l'aide de format: utilisation de printf 
pour condenser les programmes et aussi préparer une future (éventuelle)
internationalisation d'Objective Caml.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-02-08 20:00:06 +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
Xavier Leroy a048d42b10 Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-11-08 17:06:33 +00:00
Jérôme Vouillon f9360bb8b0 Lecture des variables d'instance 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-02-22 15:27:46 +00:00
Xavier Leroy 33cf52bd2c Plus besoin d'ajouter 1 aux positions de ce_env. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-08-03 13:51:08 +00:00
Jérôme Vouillon d1561bbfe8 Optimisation de la verification des relations d'egalite, d'instanciation 
et de sous-typage entre types.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-07-03 17:40:39 +00:00
Jérôme Vouillon ec8fe24713 Reconnaissance des variables d'instance 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-12-01 17:48:50 +00:00
Jérôme Vouillon d7383a861e Modification des evenements. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-06-16 13:34:34 +00:00
Jérôme Vouillon 42df8d76e8 Prise en compte d'un echec possible de Ctype.apply 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-04-01 20:53:38 +00:00
Jérôme Vouillon 9936138a48 Commandes start et previous (symetriques de finish et next). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-30 19:43:01 +00:00
Jérôme Vouillon d484278256 Les commandes print et break fonctionnent maintenant aussi tout a la 
fin du programme.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-25 15:08:47 +00:00
Jérôme Vouillon 0ddf4dab80 Modification de Ctype.correct_levels 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-24 20:13:16 +00:00
Jérôme Vouillon 0ea21dfb08 Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger. 
print_value partage entre toplevel et debugger.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-22 20:16:52 +00:00
Jérôme Vouillon 5585ccb86b Ctype.substitute renomme en Ctype.apply 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-18 21:09:05 +00:00
Jérôme Vouillon 88a494b9e8 Ctype.correct_level devient Ctype.correct_levels 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-14 15:23:05 +00:00
Jérôme Vouillon 545bd9b3f4 L'accumulateur n'est pas disponible lorsque l'on n'est pas en frame 0. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-13 22:32:10 +00:00
Jérôme Vouillon f51edec166 Revision affichage des types. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-13 22:25:22 +00:00
Jérôme Vouillon f12c2f2f3b Manipulation correcte des types. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-13 21:20:13 +00:00
Jérôme Vouillon b54a009909 Ctype.expand_root renomme en Ctype.expand_head 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:43:27 +00:00
Pierre Weis a1d1dedc40 Changement des boi^tes hov 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-02-26 15:07:57 +00:00
Xavier Leroy e3d0b8b539 Suite du portage (nombreuses modifs) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-02-19 16:09:23 +00:00
Jérôme Vouillon 137d8117c6 Modification de Ctype.substitute (un argument en moins) et 
Types.Tconstr.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1246 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-01-23 12:46:03 +00:00
Xavier Leroy 783e5aa177 Suite du portage: impression des valeurs, etc 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1237 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-01-05 14:04:06 +00:00
Xavier Leroy db037c79de Premier jet du portage OCaml 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-11-29 16:55:09 +00:00