Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Aug 10, 2011
  1. @nrs135

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

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

    Valentin Gatien-Baron authored
Commits on Aug 8, 2011
  1. @fpessaux
Commits on Jul 29, 2011
  1. @fpessaux

    [cleanup] remove chars: compiler

    fpessaux authored François-Régis Sinot committed
Commits on Jul 22, 2011
  1. [fix] slicer: wrong slicing of nested local functions

    Valentin Gatien-Baron authored
    when an inner function is contained in a local annotated function
Commits on Jul 8, 2011
  1. @akoprow
  2. @fpessaux
  3. @fpessaux

    [fix] Missing position: OPA-697.

    fpessaux authored
    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.
Commits on Jul 7, 2011
  1. [feature] adding: an @async directive on bindings to perform asynchro…

    Valentin Gatien-Baron authored
    …nous calls
    
    both local and remote (only client->server though)
Commits on Jun 30, 2011
  1. [fix] pass_simplifyMagic: wrong order of specializers caused wierd re…

    Valentin Gatien-Baron authored
    …cursions to appear in the code
    
    when adding @stringifiers
Commits on Jun 28, 2011
  1. [fix] pass_Purge: not removing @opensums, @openrecord too early

    Valentin Gatien-Baron authored
    turns out that their annotations can be needed, because the type inside and outside the directive
    is not the same
    (unlike coerce, or @nonexpansive)
  2. @fpessaux
Commits on Jun 24, 2011
  1. [fix] lambda lifting: was dropping one more annotation for ei

    Valentin Gatien-Baron authored
    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)
  2. [fix] bypassHoisting: bypasses were not rewritten under apply nodes

    Valentin Gatien-Baron authored
Commits on Jun 22, 2011
  1. [doc] pass_Purge: fixing the compilation of the doc by escaping direc…

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

    Valentin Gatien-Baron authored
    on some forall
  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

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

    Valentin Gatien-Baron authored
    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
Commits on Jun 21, 2011
  1. Initial open-source release

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