76d5c7aee1
new warning, fragile match
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 09:57:53 +00:00
7abcc8799e
Ajout des litteraux de type int32, nativeint, int64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-25 12:27:31 +00:00
2258980625
merci damien (locations fantomes)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-24 15:13:01 +00:00
65c80f8ae1
add unification backtracking
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 05:39:01 +00:00
83290f6783
typage correct des variants, cf morematch.ml l. 1060
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-30 02:51:51 +00:00
aea14e3bb4
Petite discussion avec Jacques.
...
1 Pb typage variants, en attente, exemple dans test/Moretest/morematch.ml
2 Meilleure compilation des switch de variants -> bytecomp/switch.ml
a Vider la table t en cas de changement de ok_inter
b Traiter les intervalles de taille 1 meme si !ok_inter = false
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-01 12:49:53 +00:00
c0610c884a
ouf tests finis ?
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-30 14:23:00 +00:00
28985bc330
proprifier + se garantir contre les 168 variants de tk.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5142 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-25 16:37:04 +00:00
6ed39326b9
petite optimisation des or-inutiles (gros bug ?)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5139 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-23 17:19:33 +00:00
987ce83e55
retour sur les avertissements *unused pattern*
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5138 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-23 08:36:46 +00:00
ccd4123e89
Since string_of_float is now compatible with Caml lexical conventions,
...
there is no need to add an extra ".0" at the end of float tokens
(string_of_float does it for you if necessary).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-06 09:44:33 +00:00
a829d1d7d6
Using formats %S and %C.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-27 09:27:14 +00:00
588f1bf2ba
la nuit porte conseil, traitement correct des #t et des variants absents dans satisfiable et every_satisfiable
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4842 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 08:04:03 +00:00
3751d24d01
unused match warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4838 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 03:09:18 +00:00
d008daf24e
a zut, j ai commis un bug
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-24 15:35:25 +00:00
842eb76ef7
Nouveaux warning dans les or-pats
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-24 14:34:37 +00:00
0a8236066f
vive les methodes polymorphes!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-18 07:27:47 +00:00
472be6f6b0
bug idiot et inoffensif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-12 11:02:40 +00:00
77e6695ed6
better message for non-exhaustive matchings, when when matters
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3856 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-04 16:06:31 +00:00
679b536674
special message for all-when case
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-04 09:03:44 +00:00
d113c2c682
warning for empty PM + option -notk for configure
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-04 08:39:49 +00:00
42d1811a93
enrich variant types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-25 09:54:18 +00:00
08f20bcdfa
bug 342 (records dans les orpats)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-23 09:29:22 +00:00
e24bac9d95
toilette du filtrage variants polymorphe + force traitement apres decouverte d'un cas de non-completude
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-10 05:03:44 +00:00
b1b8940a04
bug idiot 324
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-26 12:45:50 +00:00
141578ccef
ajout d'un champ filtrage a Reither
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-03 00:14:35 +00:00
c42b5e17a7
typage plus liberal des variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3451 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-02 13:15:58 +00:00
eb7578b8db
optimsation pm a donf
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-19 20:27:52 +00:00
2116da4220
Getting rid of obsolete boolean operators & and or
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-28 13:07:42 +00:00
9a9af71842
correct bug in typing of variant matching (PR#217)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-06 09:49:27 +00:00
ab97fd0dcc
or-pat avec variables et compil du switch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-02 14:18:05 +00:00
2c7226c3c6
PR#191: ne pas inclure les cas traites dans la liste des cas oublies
...
pour les variantes polymorphes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-20 02:40:50 +00:00
e8ea52a66a
new or-pat compilation + exhaustiveness used in compilation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-11 19:58:52 +00:00
1b1e463092
Simpifie les types de variantes, change le typage des matchings ouverts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-11 14:34:10 +00:00
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
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
97d12606f7
simplify conjunctive types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-24 10:18:25 +00:00
296fc05470
Merge olabl branch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-30 16:07:38 +00:00
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
976baf152d
conflict between result and option
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-09 10:53:31 +00:00
00d13fbe0e
Corrections de bugs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 23:05:03 +00:00
9f6e05ecce
Partial match avec joli message
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-10-29 14:42:37 +00:00
7298911eae
Ajout du warning de la séquence et pilotage des warnings par l'utilisateur.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-05 08:07:15 +00:00
6e0c7318e9
Ajout des motifs de tableaux
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-06 09:23:01 +00:00
3aa24aee87
Petite modif pour éviter les warnings pour les fonctions vides (qui
...
peuvent s'écrire syntaxiquement avec camlp4): ce n'est pas une info et
ça crée du "bruit d'erreur" dans les compilations.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-21 07:14:34 +00:00
033ec5b736
Decoupage du module Typedtree en deux: Types et Typedtree.
...
Sauver l'environnement de typage en plus du type dans les a.s.t. de Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:33:27 +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
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
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
9f46afb0f4
Changement de la representation des constructeurs constants.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@45 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-06-18 14:47:12 +00:00
Luc Maranget
Xavier Leroy
Jacques Garrigue
Pierre Weis
Jérôme Vouillon
Daniel de Rauglaudre