Permalink
Switch branches/tags
Commits on Dec 6, 2002
  1. Mark expansive subexpressions and allow generalizing nonexpansive ones.

    Jacques Garrigue
    Jacques Garrigue committed Dec 6, 2002
    Idea from Francois Pottier.
    Modifies: ctype, typecore, typeclass.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/mark_expansive@5311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Dec 3, 2002
  1. This commit was manufactured by cvs2svn to create branch

    No author
    No author committed Dec 3, 2002
    'mark_expansive'.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/mark_expansive@5310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Relax the value restriction

    Jacques Garrigue
    Jacques Garrigue committed Dec 3, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Dec 2, 2002
  1. Se proteger contre les initialisations multiples (PR#1325)

    xavierleroy committed Dec 2, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Profiling support for Sparc/Solaris

    xavierleroy committed Dec 2, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 29, 2002
  1. Prevoir d'avoir des options de ligne de commande specifiques a un pro…

    xavierleroy committed Nov 29, 2002
    …cesseur
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Support SPARC V8 et SPARC V9. Suppression indirection sur young_limit…

    xavierleroy committed Nov 29, 2002
    … dans le cas de Solaris.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 26, 2002
  1. locations, suite

    Damien Doligez
    Damien Doligez committed Nov 26, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. blindage du blindage

    Damien Doligez
    Damien Doligez committed Nov 26, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Produire un evenement apres les primitives qui sont transformees en a…

    xavierleroy committed Nov 26, 2002
    …ppels de fonctions C et qui peuvent lever une exception, comme string_get (PR#654)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Ameliore backtrace dans le cas ou l'exception est levee par une primi…

    xavierleroy committed Nov 26, 2002
    …tive C (PR#654)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 25, 2002
  1. Correction bug input_value/output_value sur des blocs de plus de 4 me…

    xavierleroy committed Nov 25, 2002
    …ga-mots (PR#784). La limite globale a 4Go reste pour le moment.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Suite PR#1466: revision modification de young_limit dans le cas de l'…

    xavierleroy committed Nov 25, 2002
    …Alpha
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 24, 2002
  1. Introduction et utilisation de Cglobal_symbol pour declarer explicite…

    xavierleroy committed Nov 24, 2002
    …ment les symboles de donnees qui doivent etre globaux
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Faire attention a ce que la ligne de commande d'objcopy ne soit pas t…

    xavierleroy committed Nov 24, 2002
    …rop longue (PR#1478)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 22, 2002
  1. ajout syntaxe {!module:T} ... pour les cross ref spécifiques a un éle…

    zoggy committed Nov 22, 2002
    …ment
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. MAJ

    xavierleroy committed Nov 22, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Rectif PERVASIVES

    xavierleroy committed Nov 22, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Revu les conventions de l'instruction imul (PR#1474)

    xavierleroy committed Nov 22, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. encodage des caracteres speciaux dans les label et index por la sorti…

    zoggy committed Nov 22, 2002
    …e latex
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. remplacement des underscore par make install installoptmake install i…

    zoggy committed Nov 22, 2002
    …nstallopt dans les labels latex, pour eviter les clashes de noms de labels entre par exemple toto et toto_
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  7. Typing of kprintf turned to the more general type allowed by new

    pierreweis committed Nov 22, 2002
    format strings type.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  8. Comments not understood by the alpha native C compiler.

    pierreweis committed Nov 22, 2002
    Please use /* */ instead of //.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 21, 2002
  1. menage

    Jacques Garrigue
    Jacques Garrigue committed Nov 21, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. mise a jour

    Jacques Garrigue
    Jacques Garrigue committed Nov 21, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. desunifie en cas d'erreur

    Jacques Garrigue
    Jacques Garrigue committed Nov 21, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. typo

    Jacques Garrigue
    Jacques Garrigue committed Nov 21, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. add unification backtracking

    Jacques Garrigue
    Jacques Garrigue committed Nov 21, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. rajoute toploop... a PERVASIVES

    Jacques Garrigue
    Jacques Garrigue committed Nov 21, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 18, 2002
  1. Refait marcher #trace sur les fonctions mutuellement recursives (PR#1…

    xavierleroy committed Nov 18, 2002
    …346)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Revu compilation des boucles for pour le cas ou la borne est max_int …

    xavierleroy committed Nov 18, 2002
    …(pour une boucle 'to') ou min_int (pour une boucle 'downto') (PR#415)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Typos dans la verification de coherence

    xavierleroy committed Nov 18, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Remplacement de is_bound par source pour les besoins d'ocamlopt

    xavierleroy committed Nov 18, 2002
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02