Skip to content
Commits on Aug 10, 2011
  1. [feature] Database: making dblight compilation optional, depending on…

    Louis Gesbert committed Aug 10, 2011
    … the support of Dbm in ocaml
    
    added some generic preprocessing in .mllib files so that this can be used for other optional dependencies too
  2. @nrs135

    [feature] Badop_light: Attempt at OPA integration (partially successf…

    nrs135 committed with Louis Gesbert Jun 14, 2011
    …ul).
Commits on Aug 8, 2011
  1. @fpessaux
Commits on Jul 29, 2011
  1. @fpessaux

    [cleanup] remove chars: compiler

    fpessaux committed with François-Régis Sinot Jul 29, 2011
Commits on Jul 7, 2011
  1. [cleanup] garbage: collecting some directives

    Valentin Gatien-Baron committed Jul 6, 2011
Commits on Jul 1, 2011
  1. @fpessaux

    [cleanup] QML types: Removed test that never succeeded and moreover u…

    fpessaux committed Jul 1, 2011
    …sed tags of TypeIdent.
    
    By the way, this test was useless because if it succeeded, the printer of the
    toplevel would have printed less precise information.
Commits on Jun 29, 2011
  1. @fpessaux

    [cleanup] AST: Merged Abstract and Extern tags of TypeIdent into 1 un…

    fpessaux committed Jun 29, 2011
    …ique Extern.
    
    In fact, one implied the other, making ton of useless and confusing code. The
    aim in fine is to remove these tags from TypeIdents.
Commits on Jun 28, 2011
  1. @fpessaux
Commits on Jun 24, 2011
  1. @fpessaux
  2. @fpessaux

    [cleanup] qml level typer: Cleanup in obscure options never set.

    fpessaux committed Jun 24, 2011
    By the way, removed optionnal arguments and put instead required with labels
    fot some pretty non-trivial arguments. However, experience shows that creation
    of the typer is always done with the same value for these arguments (gamma,
    annotmap and qml db scheme). I wonder if we should not internalize these
    parameters as fixed values of the typer creation function.
Commits on Jun 22, 2011
  1. [clean] most passes: removing @expanded_bypass

    Valentin Gatien-Baron committed Jun 17, 2011
    not introduced anymore by BypassHoisting
Commits on Jun 21, 2011
  1. Initial open-source release

    MLstate committed Jun 21, 2011
Something went wrong with that request. Please try again.