8214828fa3
Ctype.substitute renomme en Ctype.apply
...
Prise en compte d'un echec possible de Ctype.apply
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18 21:06:49 +00:00
58e8f3b8d0
Modification de Ctype.closed_schema
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18 21:06:28 +00:00
6dc35f692d
Modification de commentaires
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18 21:05:49 +00:00
67764ada10
Ctype.substitute renomme en Ctype.apply
...
Simplification de closed_schema
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18 21:05:27 +00:00
a8c282cbd5
Ctype.substitute renomme en Ctype.apply
...
Simplification de closed_schema
Prise en compte d'un possible echec de la fonction subst (exception
Cannot_apply pour Ctype.apply; Ctype.expand_abbrev leve l'exception
Cannot_expand en cas d'echec)
Bugs de Ctype.moregeneral
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18 21:05:15 +00:00
b1a7b7a9d4
Macintosh: .depend + rotation du curseur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18 12:30:40 +00:00
00b97ef71f
Typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-17 18:05:17 +00:00
5836841d8a
Ajout de native_partial_linker
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-17 13:01:04 +00:00
4c661050d1
Nettoyages de l'exemple cm
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-17 13:00:55 +00:00
e603704233
Ne pas optimiser les references si compile avec -g
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-17 13:00:40 +00:00
30f337081b
Utiliser Config.native_partial_linker pour -output-obj
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-17 13:00:28 +00:00
0fe990ae95
Ajout de PARTIALLD dans config.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1402 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-17 13:00:03 +00:00
0effba16b9
MAJ et durcissement des tests de callback.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-17 10:18:39 +00:00
c41e852408
Suppression de caml_top_of_stack.
...
Partage de code entre caml_start_program et callback*.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-17 10:17:32 +00:00
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
b251ddc5ac
Petits bugs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-14 15:21:21 +00:00
5cf4dd82e9
Correction d'un bug pour expansion des types generiques.
...
correct_level renomme en correct_levels et modifie.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-14 15:19:48 +00:00
a08f9b10f1
Limitation du niveau des variables non generiques
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-14 15:16:30 +00:00
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
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
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
f9e4b2d441
Revision de la manipulation des types.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 21:19:35 +00:00
5a9f4d15d5
Support pour manipulation correcte des types apres l'inference
...
(generation de code, debugger, ...).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 21:18:06 +00:00
29f5e183fa
Fonction Env.level : retourne le niveau maximal des constructeurs de
...
types contenu dans l'environnement.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 21:16:44 +00:00
f65f319c32
Les abbreviations produites s'expansent en des types completement
...
generiques.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 21:14:21 +00:00
ad4ef57431
Subst.type_expr copie systematiquement le type.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 21:11:19 +00:00
cf15362ec0
bug SETSTRINGCHAR + feature division
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 20:46:25 +00:00
dc68648bf4
Remis le execute_without_breakpoints dans internal_go_to.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 20:45:57 +00:00
094b45f8ed
set_current_checkpoint doit attendre que le programme soit bien connecte'.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 20:40:05 +00:00
e751678a85
displ / 4 ==> displ asr 2
...
Utiliser asr au lieu de lsr dans emit_label.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 18:21:01 +00:00
6ed63a09c4
Renvoyer () dans SETSTRINGCHAR
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 18:19:33 +00:00
5068454019
Bug Mac
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 16:24:05 +00:00
17c673a7e6
Oups, bug dans execve
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 14:57:13 +00:00
2fa0460948
Version++
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 14:41:38 +00:00
81cb9ac7c0
Typo dans lowercase
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 14:41:27 +00:00
4dd2dc233e
Typo dans execve et execvp
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 14:41:10 +00:00
64ee63cf8a
Lorsqu'une phrase toplevel contient plusieurs definitions, les traiter dans l'ordre
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 14:40:54 +00:00
652ca9ca74
Horrible erreur dans is_simple_expr.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1376 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 13:14:10 +00:00
bc6c077122
Bug de moregeneral.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-12 17:41:34 +00:00
59398f662a
Les index associes aux methodes doivent etre lies par un let strict et
...
non un alias...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-12 10:30:19 +00:00
79240af6cc
La substitution n'etait pas appliquee dans certains cas...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1373 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-12 10:26:58 +00:00
91a174ecf9
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-11 12:31:08 +00:00
7dfdbcb2b1
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-11 10:58:27 +00:00
72157b51f7
Marquage des primitives ML (pour le toplevel Windows).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-11 10:38:06 +00:00
f13ce4a3df
Nettoyage choix du compilo C
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-11 09:25:23 +00:00
2cdc5ac5eb
Macintosh
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10 21:17:40 +00:00
7eda8f3c69
Retour du ; optionnel -- Coq l'utilise beaucoup...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10 15:02:29 +00:00
55d3f380ca
MAJ numero de version.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10 13:57:53 +00:00
ff0a788227
Afficher "external foo ... = ..." au lieu de "val foo ... = ...".
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10 13:57:44 +00:00
6543c035d8
Ne pas sauver l'etat courant dans le lexbuf pendant un refill,
...
mais le repasser explicitement en resultat/argument de lex_engine.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10 13:57:24 +00:00
Jérôme Vouillon
Damien Doligez
Xavier Leroy