Rebased for ocaml 4.02.3#47

Open

Kakadu wants to merge 495 commits intoocamllabs:modular-implicitsfrom Kakadu:mi-rebased-4.02.3

+16,961-7,356

This pull request is big! We're only showing the most recent 250 commits

Commits on May 6, 2015

supplemental fix for PR#6797
Damien Doligez
committed
Fix PR#6810: Improve documentation of Bigarray.Genarray.map_file
mshinwell
committed
revert 16093 (problem with absolute paths in #! headers)
Damien Doligez
committed
byproduct of PR#6266: remove unused file
Damien Doligez
committed

Commits on May 9, 2015

Fix PR#6862
Jacques Garrigue
committed

Commits on May 10, 2015

Commits on May 11, 2015

Commits on May 12, 2015

PR#6747: ocamlobjinfo: missing symbol caml_plugin_header due to underscore
Damien Doligez
committed
PR#6281: Graphics window does not acknowledge second click (double click)
Damien Doligez
committed
fix ambiguous documentation comments
Damien Doligez
committed
PR#6266: Cross compilation for iOs, Android etc
Damien Doligez
committed
PR#6845: -no-check-prims to tell ocamlc not to check primitives in runtime
Damien Doligez
committed
PR#5822: wrong value of Options.ext_dll on windows
Damien Doligez
committed

Commits on May 15, 2015

Commits on May 17, 2015

Fix PR#6872
Jacques Garrigue
committed
Fix PR#6870
Jacques Garrigue
committed

Commits on May 18, 2015

Commits on May 20, 2015

Support docstring before the semicolon in label declarations
jeremiedimino
committed

Commits on May 24, 2015

complete attribution information for the 4.02 Changelog
gasche
committed

Commits on May 25, 2015

more changelog love
gasche
committed

Commits on May 27, 2015

Fix PR#6879: Wrong optimization of 1 mod n
mshinwell
committed

Commits on May 31, 2015

Commits on Jun 1, 2015

Add @SInCE 4.02.0 to __LOC__, etc.
lefessan
committed

Commits on Jun 2, 2015

PR#6884: The __CYGWIN32__ #define should be replaced with __CYGWIN__
Damien Doligez
committed

Commits on Jun 3, 2015

GPR#190: typo in pervasives
Damien Doligez
committed
Fix PR#6886
Jacques Garrigue
committed

Commits on Jun 4, 2015

fix reporter's name
Damien Doligez
committed
PR#6889: ast_mapper fails to rewrite class attributes
Damien Doligez
committed
GPR#191: Making gc.h and some part of memory.h public
Damien Doligez
committed

Commits on Jun 5, 2015

fix commit 16156 for 32-bit Windows/MSVC
Damien Doligez
committed
Attach comments to includes in structures
lpw25
committed
Floating docstrings are also extra text
lpw25
committed
6893: "tag not used" warning when using (p)dep to declare linking tags
Damien Doligez
committed

Commits on Jun 9, 2015

GPR#191 followup: add Is_in_static_data to address_class.h
Damien Doligez
committed

Commits on Jun 10, 2015

Fix PR#6878: AArch64 conditional branches out of range. (Introduces new, generic branch relaxation module.)
mshinwell
committed
Fix copyright notices for new branch relaxation files
mshinwell
committed
tweak copyright headers (again)
Damien Doligez
committed
last commit before 4.02.2+rc1
Damien Doligez
committed
increment version number after 4.02.2+rc1
Damien Doligez
committed

Commits on Jun 17, 2015

last commit before release 4.02.2
Damien Doligez
committed
increment version number after release 4.02.2
Damien Doligez
committed

Commits on Jul 10, 2015

PR#6919: corrupted final_table
Damien Doligez
committed
update version number
Damien Doligez
committed

Commits on Jul 15, 2015

Fix PR#6930
Jacques Garrigue
committed

Commits on Jul 20, 2015

PR#6908: Top-level custom printing for GADTs: interface change in 4.02.2
Damien Doligez
committed
PR#6393: new primitive caml_alloc_dummy_function
Damien Doligez
committed
PR#6691: install .cmt[i] files for stdlib and compiler-libs
Damien Doligez
committed
move GC hooks to a safe place for callbacks
Damien Doligez
committed

Commits on Jul 21, 2015

PR#6926: Regression: ocamldoc lost unattached comment
Damien Doligez
committed
bootstrap
Damien Doligez
committed

Commits on Jul 23, 2015

tagging release 4.02.3
Damien Doligez
committed

Commits on Jan 17, 2016

Use module_binding in Pexp_letmodule / Texp_letmodule

let-def
authored and
Kakadu
committed
Introduce Asttypes.arrow_flag to encode labelled arguments

let-def
authored and
Kakadu
committed
Split arrow_flag into Parsetree.arrow_flag and Types.arrow_flag

let-def
authored and
Kakadu
committed
Remove Typedtree.optional, as its purpose was redundant.

let-def
authored and
Kakadu
committed
WIP: refining arrow_flag with apply_flag

let-def
authored and
Kakadu
committed
Introduce Asttypes.arrow_flag to encode labelled arguments

let-def
authored and
Kakadu
committed
Introduce Asttypes.arrow_flag to encode labelled arguments

let-def
authored and
Kakadu
committed
Introduce "implicit" keyword and constructions in parser

let-def
authored and
Kakadu
committed
WIP introducing implicit in typing

let-def
authored and
Kakadu
committed
Make ocaml compile, add TODOs for implicit in typer

let-def
authored and
Kakadu
committed
Change representation of implicits in AST

let-def
authored and
Kakadu
committed
Introduce implicits in Typedtree

let-def
authored and
Kakadu
committed
WIP: toplevel is working

let-def
authored and
Kakadu
committed
Fix tools, leave FIXMEs in ocamldoc

let-def
authored and
Kakadu
committed
Add Implicit flag to arrow_flag

let-def
authored and
Kakadu
committed
WIP, generalizing arrows

let-def
authored and
Kakadu
committed
WIP3

let-def
authored and
Kakadu
committed
Introduce "let implicit _ in _" expression

let-def
authored and
Kakadu
committed
Get rid of Ppat_implicit

let-def
authored and
Kakadu
committed
Implement proper pretty printing for implicit arguments

let-def
authored and
Kakadu
committed
WIP, escape caught

let-def
authored and
Kakadu
committed
Turn arguments in application into a type on its own

let-def
authored and
Kakadu
committed
Substitute implicit types on application.

let-def
authored and
Kakadu
committed
Add function to instantiate implicit

let-def
authored and
Kakadu
committed
Fix tools, bootstrap

let-def
authored and
Kakadu
committed
Keep track of pending implicit instances

let-def
authored and
Kakadu
committed
Prototype

let-def
authored and
Kakadu
committed
Add examples with implicit

let-def
authored and
Kakadu
committed
Change implicit instantiation strategy

let-def
authored and
Kakadu
committed
Update depend

let-def
authored and
Kakadu
committed
Parser: add parsing of implicit types

let-def
authored and
Kakadu
committed
Typeimplicit: comment printf-debugging

let-def
authored and
Kakadu
committed
Type implicit arguments module alpha-equivalence

let-def
authored and
Kakadu
committed
Separate generalize_implicits from generalize

let-def
authored and
Kakadu
committed
Remove one-more printf debugging

let-def
authored and
Kakadu
committed
Typeimplicit: use path instead of arbitrary type variables as constraints

let-def
authored and
Kakadu
committed
Catch uninstantiable implicit and print minimal error message

let-def
authored and
Kakadu
committed
Generate fresh identifier for implicit argument, fix moregeneral / inclusion checking

let-def
authored and
Kakadu
committed
Fix fake module names

let-def
authored and
Kakadu
committed
Add Typemod.type_implicit_instance

let-def
authored and
Kakadu
committed
Extract instance search code from Typeimplicit into Implicitsearch

let-def
authored and
Kakadu
committed
WIP, added "sign" to typeimplicit

let-def
authored and
Kakadu
committed
WIP

let-def
authored and
Kakadu
committed
WIP

let-def
authored and
Kakadu
committed
Simplify representation of implicits

let-def
authored and
Kakadu
committed
Update tools/ to new representation

let-def
authored and
Kakadu
committed
Remove pat_implicit

let-def
authored and
Kakadu
committed
PoC: testable recursive resolution

let-def
authored and
Kakadu
committed
Generate proper module applications

let-def
authored and
Kakadu
committed
Add examples. Time to play \o/

let-def
authored and
Kakadu
committed
Revert unify hack :), FIXME

let-def
authored and
Kakadu
committed
Ctype: allow equation generation while computing type equality

let-def
authored and
Kakadu
committed
Fix equality equations

let-def
authored and
Kakadu
committed
Env: strengthen implicit modules on registration

let-def
authored and
Kakadu
committed
Implicitsearch: equation based resolution procedure

let-def
authored and
Kakadu
committed
Ctype: fix typo

let-def
authored and
Kakadu
committed
Typemod: check that implicit modules are closed

let-def
authored and
Kakadu
committed
Termination checking

let-def
authored and
Kakadu
committed
Implicitsearch: don't share stack between different arguments of the same level

let-def
authored and
Kakadu
committed
Implicitsearch: prevent binding parameters as implicit

let-def
authored and
Kakadu
committed
Implicitsearch: cleanup code

let-def
authored and
Kakadu
committed
Add "open implicit" syntax

let-def
authored and
Kakadu
committed
Fix handling of implicit arguments modulo alpha-renaming

let-def
authored and
Kakadu
committed
Implicitsearch: cleanup code, document

let-def
authored and
Kakadu
committed
Implicitsearch: Refactor search procedure

let-def
authored and
Kakadu
committed
Implicitsearch: PoC using new implementation

let-def
authored and
Kakadu
committed
Implicitsearch: PoC ambiguity detection

let-def
authored and
Kakadu
committed
Typecore.type_application: handle empty argument list

let-def
authored and
Kakadu
committed
Typeimplicit: fix generation of fresh identifiers for implicit arguments

let-def
authored and
Kakadu
committed
Typeimplicit: also unlink with constraints

let-def
authored and
Kakadu
committed
Typecore: check presence of implicit when typing top-level identifier

let-def
authored and
Kakadu
committed
Ctype: fix equation generation when computing type equality

let-def
authored and
Kakadu
committed
Typeimplicit: refactor & unify free variables after successful search.

let-def
authored and
Kakadu
committed
Implicitsearch: WIP, stack reification

let-def
authored and
Kakadu
committed
Proper representation for implicit search solution

let-def
authored and
Kakadu
committed
WIP HKT

let-def
authored and
Kakadu
committed
Fix handling of type levels during Linking

let-def
authored and
Kakadu
committed
Typeimplicit: ensure implicit arguments are generated in the source order

let-def
authored and
Kakadu
committed
Improve error messages

let-def
authored and
Kakadu
committed
Comment some printf debugging

let-def
authored and
Kakadu
committed
WIP making HKT works with functor arguments

let-def
authored and
Kakadu
committed
Parser: allow applicative module path in implicit argument

let-def
authored and
Kakadu
committed
Ctype: allow parameters in equality equations

let-def
authored and
Kakadu
committed
Implicitsearch: support HKT during search of functor arguments

let-def
authored and
Kakadu
committed
WIP fixing type escapes

let-def
authored and
Kakadu
committed
WIP

let-def
authored and
Kakadu
committed
Factor out typing rules for implicit functions

let-def
authored and
Kakadu
committed
Enable approximation of implicit module types

let-def
authored and
Kakadu
committed
New instantiation strategy

let-def
authored and
Kakadu
committed
Fix handling of implicit binders in Subst & Typeimplicit.unlink

let-def
authored and
Kakadu
committed
Typecore: disable approximation of implicit arguments

let-def
authored and
Kakadu
committed
TEMPORARY: Make debug printing of identifier optional

let-def
authored and
Kakadu
committed
Comment some printf-debugging

let-def
authored and
Kakadu
committed
Fix typechecking of some implicit constructs

let-def
authored and
Kakadu
committed
Imp_control/Imp_data: basic implicit libraries

let-def
authored and
Kakadu
committed
Sample scope management implicit module

let-def
authored and
Kakadu
committed
Implicitsearch: switch off printf-debugging

let-def
authored and
Kakadu
committed
Typecore: fix typing of application

let-def
authored and
Kakadu
committed
Add solution to g()"al" problem

let-def
authored and
Kakadu
committed
Fix typechecking of implicit application

let-def
authored and
Kakadu
committed
Fix Imp_data example

let-def
authored and
Kakadu
committed
Fix typos

let-def
authored and
Kakadu
committed
Typetexp: manage levels when crossing implicit binder

let-def
authored and
Kakadu
committed
Ctype: fix equality modulo equations in presence of hkt

let-def
authored and
Kakadu
committed
Implicitsearch: make use of higher-kinded constraints in termination checking

let-def
authored and
Kakadu
committed
Implicitsearch: rework equality generation and sharing in recursive instantiation

let-def
authored and
Kakadu
committed
Remove some printf debugging

let-def
authored and
Kakadu
committed
Implicit levels during unification is 0

let-def
authored and
Kakadu
committed
type_application.lower_args: thread and update environment in presence of implicits

let-def
authored and
Kakadu
committed
Fix code after rebase

let-def
authored and
Kakadu
committed
unmark types where appropriate

let-def
authored and
Kakadu
committed
Simplify diff to ease review

let-def
authored and
Kakadu
committed
Typecore.type_argument: apply omitted optional argument was done in wrong order

let-def
authored and
Kakadu
committed
Ctype.eq_type: fix case with two paths accepting equalities

let-def
authored and
Kakadu
committed
Implicitsearch: find ambiguities up-to module aliases

let-def
authored and
Kakadu
committed
Updated .depend

let-def
authored and
Kakadu
committed
Bootstrap

let-def
authored and
Kakadu
committed
Typeimplicit: copy level before recursing into subtypes

let-def
authored and
Kakadu
committed
Fix ocamllabs#3 : bind implicit args while processing type declarations

let-def
authored and
Kakadu
committed
Fix -dsource output (ocamllabs#7 )

let-def
authored and
Kakadu
committed
Check path arities in Ctype.subtype, may solve ocamllabs#10

let-def
authored and
Kakadu
committed
Typetexp: fix processing of implicit binders (ocamllabs#1 )

let-def
authored and
Kakadu
committed
Add some test cases

let-def
authored and
Kakadu
committed
Add a README with build status.

yallop
authored and
Kakadu
committed
Add implicit functor args to the implicit environment.

yallop
authored and
Kakadu
committed
Fix bug in type marking when replacing variables with abstract types

lpw25
authored and
Kakadu
committed
Always generalize implicits before running regular generalization

lpw25
authored and
Kakadu
committed
Generalize implicits when we leave an implicit function declaration

lpw25
authored and
Kakadu
committed
Add forwards propagation over implicit function defintions

lpw25
authored and
Kakadu
committed
Move examples to the test suite

lpw25
authored and
Kakadu
committed
Fix handling of applicative paths in equality checking for type constructors.

LeoTestard
authored and
Kakadu
committed
Fix off-by-one error in 65019d6

yallop
authored and
Kakadu
committed
Implicitsearch: fix translation of implicit path to implicit instances

let-def
authored and
Kakadu
committed
Ctype: handle Tarr_implicit in generalize

let-def
authored and
Kakadu
committed
Import Env.register_as_implicit from modular-implicits-statement branch

let-def
authored and
Kakadu
committed
Don't make implicit functor arguments implicit modules, just register them in implicit scope

let-def
authored and
Kakadu
committed
Adding arithmetic test to the testsuite

let-def
authored and
Kakadu
committed
Fix generative functors

lpw25
authored and
Kakadu
committed
Change the syntax of implicit parameters

lpw25
authored and
Kakadu
committed
Travis tests: use Camlp4 branch with modular implicits support.

yallop
authored and
Kakadu
committed
Travis tests: don't attempt to build OPAM.

yallop
authored and
Kakadu
committed
Switch Pprintast over to the new syntax.

yallop
authored and
Kakadu
committed
Modular implicits test: an implementation of Leibniz equality.

yallop
authored and
Kakadu
committed
Make implicit functors ordinary module types

lpw25
authored and
Kakadu
committed
Update generative functor test

lpw25
authored and
Kakadu
committed
bootstrap
Kakadu
committed

Commits on Jan 18, 2016

Commits on Jan 31, 2016

Commits on Apr 18, 2016

Rename "target" to "goal"

let-def
authored and
Kakadu
committed
Implicitsearch.Constraints.goal: check equations on abstract row types like ones on parametric types

let-def
authored and
Kakadu
committed
Introduce "virtual" implicit parameters

let-def
authored and
Kakadu
committed
Rework equalities in Ctype and Env

let-def
authored and
Kakadu
committed
Reject equalities containing univars

let-def
authored and
Kakadu
committed
Ctype.equal: label rename parameter

let-def
authored and
Kakadu
committed
Implicitsearch: WIP rework constraints

let-def
authored and
Kakadu
committed
Broken implementation of termination

let-def
authored and
Kakadu
committed
defining constraints: expand_head in parameters, e.g 'a id t = ... where 'a id = 'a is discovered

let-def
authored and
Kakadu
committed
Broken but it builds

let-def
authored and
Kakadu
committed
Introduce new (broken) termination check

let-def
authored and
Kakadu
committed
FIX Constraint refinement & termination condition

let-def
authored and
Kakadu
committed
is_pure_module test

let-def
authored and
Kakadu
committed
Check wellformedness of implicit parameters

let-def
authored and
Kakadu
committed
Add tests for wellformedness of parameters

let-def
authored and
Kakadu
committed
WIP... Search strategy is broken

let-def
authored and
Kakadu
committed
New search strategy... Simple backtracking, no termination checking

let-def
authored and
Kakadu
committed
Move implicit packing to Typeimplicit

let-def
authored and
Kakadu
committed
Implicit constraints can be discovered during inclusion test

let-def
authored and
Kakadu
committed
Raise Ambiguous_implicit error

let-def
authored and
Kakadu
committed
Update testsuite

let-def
authored and
Kakadu
committed
Termination check

let-def
authored and
Kakadu
committed
Disable moregeneral during implicit inclusion checking

let-def
authored and
Kakadu
committed
Check occurrences of free variables in definitional constraints

let-def
authored and
Kakadu
committed
Add -backtrack flag to the compiler

let-def
authored and
Kakadu
committed
Add local search strategy

let-def
authored and
Kakadu
committed
HACK: don't strengthen private rows

let-def
authored and
Kakadu
committed
Private rows test

let-def
authored and
Kakadu
committed
Termination error when local search fails (FIXME: better error message)

let-def
authored and
Kakadu
committed
Subst: rename implicit parameters!!!!!!!

let-def
authored and
Kakadu
committed
Allow search for multiple implicits

let-def
authored and
Kakadu
committed
Add subtraction arithmetic test

let-def
authored and
Kakadu
committed
Fix termination checking

let-def
authored and
Kakadu
committed
Expand paths when looking for flexible in termination checking

let-def
authored and
Kakadu
committed
Remove implicit escape restriction

let-def
authored and
Kakadu
committed
Better error messages for search failure

let-def
authored and
Kakadu
committed

Commits on Apr 19, 2016

fix decalring implicit module in module signatures
Kakadu
committed