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

31 Commits (126cd225626f2598f9eb04a0a7cbc2d89f69e9e2)

Author SHA1 Message Date
Xavier Leroy 32f11c1c99 Expanser les abreviations de maniere plus paresseuses pour faire la 
strength reduction basee sur les types.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1071 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-09 13:38:50 +00:00
Xavier Leroy 4c5a2550b9 Correction bug dans Translcore.array_kind 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1038 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-01 09:46:17 +00:00
Xavier Leroy 8d069d7e00 Ajout du module Types et d'infos d'environnement dans Typedtree. 
Translcore: meilleur tests de types pour determiner le kind d'un tableau.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-23 11:30:27 +00:00
Xavier Leroy 42386e77b6 Ne pas optimiser opt = Constr_constant si le constructeur est une exception. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@904 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-06-25 09:52:46 +00:00
Xavier Leroy a5af2dc1a3 Autoriser les let rec dans les let rec. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@873 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-06-11 14:58:42 +00:00
Xavier Leroy 1a252b6d1f Verification du let rec de valeurs encore change. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@791 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-07 08:14:10 +00:00
Xavier Leroy 6cfdc1aaba Bug dans compilation des let rec de valeurs. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-03 16:05:40 +00:00
Xavier Leroy 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
Jérôme Vouillon 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
Xavier Leroy 38d0c776bf Ajout de la primitive %absfloat (valeur absolue flottante). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-03-07 13:45:57 +00:00
Xavier Leroy 62bfd984e3 Lfunction a plusieurs arguments. Decurryfication faite dans Translcore. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-12-19 10:19:12 +00:00
Xavier Leroy 26747162e8 Acces aux variables liees par un pattern-matching entierement revu. 
Passe d'elimination des lets inutiles.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-12-15 10:18:29 +00:00
Xavier Leroy 7c3be71ad9 Transformation des references en variables 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-11-25 15:38:43 +00:00
Xavier Leroy 537219eee1 Ajout flag mutable sur Pmakeblock, qui desactive 
l'approximation pour e.g. les references vers des fonctions.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-11-09 13:22:16 +00:00
Xavier Leroy e06a12dcd6 Ajout de std_exit au link. 
Pas de code produit par une definition de primitive.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@347 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-10-23 16:56:52 +00:00
Xavier Leroy 97fba0e18e "with" -> "with type" 
Compilation de [| ... |] avec plus de 256 elements.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-10-03 14:03:30 +00:00
Xavier Leroy 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
Xavier Leroy e31db147dd Nouvelle rectif de array_kind pour faire face aux abreviations non expansables. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-28 12:25:17 +00:00
Xavier Leroy 4ea5700953 Dans array_kind, ne pas planter si le type n'est pas un type tableau. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-28 12:22:33 +00:00
Xavier Leroy b44ab158b2 Creation du module primitive. 
Gestion speciale des tableaux de flottants et des records de flottants.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-27 17:40:34 +00:00
Xavier Leroy 8deb415b89 Changement representation des primitives. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-25 11:38:42 +00:00
Xavier Leroy b3b26e50eb Detection plus fine des primitives C n'allouant pas. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-24 12:45:32 +00:00
Xavier Leroy 0fed8751e2 Introduction de Pintoffloat et Pfloatofint. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@75 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-11 08:53:14 +00:00
Xavier Leroy c226d5efeb Branchement du GC de la version bytecode sur le compilateur natif 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@72 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-10 09:48:27 +00:00
Xavier Leroy bee1844ffe Codage des constructeurs constants avec Const_pointer 
Optimisation de match (a,b) with (p1,p2) ->
Renommage de codegen -> bytegen, linker -> bytelink.
emitcode: cas Kdummy 0.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@53 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-02 16:45:21 +00:00
Xavier Leroy 41bd2b6153 Fermetures representees en un seul bloc 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@49 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-06-22 10:11:18 +00:00
Xavier Leroy e0f3c043e5 Changement representation des constructeurs constants. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@40 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-06-18 14:44:56 +00:00
Xavier Leroy ed62086527 Renommage %array_get -> %array_unsafe_get, etc. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@29 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-06-15 08:09:12 +00:00
Xavier Leroy e5cfbe7fd7 "let rec" de valeurs plus souple. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@21 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-06-05 13:41:20 +00:00
Xavier Leroy ec675d2f9a Detection des types sommes avec trop de constructeurs. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@18 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-05-22 15:43:44 +00:00
Xavier Leroy 61bd8ace6b Passage a la version bootstrappee (franchissement du Rubicon) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-05-04 10:15:53 +00:00