Commit Graph

7145 Commits (bbbe01a9e441547b1ac43f33e1e326eee9daa237)

Author SHA1 Message Date
Pierre Weis 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
Xavier Leroy 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
Xavier Leroy 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
Pierre Weis 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
Pierre Weis 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
Pierre Weis 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
Pierre Weis 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
Pierre Weis 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
Xavier Leroy 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
Damien Doligez 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
Damien Doligez 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
Xavier Leroy 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
Xavier Leroy 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
Pierre Weis 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
Pierre Weis 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
Pierre Weis 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
Pierre Weis 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
Luc Maranget 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
Pierre Weis 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
Nicolas Pouillard 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
Nicolas Pouillard 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
Damien Doligez 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
Jacques Garrigue 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Maxence Guesdon 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
Pierre Weis 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 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
Pierre Weis aa3a23cd3d Adding tests for %S scanning.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9207 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-30 09:55:41 +00:00
Pierre Weis 0515798a72 Correcting documentation in scan_Char.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-30 08:00:40 +00:00
Pierre Weis cb77d49e01 Wrong scanning of continuation line breaks corrected (BR#4758).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-30 07:21:02 +00:00
Pierre Weis 928e3fc13e Typo in doc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-30 07:06:06 +00:00
Pierre Weis 785a6d9748 A simple fix to BR#4756
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-28 14:24:53 +00:00
Damien Doligez 9e6bbde5aa PR#4722 typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-16 14:36:51 +00:00
Maxence Guesdon e93f6dd12b option -g also for native code version (loading custom generators)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-11 07:04:39 +00:00
Nicolas Pouillard 89154947c2 camlp4,printer: handle the empty data type.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-05 21:54:58 +00:00
Nicolas Pouillard c487f4e957 camlp4: bootstrap
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-05 16:11:37 +00:00
Nicolas Pouillard 436a615911 camlp4: restore the empty data type (e.g. <<type t = [];>> in revised)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-05 16:11:15 +00:00
Nicolas Pouillard 73e85b3edf ocamlbuild: add Ocamlbuild_Myocamlbuild_config to Ocamlbuild_pack
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9178 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-05 14:46:22 +00:00
Nicolas Pouillard e00a537801 build sys: fix "ocamlbuild -where"
it should now display either $OCAMLLIB/ocamlbuild if
OCAMLLIB is defined or the library directory chosen
at configure-time of OCaml plus /ocamlbuild:
 i.e. `ocamlc -where`/ocamlbuild.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-05 14:33:43 +00:00