Permalink
Commits on Feb 20, 2012
Commits on Feb 18, 2012
  1. [enhance] http_client,web_client: more_headers argument is now a stri…

    Aqua-Ye committed Feb 18, 2012
    …ng list instead of a bare optional string
Commits on Feb 17, 2012
  1. [fix] compiler, renaming: on non separated mode don't take care of pa…

    BourgerieQuentin committed Feb 17, 2012
    …ckage name (should fix no separated tests)
  2. [fix] compiler, typer: print with pack => prevent Invalid arg throwed…

    BourgerieQuentin committed Feb 17, 2012
    … by get_package_name, and traverse forall
Commits on Feb 16, 2012
  1. [fix] compiler, database: export database ident into gamma only for d…

    BourgerieQuentin committed Feb 16, 2012
    …atabase declared in current package
  2. [enhance] compiler, typer: Error message with name type wich have sam…

    BourgerieQuentin committed Feb 16, 2012
    …e original names (adding original package)
Commits on Feb 15, 2012
  1. [enhance] compiler, utils: Added for convenience a set for binding_di…

    BourgerieQuentin committed Feb 15, 2012
    …rective and associated decons utils
  2. [fix] compiler, syntax: on letin following bindings should have a hig…

    BourgerieQuentin committed Feb 15, 2012
    …hest priority than coerced expr