Damien Doligez
|
483c870306
|
PR#3238 (partiel)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-11-02 10:48:14 +00:00 |
|
Damien Doligez
|
85cb1262d6
|
ajout option -noprompt (toplevel)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-11-02 10:42:58 +00:00 |
|
Damien Doligez
|
06703fdc45
|
typo dans un commentaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-11-02 10:41:43 +00:00 |
|
Damien Doligez
|
a4bc8340a5
|
meilleur affichage pour les locations "nulle part"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-11-02 10:41:12 +00:00 |
|
Damien Doligez
|
a7a1c46599
|
ajout "\ " dans les chaines
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-11-02 10:39:59 +00:00 |
Jacques Garrigue
|
b2c75471e7
|
finish PR#2882
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6647 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-11-02 06:25:03 +00:00 |
|
Jacques Garrigue
|
4b43d84ffd
|
update nt makefiles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-18 07:01:42 +00:00 |
|
Jacques Garrigue
|
07a6ec5203
|
add top
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-18 02:59:33 +00:00 |
|
Jacques Garrigue
|
f2be9c049e
|
add thread support
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6644 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-18 02:42:50 +00:00 |
|
Jacques Garrigue
|
50fdbb8e0f
|
do not assume all quantified Tunivar occur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-15 12:28:48 +00:00 |
|
Jacques Garrigue
|
be7d100b73
|
different Tpoly's may share the same vl
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6642 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-15 03:15:34 +00:00 |
|
Jacques Garrigue
|
242b03f8e9
|
allow for phantom univars
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6641 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-14 02:36:19 +00:00 |
|
Jacques Garrigue
|
091cbacd64
|
accept more cases
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6640 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-14 01:12:26 +00:00 |
|
Jacques Garrigue
|
e34f9f2ea6
|
accept more cases
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6639 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-14 00:54:20 +00:00 |
|
Jacques Garrigue
|
ca88844599
|
do Fmu checks for moregeneral/eqtype/subtype
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6638 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-13 10:05:26 +00:00 |
|
Jacques Garrigue
|
7cbcb5f0f1
|
add Fmu check
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6637 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-13 09:34:44 +00:00 |
|
Jacques Garrigue
|
91b18ff473
|
check for escaping variables in Fmu
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-13 09:33:09 +00:00 |
|
Damien Doligez
|
a2f487ee52
|
precisions dans les commentaires
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-07 11:13:15 +00:00 |
|
Jacques Garrigue
|
b3a50ac0ed
|
add location info in Ptype_variant and Ptype_record
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-06 13:06:11 +00:00 |
|
Jacques Garrigue
|
6034f51257
|
align Caml_system__frametable
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6631 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-06 06:33:25 +00:00 |
Pierre Weis
|
bbafc44afe
|
More tests + meta formats additions.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-05 12:14:57 +00:00 |
|
Pierre Weis
|
b5c447dba6
|
Exporting the name_of_input function to get the name of the input
buffer's character source.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-05 06:54:45 +00:00 |
|
Pierre Weis
|
46d2abd2fb
|
Bug reported by Yutaka Oiwa on meta formats.
As usual, an index is off by one :(
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6628 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-04 20:47:49 +00:00 |
|
Pierre Weis
|
83b16075a3
|
Dead code elimination.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6627 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-04 20:21:04 +00:00 |
|
Pierre Weis
|
486d45c826
|
Careful review of meta formats.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6626 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-04 20:19:44 +00:00 |
|
Pierre Weis
|
fe5f184972
|
Documentation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-10-04 20:18:17 +00:00 |
|
Pierre Weis
|
af5c49f878
|
Typo.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6623 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-09-29 09:57:30 +00:00 |
|
Jacques Garrigue
|
47a8343f6e
|
indentation of comments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-09-24 08:52:29 +00:00 |
|
Pierre Weis
|
b0270c4cf9
|
Implementation des meta formats.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6621 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-09-22 09:17:21 +00:00 |
|
Jacques Garrigue
|
281e9b9867
|
fix limited_generalize for variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6620 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-09-21 12:08:12 +00:00 |
|
Pierre Weis
|
695fe90650
|
Wrong example in character ranges specification.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-09-09 07:54:50 +00:00 |
|
Jacques Garrigue
|
ac96bddd3b
|
small changes in Tcl/Tk config
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6614 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-27 02:46:09 +00:00 |
|
Damien Doligez
|
c3a39fc8c8
|
Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-20 17:04:35 +00:00 |
|
Damien Doligez
|
8030a20089
|
ne pas afficher de colonne negative
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-20 17:02:43 +00:00 |
|
Jacques Garrigue
|
54aeaa6db4
|
add multiple dlopen emulation for Darwin
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-18 05:03:23 +00:00 |
|
Damien Doligez
|
2c9f41ab42
|
PR#3002
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-17 12:32:02 +00:00 |
Xavier Leroy
|
6310a642de
|
Detection stack overflow pour AMD64/Linux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-13 13:38:27 +00:00 |
|
Xavier Leroy
|
9dff4b1fa2
|
Suite nettoyage segv_handler
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6601 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-13 12:17:02 +00:00 |
|
Xavier Leroy
|
1a8c0ee7b9
|
Prevoir de recuperer les debordements de pile lorsque youg_ptr et exn_pointer sont en registres
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-13 11:45:44 +00:00 |
|
Xavier Leroy
|
84ff3e5fd9
|
Un test de plus (celui du PR#2920)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6599 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-13 08:12:19 +00:00 |
|
Xavier Leroy
|
a8afc7f0a0
|
Revu checkbound pour Sparc/non-Solaris (PR#2980)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6598 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 16:04:07 +00:00 |
|
Xavier Leroy
|
6fbad77c8a
|
Ajout de pseudo-registres supplementaires pour le passage de plus de 6 arguments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6596 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 14:29:25 +00:00 |
|
Xavier Leroy
|
357b5b7166
|
Referencer caml_extra_params de maniere portable
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 14:29:00 +00:00 |
|
Xavier Leroy
|
fbd8a75492
|
Davantage de tests
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 13:37:37 +00:00 |
|
Xavier Leroy
|
af9b98fcbb
|
Ajout de pseudo-registres supplementaires pour le passage de plus de 6 arguments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 13:37:12 +00:00 |
|
Xavier Leroy
|
6e982319a2
|
Suppression de l'allocation dans la zone Incoming. Ce code semble ineffectif et potentiellement incorrect vis-a-vis du GC
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6592 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 13:34:42 +00:00 |
|
Xavier Leroy
|
e2df31285a
|
MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6591 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 13:32:24 +00:00 |
|
Xavier Leroy
|
d704771b0c
|
Nettoyage de la partie system-dependent de la gestion des signaux (a tester)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6590 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 13:32:11 +00:00 |
|
Xavier Leroy
|
a3b8324989
|
Ajout test modules recursifs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6589 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 12:59:45 +00:00 |
|
Xavier Leroy
|
4ab9fff604
|
MAJ litteraux entiers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6588 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-08-12 12:59:29 +00:00 |