Skip to content

Rebased for ocaml 4.02.3 #47

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 495 commits into
base: modular-implicits
Choose a base branch
from
Open

Rebased for ocaml 4.02.3 #47

wants to merge 495 commits into from

Conversation

Kakadu
Copy link

@Kakadu Kakadu commented Jan 17, 2016

It seems that I have occasionally commited something wrong during rebase but final version seems to be OK and make tests pass.

Damien Doligez and others added 30 commits May 6, 2015 20:00
supplemental fix for PR#6797
ed60dec 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16095 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@mshinwell
Fix PR#6810: Improve documentation of Bigarray.Genarray.map_file
b06b83f 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16096 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
revert 16093 (problem with absolute paths in #! headers)
36a68e6 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
byproduct of PR#6266: remove unused file
0fb81e3 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16098 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6862
b9beb25 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16101 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@gasche
Revert "Revert "PR#6693: also build libasmrun_shared.so and lib{asm,c…
6c55799 
…aml}run_pic.a""

This reverts commit 452eb3d9fca4fc277ee195906c6a92d484e07c21.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@gasche
PR#6733: ocamlbuild .{byte,native}.so targets and runtime_variant(X) …
84787df 
…flag

(Peter Zotov)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@mshinwell
Misplaced assertion for no-naked-pointers mode
d0f7352 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@lpw25
Update VERSION file
651c47c 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16108 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@lpw25
GPR#149: Attach documentation comments to Parsetree
29d53fc 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6747: ocamlobjinfo: missing symbol caml_plugin_header due to under…
c307e5a 
…score

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6281: Graphics window does not acknowledge second click (double cl…
2c77edd 
…ick)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix ambiguous documentation comments
bc574ac 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6266: Cross compilation for iOs, Android etc
c1e26ad 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16114 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6845: -no-check-prims to tell ocamlc not to check primitives in ru…
7a33be2 
…ntime

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16115 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5822: wrong value of Options.ext_dll on windows
4ba1669 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@jeremiedimino
PR6865: Fix parsing of toplevel [let%foo _ = expr]
9399325 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16118 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
GPR#157: store the path of cmos inside debug section at link time
52a39cc 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6872
9a73ad6 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6870
0415aa6 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@jeremiedimino
PR#6452, GPR#140: add internal support for custom printing formats
d49bea2 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@jeremiedimino
PR#6452 (part two): make custom_format string-only
9cb590b 
(Jérémie Dimino, Benoît Vaugon)



git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6870 (not only test...)
1ecc9eb 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@mshinwell
Fix fallout from PR 6693 on POWER architecture
4b73ec1 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16127 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@mshinwell
Fix PR#6869: Improve comment on [Hashtbl.hash_param]
1880401 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16128 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@mshinwell
Fix PR#6630: Failure of tests/prim-bigstring/{big,}string.ml on big-e…
ddf4db4 
…ndian architectures

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16129 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@mshinwell
Update instructions for x86-64 PIC mode and POWER architecture builds
8f7a06c 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16130 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@jeremiedimino
Support docstring before the semicolon in label declarations
ec49446 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16134 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@gasche
complete attribution information for the 4.02 Changelog
c9e7059 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16140 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
@gasche
more changelog love
c6e312d 
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
let-def and others added 30 commits April 18, 2016 20:02
@let-def @Kakadu
Broken implementation of termination
2ebeeb3
@let-def @Kakadu
defining constraints: expand_head in parameters, e.g 'a id t = ... wh…
e20701b 
…ere 'a id = 'a is discovered
@let-def @Kakadu
Broken but it builds
788d749
@let-def @Kakadu
Introduce new (broken) termination check
7b95bae
@let-def @Kakadu
FIX Constraint refinement & termination condition
43566a7
@let-def @Kakadu
is_pure_module test
5c3aa23
@let-def @Kakadu
Check wellformedness of implicit parameters
6e4b78e
@let-def @Kakadu
Add tests for wellformedness of parameters
0fae70e
@let-def @Kakadu
WIP... Search strategy is broken
86123bd
@let-def @Kakadu
New search strategy... Simple backtracking, no termination checking
d5be375
@let-def @Kakadu
Move implicit packing to Typeimplicit
888dcc1
@let-def @Kakadu
Implicit constraints can be discovered during inclusion test
b510503
@let-def @Kakadu
Raise Ambiguous_implicit error
31ff04d
@let-def @Kakadu
Update testsuite
78cf7e8
@let-def @Kakadu
Termination check
a8fe575
@let-def @Kakadu
Disable moregeneral during implicit inclusion checking
6b6858e
@let-def @Kakadu
Check occurrences of free variables in definitional constraints
84ce4c2
@let-def @Kakadu
Add -backtrack flag to the compiler
ba1901c
@let-def @Kakadu
Add local search strategy
4e7434d
@let-def @Kakadu
HACK: don't strengthen private rows
9a066b7
@let-def @Kakadu
Private rows test
57a708a
@let-def @Kakadu
Termination error when local search fails (FIXME: better error message)
696e395
@let-def @Kakadu
Subst: rename implicit parameters!!!!!!!
aaef9be
@let-def @Kakadu
Allow search for multiple implicits
f287633
@let-def @Kakadu
Add subtraction arithmetic test
9187cef
@let-def @Kakadu
Fix termination checking
d8f27c0
@let-def @Kakadu
Expand paths when looking for flexible in termination checking
6ce0ec6
@let-def @Kakadu
Remove implicit escape restriction
5fed121
@let-def @Kakadu
Better error messages for search failure
0944ee9
@Kakadu
fix decalring implicit module in module signatures
8e96fd9
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
9 participants
@Kakadu @mshinwell @gasche @lpw25 @jeremiedimino @lefessan @let-def @yallop @LeoTestard