Skip to content
Commits on Oct 2, 2012
  1. @cedricss

    [enhance] typer: apply use an injective unification (wip) (see below …

    …for more info)
    
    Arguments can have for all when the fun doesn't expect ones.
    Here is an example of a typing problem it solves:
    --
    module MakeQ(X) {
     function f(int v) {
          X.g(v)
      }
    }
    
    module M {
      function g(v){ v }
    }
    
    Q = MakeQ(M)
    --
    
    This fix uses the previous work to enable restricted coercion on module:
    w_Unify.ml
    --
     | ((W_Algebra.SType_forall schm1), _)
             when is_under_coercion  -> (... specialize schm1...)
    --
    
    Todo: rename is_under_coercion by something more general.
    
    Important: note that this patch switches unify_simple_type type arguments. In the unification the order is important.
    cedricss committed Oct 2, 2012
Commits on Sep 26, 2012
  1. @BourgerieQuentin
  2. @BourgerieQuentin

    [enhance] stdlib.crypto: Rewrites crypto functions (change the interf…

    …ace compute on binary intead of string)
    BourgerieQuentin committed Sep 26, 2012
  3. @BourgerieQuentin
  4. @BourgerieQuentin
  5. @Aqua-Ye

    [Rrevert] "[enhance] make_package: simplified the Mac Package name"

    This is problematic for nightlies. Have to think of a better solution.
    
    This reverts commit 2ab5e46.
    Aqua-Ye committed Sep 26, 2012
  6. @Aqua-Ye

    [doc] README: markdown typo

    Aqua-Ye committed Sep 26, 2012
  7. @OpaOnWindowsNow
  8. @Aqua-Ye

    [revert] "[fix] Makefile: install opa-create on distrib"

    This reverts commit b5aaeb4.
    Aqua-Ye committed Sep 26, 2012
  9. @OpaOnWindowsNow
  10. @OpaOnWindowsNow
Commits on Sep 25, 2012
  1. @Aqua-Ye
  2. @Aqua-Ye
  3. @cedricss

    [enhance] stdlib: logs clean up

    cedricss committed Sep 25, 2012
  4. @cedricss
  5. @cedricss
  6. @cedricss
  7. @cedricss
  8. @cedricss
  9. @cedricss
  10. @cedricss
  11. @BourgerieQuentin @cedricss
  12. @cedricss
  13. @BourgerieQuentin

    [enhance] compiler, js server: Export also distant identifier to the …

    …global namespace (needed by closure runtime serialization)
    BourgerieQuentin committed Sep 25, 2012
  14. @BourgerieQuentin

    [fix] compiler, js: Take care of js cleaning at linking (the test sho…

    …uld be a bit more restrictive)
    BourgerieQuentin committed Sep 25, 2012
  15. @BourgerieQuentin
Commits on Sep 24, 2012
  1. @Aqua-Ye
  2. @Aqua-Ye
  3. @Aqua-Ye

    [fix] opadoc: no need to ignore doctype in imp_Code, but recursively …

    …remove doctype directive instead
    Aqua-Ye committed Sep 20, 2012
  4. @Aqua-Ye

    [enhance] opadoc, surfaceAst, qmlAst: transfer opacapi and module inf…

    …o from SurfaceAst to QmlAst and print it in api file
    Aqua-Ye committed Sep 19, 2012
  5. @Aqua-Ye
  6. @Aqua-Ye
  7. @BourgerieQuentin
  8. @BourgerieQuentin
  9. @BourgerieQuentin
Something went wrong with that request. Please try again.