Skip to content
This repository

Sep 29, 2011

  1. [doc] opatop: disclaimers about experimental status

    François-Régis Sinot authored
  2. [fix] opatop: ignore package directives instead of failing

    François-Régis Sinot authored

Aug 10, 2011

  1. [feature] Database: making dblight compilation optional, depending on…

    … the support of Dbm in ocaml
    added some generic preprocessing in .mllib files so that this can be used for other optional dependencies too
    Louis Gesbert authored
  2. Norman Scaife

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

    nrs135 authored Louis Gesbert committed

Aug 08, 2011

  1. fpessaux

    [feature] Typer: Height of type abbreviation to balance unwinding dur…

    …ing unification.
    fpessaux authored

Jul 29, 2011

  1. fpessaux

    [cleanup] remove chars: compiler

    fpessaux authored François-Régis Sinot committed

Jul 07, 2011

  1. [cleanup] garbage: collecting some directives

    Valentin Gatien-Baron authored

Jul 01, 2011

  1. fpessaux

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

    …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.
    fpessaux authored

Jun 29, 2011

  1. fpessaux

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

    …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.
    fpessaux authored

Jun 28, 2011

  1. fpessaux

    [cleanup] Typer exceptions: Removed no more raised exceptions and rel…

    …ated functions.
    fpessaux authored

Jun 24, 2011

  1. fpessaux

    [cleanup] qml level typer: removed arguments always used with the sam…

    …e value.
    fpessaux authored
  2. fpessaux

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

    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.
    fpessaux authored

Jun 22, 2011

  1. [clean] most passes: removing @expanded_bypass

    not introduced anymore by BypassHoisting
    Valentin Gatien-Baron authored

Jun 21, 2011

  1. Initial open-source release

    MLstate authored
Something went wrong with that request. Please try again.