Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
10,978 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

860 Commits (7cb9a80744aa47c1eb7bf4b1a32cfaf320fc8ef8)

Author SHA1 Message Date
Gabriel Scherer 1fb2a8166c update Changes for GPR#279 2015-11-05 16:52:03 +01:00
François Bobot 26b8189fe8 Update Changes 2015-11-05 13:09:27 +01:00
Leo White 44306923a8 Merge pull request #261 from lpw25/fix-pr6998 
Fix PR6998
 2015-11-05 11:35:55 +00:00
Jeremie Dimino 5ed4d5bb4b add missing author in Changes 2015-11-05 10:41:13 +00:00
Jeremie Dimino 6676784f63 PR#6806: Allow type annotations before the "->" in "fun <args> -> <expr>" 
Patch by Valentin Gatien-Baron
 2015-11-05 10:41:13 +00:00
Jeremie Dimino 26657d5736 PR#6806: Syntactic sugar for type annotations on record fields 
Add the following syntactic sugars, in both expressions and patterns:
- { f : typ = x } to mean { f = (x : typ) }
- { f : typ     } to mean { f = (f : typ) }

In expressions, the type annotation can also be a coercion. For
instance: { f :> typ } to mean { f = (f :> typ) }.

Patch by Valentin Gatien-Baron
 2015-11-05 10:41:13 +00:00
Jacques Garrigue f32db119ce Fix PR#7036: Module alias and package type equality 2015-11-05 14:20:50 +09:00
Leo White e714e25a01 Take the P out of my name 2015-11-04 11:01:34 +00:00
Leo White c0ea8bf779 Add Changes entry 2015-11-04 11:01:34 +00:00
alainfrisch 6e0352187b Changelog. 2015-11-03 21:05:07 +01:00
Jérémie Dimino 8fee9d45e1 Merge pull request #277 from diml/more-unboxed-on-externals 
Switch a few externals to [@@unboxed]
 2015-11-03 17:59:21 +00:00
Jeremie Dimino 770c0531c8 Update Changes 2015-11-03 17:22:05 +00:00
Gabriel Scherer 9e190ed926 update Changes for GPR #276 2015-11-03 14:31:25 +01:00
Mark Shinwell bbd0ac54ab Changes entries for GPR#270 and GPR#271 2015-11-02 14:51:03 +00:00
Gabriel Scherer 6ca3ce56ee Changes elaboration 2015-10-31 16:58:17 +01:00
Gabriel Scherer b2e81d7800 Merge pull request #267 from yallop/faster-ifprintf 
A more efficient implementation of ifprintf
 2015-10-31 16:54:40 +01:00
Jeremy Yallop afccdb3609 Changelog entry for PR7034. 2015-10-31 12:27:01 +00:00
Xavier Leroy 4bd9adbdc7 PR#7030: libasmrun_shared.so fails to build on SPARC Solaris 2015-10-27 18:16:08 +01:00
Gabriel Scherer 54e039901e GPR#42: Add simpler functor type syntax 
(Leo White)

Add support for simple functor types of the form:

    S -> T

equivalent to:

    functor (_ : S) -> T

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-25 16:24:47 +00:00
Gabriel Scherer 8afbaa5747 New representation for queues, avoiding Obj.magic 
(Jérémie Dimino)

- use inline-records to avoid using Obj.magic while keeping
  indirections to the minumum
- change the representation from a cyclic list to a simply-linked
  list. The drawback is one more word per queue, but it makes the
  implementation clearer

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-25 13:39:07 +00:00
Gabriel Scherer 2d9ff61b02 Improve the code generation for if equivalent to seqand or sequor 
(Pierre Chambart)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16544 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-25 13:39:05 +00:00
Gabriel Scherer 1ee366e423 Changes: rename 'octachron' into Florian Angeletti 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-25 12:06:36 +00:00
Xavier Leroy 6054bcb3dd GPR#164: more efficient (branchless) implementation of Pervasives.compare 
specialized at type 'float'.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16539 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-25 10:21:13 +00:00
Mark Shinwell ca39ac766e GPR#262: Multiple GC roots per compilation unit 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-23 15:16:22 +00:00
Jacques Garrigue a335b18a45 merge branches/gadt-warnings 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-23 08:33:44 +00:00
Mark Shinwell e27e699fca GPR#173: Attributes to control inlining 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-23 08:18:08 +00:00
Alain Frisch 4984cd0f8f PR#7022, GPR#259: unbox float and boxed ints earlier, avoid second pass. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-20 15:11:11 +00:00
Damien Doligez 587e2d9cbb remove duplicate entry in Changes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-19 15:50:12 +00:00
Damien Doligez 659615c7b1 fix PR#7003 and a few other bugs caused by misuse of Int_val 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-19 15:47:33 +00:00
Damien Doligez be79451d83 PR#7008: Fatal error in ocamlc with empty compilation unit name 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-19 13:01:28 +00:00
Gabriel Scherer 67fcfe0104 GPR#258: add missing Changes entry 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-17 14:21:21 +00:00
Gabriel Scherer 41a8aa5771 PR#7012: hint when using [ 'A | 'B ] instead of [ B ] 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16519 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-17 13:46:02 +00:00
Gabriel Scherer c23132d6fc Revert "PR#7012: hint when using [ 'A | 'B ] instead of [ B ]" 
(Sent the wrong patch version)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-17 13:46:00 +00:00
Gabriel Scherer 88fe01cc5b PR#7012: hint when using [ 'A | 'B ] instead of [ B ] 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-17 13:42:00 +00:00
Jacques Garrigue 211888ed03 Fix PR#6907: always mark all loops... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-16 15:00:46 +00:00
Jacques Garrigue 8ff158b81c Fix PR#6954: subtleties of expansion... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-16 14:03:04 +00:00
Jacques Garrigue bea2f16ec8 Fix PR#7016: occur check must handle existing recursive types 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-16 10:25:08 +00:00
Alain Frisch 6335c01389 Typo. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-15 13:29:35 +00:00
Alain Frisch a21eaeaa40 GPR#254: @ocaml.arg_on_literal_pattern attribute on constructors 
to warn when the argument is matches against a constant pattern.
This attributes is applied on predefined exception constructors
which take an purely informational (with no stability guarantee)
message.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-15 12:30:10 +00:00
Alain Frisch aaeda7763b #4800: better compilation of tuple assignment (joint work Gabriel Scherer / Alain Frisch). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-15 12:07:08 +00:00
Alain Frisch 1c6229235b #7018: fix missing identifier renaming during inlining. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-14 20:05:38 +00:00
Xavier Leroy 307f55ade9 PR#7013: spurious wake-up in the Event module. 
Tentative fix, to be tested.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-11 08:55:26 +00:00
Jacques Garrigue 0a4f57d5b7 Fix PR#7012 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-10 07:22:35 +00:00
Gabriel Scherer 3fcdc06ae8 add missing LIB and INCLUDE variables from MS environment export in README 
(Philip Daian)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16487 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-09 20:42:00 +00:00
Gabriel Scherer e27c4df33b Fix cross-compilation with ocamldoc enabled. 
(Peter 'whitequark' Zotov)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-09 20:41:58 +00:00
Gabriel Scherer bedb4e3ac1 Build system: fix a few hardcoded ar commands. 
(Daniel Bünzli)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-09 20:41:57 +00:00
Gabriel Scherer 961622faad Changes entry for comment translation 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-09 20:41:55 +00:00
Gabriel Scherer 917a9c1c51 safe Stream changelog entry 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-09 20:41:36 +00:00
Gabriel Scherer e60b6f423e fleshing out the CONTRIBUTING document 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16468 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-09 20:41:28 +00:00
Damien Doligez 3397e7ff16 GPR#243: Faster test suite 
(Xavier Leroy)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2015-10-09 15:45:37 +00:00