4e310fc543
Ajout assert
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1544 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 18:28:25 +00:00
2d7df3dd1c
Encore un detail sur le ;
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:45:28 +00:00
6a87510d7a
Le probleme du point-virgule est enfin resolu.
...
Il n'y a plus de probleme avec l'appel terminal.
54 conflits shift-reduce ont disparu dans l'operation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-12 15:10:03 +00:00
874f21a083
Methodes privees.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-11 21:48:21 +00:00
49c4529bd2
Fix de EOF dans les lexeurs, suite.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-04-16 13:19:12 +00:00
369e6c72d8
Fix pour afficher correctement en cas de EOF a toplevel.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-04-15 19:18:41 +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
b72e959744
Suppression du ; optionnel, trop ambigu. La syntaxe est suffisamment confuse comme ca.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08 12:14:57 +00:00
3a88e177ed
L'alias (t as 'a) peut etre utilise avec tout type t (pas seulement
...
objet et type construit).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07 22:26:29 +00:00
3693be4981
Au toplevel, permettre plusieurs items de structures non separes par
...
des ;;
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-04 10:21:07 +00:00
a4eea9ac45
Les parametres des constructeurs de types peuvent etres
...
contraints. Par exemple :
type 'a t = 'b * 'c constraint 'a = 'b -> 'c
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-20 20:39:02 +00:00
cc9c2b8841
- Ajout type "any"
...
- Test compatibilite version AST avec preprocesseur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-11 18:24:47 +00:00
58a45db558
Oubli d'un code de debug
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1261 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-07 12:39:05 +00:00
6389c34a64
Determination des numeros de lignes: comparer la position avec celle
...
de la fin de la ligne, non pas du debut.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1259 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-06 09:51:21 +00:00
9dc13af5df
Meilleur parsing des directives # line "file".
...
Ajout de parsing/linenum.{mll,mli}.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-04 15:40:22 +00:00
1bdcdbdbc6
Tabs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-01-05 14:03:14 +00:00
55a1653c28
Reconnaissance de # line "filename"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1231 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-01-01 15:36:18 +00:00
e12a8d1fd5
Utilisation de Sys.os_type.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-11-07 11:01:05 +00:00
b789657ee1
Portage Mac/MPW
...
lexer.mll: char_for_backslash version Mac
location.ml: message d'erreur executable pour Mac
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-11-02 18:03:23 +00:00
d8ef8e4915
Type de methode maintenant optionnel dans interface de classe (permet
...
de passer de virtual a method sans avoir a preciser le type).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 22:06:22 +00:00
bcf2afbb79
(#m) comme abreviation de fun x -> x#m.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 21:42:48 +00:00
2ec928c34a
location.ml: bugfix affichage toplevel avec nouveau prompt.
...
parser.mly: "x;" synonyme de "x;()"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@947 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-08-22 18:12:24 +00:00
ed1cdeebcf
Amelioration de quelques messages d'erreur.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-26 13:42:34 +00:00
064465320e
Nettoyage : Label.t remplace par string.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-16 16:10:16 +00:00
af1138b1c5
Bar optionnel dans parser 1er cas
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@803 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-09 14:27:48 +00:00
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
bc19852852
Modification de la syntaxe des classe.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-25 10:35:04 +00:00
7974a9d8b1
Extension objets.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-22 11:15:41 +00:00
c4d10d8199
Meilleur traitement du let _ = expr toplevel.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-04 15:56:46 +00:00
22bc127a92
csllex utilise un automate a pile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-02-25 14:45:47 +00:00
97ef452fb6
Bug sur CR-LF dans les chaines.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-02-01 15:04:05 +00:00
dc1256045a
&& et || comme synonymes de & et or.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-12-15 10:20:24 +00:00
6956438abd
Repasser en standout off dans tous les cas.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@495 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-29 13:38:38 +00:00
52744a80c3
[< >] au lieu de [: :]
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-28 15:00:53 +00:00
32878e804f
Use question mark in syntax of parser errors.
...
Correct bug: Parse_failure should not be handled in actions.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-13 13:28:09 +00:00
e485a5c1ec
Add "when" case in parsing. Add precedence for expressions in parsers.
...
Change entries to make them more pretty.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@436 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-10 15:14:14 +00:00
abd2049344
Added "parser match".
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-09 16:03:52 +00:00
36078ba062
Streams and parsers. Very first version.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-09 11:08:48 +00:00
734c296049
Syntactic sugar for streams and parsers. Very first version.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-09 11:03:37 +00:00
59b4e67cad
Dans les fichiers de #use, les ;; sont optionnels
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-01 18:12:24 +00:00
54af548aa7
Ajout de | au debut des pattern-matchings et des definitions de types.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-18 15:32:39 +00:00
4cec42eea3
Annotations de location sur les structure_item.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-05 15:18:49 +00:00
e6517c9ced
Precedence mal orthographiee.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-03 14:06:01 +00:00
db7e46b25c
Introduction de "S with module ... = ..."
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-01 13:39:43 +00:00
016f79071f
Contraintes "with" revues (ajout de with S.t = typ, suppression de
...
with t = A | B).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-28 10:41:50 +00:00
fb0acf5bc7
Rectof resolution d'un conflit pour types concrets manifestes.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-27 10:47:51 +00:00
371c25886c
Possibilite de rendre manifestes des types variant ou record
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-26 20:23:29 +00:00
3592185df9
Ajout du ;; optionnel dans les structures et signatures.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-20 13:34:08 +00:00
827c597016
Nettoyage de la grammaire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@256 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-11 08:09:22 +00:00
773f1c8184
Soulignement d'une location: prevoir le cas ou on affiche plusieurs
...
warnings pour la meme phrase.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-08 08:55:59 +00:00
Damien Doligez
Jérôme Vouillon
Xavier Leroy
Daniel de Rauglaudre