Skip to content
This repository

Aug 10, 2011

  1. Norman Scaife

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

    nrs135 authored Louis Gesbert committed
  2. [doc] ei: general description of what it does and how

    Valentin Gatien-Baron authored

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 22, 2011

  1. [fix] slicer: wrong slicing of nested local functions

    when an inner function is contained in a local annotated function
    Valentin Gatien-Baron authored

Jul 08, 2011

  1. Adam Koprowski

    [fix] typo: occurence->occurrence, occured->occurred

    akoprow authored
  2. fpessaux

    [fix] Missing position: OPA-697. Fixed all other cases in labmda-lift…

    …ing pass.
    fpessaux authored
  3. fpessaux

    [fix] Missing position: OPA-697.

    Fixes at least the exhibited case. However there are I think many other case
    with the same error. At least, thsi shows the fixing principle.
    fpessaux authored

Jul 07, 2011

  1. [feature] adding: an @async directive on bindings to perform asynchro…

    …nous calls
    both local and remote (only client->server though)
    Valentin Gatien-Baron authored

Jun 30, 2011

  1. [fix] pass_simplifyMagic: wrong order of specializers caused wierd re…

    …cursions to appear in the code
    when adding @stringifiers
    Valentin Gatien-Baron authored

Jun 28, 2011

  1. [fix] pass_Purge: not removing @opensums, @openrecord too early

    turns out that their annotations can be needed, because the type inside and outside the directive
    is not the same
    (unlike coerce, or @nonexpansive)
    Valentin Gatien-Baron authored
  2. fpessaux

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

    …ated functions.
    fpessaux authored

Jun 24, 2011

  1. [fix] lambda lifting: was dropping one more annotation for ei

    the bug would be triggered any time you had a functor containing a field that was a lambda with a polymorphic type
    that needed propagation and that used one of the argument of the functor (ie its env needed not to
    be empty)
    Valentin Gatien-Baron authored
  2. [fix] bypassHoisting: bypasses were not rewritten under apply nodes

    Valentin Gatien-Baron authored

Jun 22, 2011

  1. [doc] pass_Purge: fixing the compilation of the doc by escaping direc…

    Valentin Gatien-Baron authored
  2. [fix] pass_Purge: working around weird annotations of the typer

    on some forall
    Valentin Gatien-Baron authored
  3. [clean] passes: removing the unused field 'funaction' of env_gen

    Valentin Gatien-Baron authored
  4. [refactor] removing most typing directives sooner

    Valentin Gatien-Baron authored
  5. [clean] most passes: removing @expanded_bypass

    not introduced anymore by BypassHoisting
    Valentin Gatien-Baron authored
  6. [clean] bypassHoisting: simplifying it a lot

    it now only expand bypasses, doesn't try to factor them
    it doesn't hoist them, the lambda lifting does that
    it doesn't eta expand all the bypasses, only those that are not applied
    Valentin Gatien-Baron authored

Jun 21, 2011

  1. Initial open-source release

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