023fda3fb4
merge polymorphic recursion
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-26 07:11:36 +00:00
349467ec45
New warning `not all labels are mentioned in this record pattern'
...
moved to letter 'R' (instead of 'E' previously). Explicitly turned
off in myocamlbuild configuration.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-22 15:45:54 +00:00
ada68db994
Update Changes.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-20 09:04:37 +00:00
09cb552e17
Import changes from the newtypein branch (svn merge -r 9367:9381 https://yquem.inria.fr/caml/svn/ocaml/branches/newtypein ).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-20 07:06:43 +00:00
835ae86ff1
Treat these GIF files as binary data
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-18 08:14:24 +00:00
db5a053fb4
Import changes from the newtypein branch (svn merge -r 9361:9367 https://frisch@yquem.inria.fr/caml/svn/ocaml/branches/newtypein ).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-06 12:51:42 +00:00
e5522b690d
Variable err is initialized to 0.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-25 15:03:06 +00:00
4b71a3183c
Les fonctions internal_tracevis et internal_tracedestroy sont mal declarees.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-25 12:56:10 +00:00
0ae5a2decf
Spell-check.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-25 08:01:40 +00:00
d165928a34
Documentation + better phrasing.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-23 11:19:29 +00:00
318bab1553
Correcting the F specification with/without widths.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-23 11:18:23 +00:00
4126456434
Typos.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-23 11:17:05 +00:00
bbbe01a9e4
Doc.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-23 11:16:33 +00:00
b906a69535
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-12 12:44:45 +00:00
9c6c8fb47e
As discussed at the latest consortium meeting:
...
Syntactic sugar {x} for {x=x} in record expressions and patterns.
Syntax { lbl=pat; _ } to mark record patterns where the user explicitly wants not to list all labels.
Warning (activated by E, the fragile match warning) to signal record patterns without '; _' that fail to list all labels.
To be done: adjust Camlp4 parser accordingly.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-12 12:41:07 +00:00
7be229fab3
Documentation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-11 16:16:44 +00:00
714d968b84
New ikfprintf function for Format.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-10 08:05:33 +00:00
6aa6323477
A simpler implementation for ifprintf.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-10 07:41:58 +00:00
b549b3ee9e
Addition of ikprintf as suggested in FR#0004859.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-09 15:15:03 +00:00
25d7f8fdc1
Refined error message for unbound identifiers: if M.ident is unbound and M is unbound, then unbound module M is reported.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-04 16:19:35 +00:00
b01621e848
Added syntactic sugar for record expressions and record patterns:
...
{ lbl } stands for { lbl = lbl }.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-08-27 08:19:08 +00:00
71b94fa3e8
merge changes from ocaml3111rc0 to ocaml3111
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-20 11:51:50 +00:00
591d89e773
resolve name clash with ossp-str
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-16 14:18:41 +00:00
a5aa0b7e37
PR#4210, PR#4245: tightened bound checking in string->integer conversion functions, without changing what the lexer accepts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-15 14:50:31 +00:00
11217e8f70
Added option -no-app-funct to turn off applicative functors
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-15 14:06:37 +00:00
d89ee164a3
Qualifying an out_channel occurrence.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-03 10:46:10 +00:00
c195fae7ff
One step further to unification printf/format: *printf functions get exactly the same types.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-03 10:32:45 +00:00
5cb9bece84
Typos.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-03 08:37:36 +00:00
c9839c874a
List scanning revisited.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-03 08:36:54 +00:00
f8107f9061
PR#0004828 fixed
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-06-23 09:35:12 +00:00
3b672bfed3
More scanf tests (in particular %r has been added). Doc.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-06-21 22:40:33 +00:00
9ac11d08c3
build with ocamlbuild: Fix the natdynlink build
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-26 12:50:41 +00:00
038ceed4e7
Fix ocamlbuild -where
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-24 09:11:39 +00:00
ed32f569e3
merge changes from ocaml3110 to ocaml3111rc0
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-20 11:52:42 +00:00
7795eafa89
use TypeHash for nondep_type, and add env to nondep_mty
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-19 08:17:02 +00:00
eb1922c6ab
ARM EABI: do not force use of register r9
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-05 09:13:26 +00:00
4e50c497a8
Updating the ARM port, continued:
...
- Reserve register r9 and treat r10 as callee-save, as per the EABI.
- Treatment of alloc_limit register.
- Fixed bug in inlined allocation sequence.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-04 13:46:46 +00:00
5ba174438f
Typo in error message
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-16 07:23:35 +00:00
6317d017cd
fix compilatin of ocamldoc for NT with no odoc_opt.ml any more
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-09 13:55:53 +00:00
e1556cf9da
option -C is a gnuism that is not portable: use cd instead!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-06 22:23:23 +00:00
238cf4bde3
PR#3047: added Unix.setgroups, Unix.initgroups.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9220 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-01 16:50:10 +00:00
3c9c7b9949
PR#4664: documentation of print_tab
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9219 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-01 16:34:55 +00:00
42f90d720e
PR#4641: added bitwise operation to Big_int
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9218 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-01 16:20:20 +00:00
c2bdcafb6a
Added testfork
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-01 16:08:57 +00:00
2da17c49c6
PR#4638: added expm1 and log1p.
...
Cleaned up some doc comments in stdlib/pervasives.mli
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-01 16:08:37 +00:00
ace551abfb
PR#4759: bad merge of emit_call, etc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-31 11:50:48 +00:00
467a82f7bd
Updates with new ARM port
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-31 09:46:33 +00:00
cb4e3f79d9
Brought up-to-date
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-31 09:46:08 +00:00
5732a03e65
Updated ARM port to new ABI (EABI), with software floating-point.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-31 09:45:55 +00:00
1a7d4a3293
Added and used Reg.createv_like.
...
Selectgen: new methods regs_for, enables ports to store float values
in pairs of integer registers.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-31 09:44:50 +00:00
Jacques Garrigue
Xavier Leroy
Alain Frisch
Pierre Weis
Damien Doligez
Luc Maranget
Nicolas Pouillard
Maxence Guesdon