Skip to main content

Browse the archive

https://github.com/charguer/ocaml
28 December 2020, 04:32:43 UTC
sort by:
Revision Author Date Message Commit Date
5eb4d9b charguer 11 May 2016, 12:08:44 UTC Missing check in Array.sub which allows to read arbitrary data and segfault 11 May 2016, 12:08:44 UTC
fd76049 Arthur Charguéraud 26 May 2014, 12:30:19 UTC printfworkaround 26 May 2014, 12:30:19 UTC
fefe8bd Arthur Charguéraud 04 February 2014, 17:13:57 UTC typo 04 February 2014, 17:13:57 UTC
eafeec5 Arthur Charguéraud 01 February 2014, 15:30:29 UTC fixed 01 February 2014, 15:30:29 UTC
2702917 Arthur Charguéraud 30 January 2014, 21:55:29 UTC ok 30 January 2014, 21:55:29 UTC
58b1c06 Arthur Charguéraud 29 January 2014, 23:02:09 UTC fix 29 January 2014, 23:02:09 UTC
3b54654 Arthur Charguéraud 29 January 2014, 22:53:37 UTC top 29 January 2014, 22:53:37 UTC
8927da4 Arthur Charguéraud 29 January 2014, 15:30:11 UTC finish 29 January 2014, 15:30:11 UTC
d3a1c1f Arthur Charguéraud 29 January 2014, 15:06:41 UTC display 29 January 2014, 15:06:41 UTC
9ce5288 Arthur Charguéraud 29 January 2014, 12:18:22 UTC matching 29 January 2014, 12:18:22 UTC
e859b9d Arthur Charguéraud 29 January 2014, 11:38:33 UTC recursion 29 January 2014, 11:38:33 UTC
d6f994b Arthur Charguéraud 29 January 2014, 11:23:36 UTC displayfunc 29 January 2014, 11:23:36 UTC
d595094 Arthur Charguéraud 29 January 2014, 11:00:32 UTC recursion 29 January 2014, 11:00:32 UTC
33aa916 Arthur Charguéraud 28 January 2014, 22:38:45 UTC apply 28 January 2014, 22:38:45 UTC
4c48d98 Arthur Charguéraud 28 January 2014, 17:43:03 UTC pasfini 28 January 2014, 17:43:03 UTC
4528fde Arthur Charguéraud 28 January 2014, 15:50:00 UTC progress 28 January 2014, 15:50:00 UTC
e8146a6 Arthur Charguéraud 28 January 2014, 14:37:21 UTC progress 28 January 2014, 14:37:21 UTC
91e29b0 charguer 27 January 2014, 17:39:01 UTC typing conditional 27 January 2014, 17:39:01 UTC
9781d4e charguer 27 January 2014, 16:01:48 UTC fix 27 January 2014, 16:01:48 UTC
422a4a4 Arthur Charguéraud 27 January 2014, 14:59:51 UTC seqerror 27 January 2014, 14:59:51 UTC
6a296a0 Alain Frisch 23 January 2014, 12:01:44 UTC Fix conditional installation of ocamldebug under Windows. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 23 January 2014, 12:01:44 UTC
8e51133 Xavier Clerc 23 January 2014, 09:16:29 UTC PR#6183: enhanced documentation for 'Unix.shutdown_connection' git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14419 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 23 January 2014, 09:16:29 UTC
e663620 Xavier Clerc 23 January 2014, 09:07:09 UTC PR#6267: more information printed by "bt" command of ocamldebug git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 23 January 2014, 09:07:09 UTC
eaa8a78 Jacques Garrigue 23 January 2014, 01:58:37 UTC Fix PR#6303 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 23 January 2014, 01:58:37 UTC
c5b1594 Damien Doligez 22 January 2014, 14:39:39 UTC PR#6189, items (10) and (11) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 22 January 2014, 14:39:39 UTC
89735c4 Damien Doligez 22 January 2014, 14:33:38 UTC PR#6189: items (8) and (9) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 22 January 2014, 14:33:38 UTC
4311193 Damien Doligez 22 January 2014, 14:05:13 UTC PR#6189: items (5) (6) (7) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 22 January 2014, 14:05:13 UTC
d3d6cc0 Damien Doligez 22 January 2014, 14:01:10 UTC PR#6189, item (2): missing options in the doc git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 22 January 2014, 14:01:10 UTC
224adc5 Damien Doligez 22 January 2014, 13:32:33 UTC svn wants to commit mergeinfo... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 22 January 2014, 13:32:33 UTC
fd2c7e3 Damien Doligez 22 January 2014, 13:31:54 UTC PR#5598: (follow-up) handling of string constants in ocamllex should be the same as in ocamlc git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 22 January 2014, 13:31:54 UTC
64dd73a Damien Doligez 22 January 2014, 13:04:04 UTC PR#6165: Alterations to handling of \013 in source files breaking other tools git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 22 January 2014, 13:04:04 UTC
5d99ea5 Alain Frisch 21 January 2014, 16:47:05 UTC Fix dependency analysis for module aliases. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 21 January 2014, 16:47:05 UTC
df68b17 Jacques Garrigue 14 January 2014, 11:29:31 UTC Fix PR#6293 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 14 January 2014, 11:29:31 UTC
950be99 Jacques Garrigue 14 January 2014, 11:29:02 UTC Fix PR#6293 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 14 January 2014, 11:29:02 UTC
3b4d7cf Jacques Garrigue 10 January 2014, 07:53:33 UTC Merge module-alias branch (cf. PR#6063) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 10 January 2014, 07:53:33 UTC
4a25508 Gabriel Scherer 09 January 2014, 16:24:33 UTC update CHANGES git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 09 January 2014, 16:24:33 UTC
a2f40d8 Gabriel Scherer 09 January 2014, 16:24:32 UTC make bigarray.mli's documentation consistent with the new GADT interface git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 09 January 2014, 16:24:32 UTC
844052b Gabriel Scherer 09 January 2014, 16:24:30 UTC PR#6064: GADT representation for Bigarray.kind + CAML_BA_CHAR runtime kind Patch by Jeremy Yallop and Leo P. White git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 09 January 2014, 16:24:30 UTC
12a909e Jérémie Dimino 24 December 2013, 12:09:09 UTC fix commit 14384 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 24 December 2013, 12:09:09 UTC
33ad3e0 Jacques Garrigue 24 December 2013, 05:11:36 UTC udate test: let supports GADTs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 24 December 2013, 05:11:36 UTC
9fd3c41 Jérémie Dimino 23 December 2013, 16:24:50 UTC fix #6276: release the runtime in all stubs that might block git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 23 December 2013, 16:24:50 UTC
d90b126 Jacques Garrigue 20 December 2013, 06:55:26 UTC Add -trans-mod option for transparent module dependencies. Without that option, dependencies are strict, both for typing and linking. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 20 December 2013, 06:55:26 UTC
61a4334 Damien Doligez 19 December 2013, 14:47:26 UTC test/tool-debugger: add simple test for the debugger git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 19 December 2013, 14:47:26 UTC
cca1fc1 Damien Doligez 19 December 2013, 14:23:49 UTC debugger: fix environment bug and remove confirmation at quit git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 19 December 2013, 14:23:49 UTC
59dda47 Damien Doligez 18 December 2013, 16:28:44 UTC fix crashing bug in win32unix/select.c git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 18 December 2013, 16:28:44 UTC
c81cc50 Damien Doligez 17 December 2013, 09:58:47 UTC configure: SO must be "so" or "dll" without the dot git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 17 December 2013, 09:58:47 UTC
ed52c66 Damien Doligez 17 December 2013, 08:48:31 UTC ocamlmklibconfig.ml: add missing config varible git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 17 December 2013, 08:48:31 UTC
cfa350c Jacques Garrigue 17 December 2013, 03:52:50 UTC merge generative functors git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 17 December 2013, 03:52:50 UTC
024c8ad Jacques Garrigue 17 December 2013, 01:39:41 UTC Fix PR#6275 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 17 December 2013, 01:39:41 UTC
ac5cbb7 Alain Frisch 16 December 2013, 17:34:23 UTC #5808: allow simple patterns, not only identifiers, in 'let p : t = ...'. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 16 December 2013, 17:34:23 UTC
33f6c2c Xavier Leroy 14 December 2013, 16:34:18 UTC Un-bootstrapping of ocamlbuild, clean-up phase: - removed boot/myocamlbuild.boot, _tags, myocamlbuild.ml, etc - removed shell scripts in build/, now unused - revised configuration and build of tools/ocamlmklib. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 14 December 2013, 16:34:18 UTC
f65785a Xavier Leroy 12 December 2013, 17:38:43 UTC Un-bootstrapping of ocamlbuild: build it using a plain Makefile. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14347 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 12 December 2013, 17:38:43 UTC
7b514ef Alain Frisch 11 December 2013, 14:56:57 UTC Typo. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 11 December 2013, 14:56:57 UTC
7b76de4 Alain Frisch 11 December 2013, 14:56:46 UTC Fix. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 11 December 2013, 14:56:46 UTC
685c62c Maxence Guesdon 09 December 2013, 08:37:25 UTC update Changes for PR#6257 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 09 December 2013, 08:37:25 UTC
ff754c0 Maxence Guesdon 09 December 2013, 08:33:44 UTC PR#6257: allow full doc comments on variant constructors and record fields git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 09 December 2013, 08:33:44 UTC
32dddc3 Alain Frisch 05 December 2013, 14:57:10 UTC #6262: equality of first-class modules take module type aliases into account. Fix interaction with module inclusion. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 05 December 2013, 14:57:10 UTC
98bc2a5 Damien Doligez 05 December 2013, 10:16:28 UTC mergeinfo stuff that I don't understand git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 05 December 2013, 10:16:28 UTC
c2651f0 Damien Doligez 05 December 2013, 10:15:29 UTC fix testsuite makefile: openbsd does not support PWD env variable git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 05 December 2013, 10:15:29 UTC
c2cab7f Alain Frisch 04 December 2013, 09:37:37 UTC #6180: avoid redundant check in caml_make_float_vect. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 04 December 2013, 09:37:37 UTC
aa58e55 Damien Doligez 03 December 2013, 14:43:02 UTC port to cygwin-64 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 03 December 2013, 14:43:02 UTC
0f6873a Damien Doligez 03 December 2013, 14:42:23 UTC make the testsuite work on cygwin-64, where dynamic linking is not yet available git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 03 December 2013, 14:42:23 UTC
2086ac5 Alain Frisch 02 December 2013, 18:00:18 UTC #6246: allow wildcard pattern as for-loop index. ==> Camlp4 will need to be adapted. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 02 December 2013, 18:00:18 UTC
1ed1b20 Damien Doligez 30 November 2013, 22:15:11 UTC PR#6245: Minor inconsistencies between related signatures in arg.mli git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 30 November 2013, 22:15:11 UTC
33f242a Xavier Leroy 29 November 2013, 13:04:38 UTC Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits: 14278 14277 14276 14176 14175 14173 14172 14171 14169 14168 14167 These changes need to mature on their own branch. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 29 November 2013, 13:04:38 UTC
15da6d1 Alain Frisch 29 November 2013, 11:35:50 UTC Reports the beginning of the string literal in 'This comment contains an unterminated string literal' errors. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 29 November 2013, 11:35:50 UTC
f093afd Damien Doligez 28 November 2013, 17:50:22 UTC testsuite/external: update coq, lablgtk, alt-ergo git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 28 November 2013, 17:50:22 UTC
7984a93 Xavier Leroy 28 November 2013, 14:43:56 UTC Bring stack backtraces up-to-date on PowerPC, incl. reraise. Tested on PowerPC/Linux. Needs testing on PowerPC/MacOS X. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 28 November 2013, 14:43:56 UTC
140f620 Xavier Leroy 28 November 2013, 14:42:34 UTC Debug info was lost when rescheduling "checkbound" instructions. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 28 November 2013, 14:42:34 UTC
3d7d4b9 Xavier Leroy 28 November 2013, 14:34:45 UTC PR#6243: Make "ocamlopt -g" more resistant to ill-formed locations. (Reflecting commit r14321 on version/4.01) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 28 November 2013, 14:34:45 UTC
948d520 Xavier Leroy 27 November 2013, 17:10:35 UTC PR#6239: a "raise" in -g mode can end up calling a C function (stash_backtrace). Therefore the containing function must not be a leaf function, so that on x86-32/MacOSX and x86-64, the stack is properly 16-realigned on entrance to containing function. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 27 November 2013, 17:10:35 UTC
ed23a31 Damien Doligez 27 November 2013, 16:02:43 UTC typo in test log message git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 27 November 2013, 16:02:43 UTC
cde0013 Damien Doligez 27 November 2013, 15:44:30 UTC update for latest trunk changes git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 27 November 2013, 15:44:30 UTC
b30b541 Jérémie Dimino 23 November 2013, 09:11:19 UTC Remove camlp4. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 23 November 2013, 09:11:19 UTC
5d91763 Jérémie Dimino 21 November 2013, 16:23:28 UTC remove camlp4 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/minus-camlp4@14309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 21 November 2013, 16:23:28 UTC
94f29d2 Jérémie Dimino 21 November 2013, 16:17:37 UTC removal of camlp4 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/minus-camlp4@14308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 21 November 2013, 16:17:37 UTC
7335d5f Alain Frisch 19 November 2013, 18:01:05 UTC caml_backtrace_pos is a 32-bit integer under amd64. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 19 November 2013, 18:01:05 UTC
9b974c1 Jacques Garrigue 19 November 2013, 11:07:39 UTC Fix PR#6241 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 19 November 2013, 11:07:39 UTC
7c98525 Alain Frisch 19 November 2013, 10:36:06 UTC Add proper casts. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 19 November 2013, 10:36:06 UTC
3bb1612 Benedikt Meurer 19 November 2013, 07:01:54 UTC Perform constant optimizations for integer division and modulus on the C-- level. This way we can avoid having to duplicate the same functionality for every backend, and we may also benefit from other optimizations performed during C-- generation. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 19 November 2013, 07:01:54 UTC
ee2eb30 Jacques Garrigue 18 November 2013, 12:47:36 UTC new version of the patch, using module_type option, and allowing unpacking when no type created git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 18 November 2013, 12:47:36 UTC
c20af45 Jacques Garrigue 18 November 2013, 06:44:13 UTC Fix PR#6240 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 18 November 2013, 06:44:13 UTC
2a011d7 Jacques Garrigue 18 November 2013, 01:26:40 UTC Fix PR#6240 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 18 November 2013, 01:26:40 UTC
bedaff5 Jacques Garrigue 16 November 2013, 10:26:19 UTC fix computation of position git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 16 November 2013, 10:26:19 UTC
b4f8172 Jacques Garrigue 15 November 2013, 15:19:25 UTC also generate module aliases when using include git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 15 November 2013, 15:19:25 UTC
df7e6c1 Alain Frisch 15 November 2013, 15:09:51 UTC Missing include (==> implicit declaration of function 'caml_named_value'). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 15 November 2013, 15:09:51 UTC
e2827a1 Benedikt Meurer 14 November 2013, 17:56:15 UTC Revert "Don't use emit_parts_list for regular operations." This reverts commit r14292. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 14 November 2013, 17:56:15 UTC
7fab955 Benedikt Meurer 14 November 2013, 08:10:03 UTC Don't use emit_parts_list for regular operations. Using emit_parts_list does not make sense for any operation except Ialloc, where we can delay the computation of simple expression until the allocation is done. So we try to avoid using emit_parts_list for regular operations, where the special treatment of non simple expression conflicts with our special instruction selection on arm (and arm64). For example we cannot merge the add and shift operation required for tagging as soon as there is at least one non simple expression involved, even though both Cadd and Clsl do not care at all whether its arguments are simple or not. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 14 November 2013, 08:10:03 UTC
4818fbb Alain Frisch 13 November 2013, 14:52:21 UTC Changelog. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 13 November 2013, 14:52:21 UTC
f16534e Alain Frisch 13 November 2013, 13:55:13 UTC Reintegrate raise_variants branch. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 13 November 2013, 13:55:13 UTC
a51080b Alain Frisch 13 November 2013, 13:16:15 UTC No need for caml_init_exceptions. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 13 November 2013, 13:16:15 UTC
632d7e2 Alain Frisch 13 November 2013, 13:12:57 UTC Cleanup. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 13 November 2013, 13:12:57 UTC
37b6979 Jacques Garrigue 13 November 2013, 06:38:38 UTC update for trunk git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 13 November 2013, 06:38:38 UTC
b7ab746 Jacques Garrigue 13 November 2013, 00:16:03 UTC Fix PR#6235 + keep typing of pattern cases independent in principal mode git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 13 November 2013, 00:16:03 UTC
c3a2400 Benedikt Meurer 11 November 2013, 14:10:40 UTC [arm] Improve code selection for shifted arithmetic operations. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 11 November 2013, 14:10:40 UTC
7110a56 Jacques Garrigue 11 November 2013, 14:00:38 UTC expand module aliases and type identifiers in "module type of" git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 11 November 2013, 14:00:38 UTC
5d379f7 Jacques Garrigue 11 November 2013, 05:00:10 UTC use new scrape_alias for Env too git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 11 November 2013, 05:00:10 UTC
00fa401 Jacques Garrigue 11 November 2013, 03:51:27 UTC forgot test... git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 11 November 2013, 03:51:27 UTC
956e258 Jacques Garrigue 11 November 2013, 03:37:46 UTC use a strengthening version of scrape_alias in Typemod git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 11 November 2013, 03:37:46 UTC
122f4f8 Wojciech Meyer 10 November 2013, 12:32:13 UTC build: make CAMLOPT_BIN default to "no-opt-compiler-available". (Patch by Adrien Nader!) Jacques Garrigue has reported that the testsuite would try to run with a non-existing opt compiler and that the error wasn't clear. Now, instead of trying to run: -c -I some_dir/ foo.ml anything that tries to run ocamlopt before it's available will run: no-opt-compiler-available -c -I some_dir/ foo.ml which should hopefully be clearer. I'm not yet sure why the testsuite didn't abort earlier, noticing that there was no opt compiler. One possibility is that using "test -e" without argument (which happens if variables are empty and not quoted inside shell scripts) succeeds. This will have to be checked. v2: don't remove the bytecode entry (bad copy-paste) build: make CAMLOPT_BIN default to "no-opt-compiler-available". git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 10 November 2013, 12:32:13 UTC
back to top