pagure Logo
  • Log In

fedora-ocaml

Clone
Source Code
GIT
  • Source
  • Issues  0
  • Pull Requests  0
  • Stats
 Overview  Files  Commits  Branches  Forks  Releases

Commits 9998

Branch: fedora-22-4.02
fedora-21-4.01.0 fedora-22-4.02 fedora-23-4.02 fedora-24-4.02 fedora-26-4.04.0 fedora-27-4.04.1 fedora-27-4.04.2 fedora-27-4.05.0 fedora-28-4.06.0 fedora-29-4.07.0 fedora-29-4.07.0-beta2 fedora-29-4.07.1 fedora-31-4.08.0 fedora-31-4.08.0-beta3 fedora-31-4.08.1 fedora-32-4.08.1 fedora-32-4.09.0 fedora-32-4.10.0 fedora-32-4.10.0-beta1 fedora-33-4.10.0 fedora-33-4.11.0-dev2 fedora-33-4.11.0-pre fedora-34-4.11.0 fedora-34-4.11.1 fedora-35-4.12.0 fedora-36-4.13.1 master rhel-7-4.01.0 rhel-7-4.04.1 rhel-7.5-4.05.0
This branch contains 9997 commits not in the main branch master
ppc64/ppc64le: proc: Interim definitions for op_is_pure and regs_are_volatile.
Richard W.M. Jones • 7 years ago  
a3cbc5d
ppc, ppc64, ppc64le: Mark stack as non-executable.
Richard W.M. Jones • 7 years ago  
907e64f
PR#6517: use ISO C99 types {,u}int{32,64}_t in preference to our homegrown
Xavier Leroy • 7 years ago  
d58a221
arg: Allow flags such as --flag=arg as well as --flag arg.
Richard W.M. Jones • 7 years ago  
857b0cd
arg: Add no_arg and get_arg helper functions.
Richard W.M. Jones • 7 years ago  
8c54b85
arm, arm64: Mark stack as non-executable.
Richard W.M. Jones • 7 years ago  
0072151
ppc64le: Update for OCaml 4.02.0.
Richard W.M. Jones • 7 years ago  
2d809c0
Add support for ppc64le.
Michel Normand • 7 years ago  
371f3ea
ppc64: Update for OCaml 4.02.0.
Richard W.M. Jones • 7 years ago  
e07a922
Add support for ppc64.
Richard W.M. Jones • 7 years ago  
3628c89
configure: Allow user defined C compiler flags.
Richard W.M. Jones • 7 years ago  
5308c47
ocamlbyteinfo, ocamlplugininfo: Useful utilities from Debian, sent upstream.
Richard W.M. Jones • 7 years ago  
11b377a
Don't add rpaths to libraries.
Richard W.M. Jones • 7 years ago  
79f0f91
Ensure empty compilerlibs/ directory is created by git.
Richard W.M. Jones • 7 years ago  
0e3b645
Don't ignore ./configure, it's a real git file.
Richard W.M. Jones • 7 years ago  
ccc1bf2
last commit before tagging 4.02.0
Damien Doligez • 7 years ago  
a181801
reorder bug fix
Damien Doligez • 7 years ago  
8a3bf1e
PR#6523: character bigarray access and ordering
Mark Shinwell • 7 years ago  
9ee7853
late-commit of forgotten ocamlbuild tags
Gabriel Scherer • 7 years ago  
bde2204
add ocamlbuild support for '-open M' and -strict-formats
Gabriel Scherer • 7 years ago  
cb9d5f5
New -strict-formats flag to detect and fix invalid formats
Gabriel Scherer • 7 years ago  
2248d13
PR#5851: fix merge error
Gabriel Scherer • 7 years ago  
7c2038c
use Env.scrape_alias in Envaux too
Jacques Garrigue • 7 years ago  
bff3f43
two small typos
Damien Doligez • 7 years ago  
7515120
Typo in PR number 5905
Xavier Leroy • 7 years ago  
7877406
improve Changelog
Gabriel Scherer • 7 years ago  
6a9e1cf
Expose Obj.extension_slot (Jérémie Dimino, ack'ed by Damien)
Gabriel Scherer • 7 years ago  
268331e
PR#5851: refine 4.02@15111 to print the hint at most once
Gabriel Scherer • 7 years ago  
71733c3
increment version number after tagging 4.02.0+rc1
Damien Doligez • 7 years ago  
c48fc01
last commit before tagging 4.02.0
Damien Doligez • 7 years ago  
e34687b
PR#6392: native code support for armv6 on FreeBSD10
Damien Doligez • 7 years ago  
c5d5f9a
Fix PR#6513: Fatal error Ctype.Unify(_) in functor type
Jacques Garrigue • 7 years ago  
0bfe9f8
PR#6087 ocamlbuild: improve _tags parsing of escaped newlines
Gabriel Scherer • 7 years ago  
a9914e0
ocamlbuild: better provenance for syntax error messages -- full
Gabriel Scherer • 7 years ago  
5a9f603
Revert "ocamlbuild: better provenance for syntax error messages"
Gabriel Scherer • 7 years ago  
674e38e
ocamlbuild: better provenance for syntax error messages
Gabriel Scherer • 7 years ago  
91bbea3
PR#6300: ocamlbuild -use-ocamlfind conflicts with -ocamlc
Gabriel Scherer • 7 years ago  
9838412
ocamlbuild: fix the -use-ocamlfind documentation (not the default)
Gabriel Scherer • 7 years ago  
ef79f5e
PR#5406 ocamlbuild: "tag 'package' does not expect a parameter"
Gabriel Scherer • 7 years ago  
a06c5f9
PR#5851: ocamlbuild: hint when no _tags or myocamlbuild.ml are present
Gabriel Scherer • 7 years ago  
e73e48f
ocamlbuild: interpret tag-line before slurp, in case it contains "<foo>: traverse"
Gabriel Scherer • 7 years ago  
14470a5
ocamlbuild: add an interface knob to decide whether we are in an ocamlbuild project
Gabriel Scherer • 7 years ago  
123b950
document the unsafe conversions Bytes.unsafe_{to,of}_string
Gabriel Scherer • 7 years ago  
ce86db0
add the deprecated flag to all the stdlib functions that are documented as deprecated
Damien Doligez • 7 years ago  
3cd4523
new -opaque flag: ocamlopt creates .cmx without cross-module info
Gabriel Scherer • 7 years ago  
3de8562
PR#6515 nativeint is intended to have the same width as a pointer
Damien Doligez • 7 years ago  
634a983
minor typo spotted by Jeremy Yallop
Gabriel Scherer • 7 years ago  
4b4be08
I forgot about {Bytes,String}Labels.mapi; thanks Alain!
Gabriel Scherer • 7 years ago  
fed04ad
tools/objinfo: workaround change in binutils' <bfd.h>
Gabriel Scherer • 7 years ago  
33008e9
Refresh .gitignore (trunk@15087)
Gabriel Scherer • 7 years ago  
017b79b
remove or justify all remaining uses of Bytes.unsafe_of_string
Gabriel Scherer • 7 years ago  
ed1bd1e
PR#6507: [caml_bottom_of_stack] incorrectly set
Mark Shinwell • 7 years ago  
0825739
Fix #6510: Removal of shadowed constructors of extensible types can break the structure of definitions.
Alain Frisch • 7 years ago  
f7b08cd
#6497: better fix, remove the context attribute in apply_rewriters.
Alain Frisch • 7 years ago  
5652672
Fix toplevel w.r.t. ocaml.ppx.context attribute.
Alain Frisch • 7 years ago  
f1d98e5
#6497: pass more information from the calling tool to ppx preprocessors
Alain Frisch • 7 years ago  
a462105
remove the Obj.magic from the string.ml implementation
Gabriel Scherer • 7 years ago  
9bec255
implement {Bytes,String}.mapi
Gabriel Scherer • 7 years ago  
ef1eef6
update Changes
Gabriel Scherer • 7 years ago  
653a570
ocamlbuild: add no_alias_deps tag (patch by Daniel Bünzli)
Gabriel Scherer • 7 years ago  
54e7633
PR#6495: also add unsafe_string tag to ocamlbuild
Gabriel Scherer • 7 years ago  
d570d9f
PR#6495: add a safe_string tag to ocamlbuild (patch by Anil Madhavapeddy)
Gabriel Scherer • 7 years ago  
78117d7
PR#6509: Add -linkall flag to ocamlcommon archives (Patch by Frédéric Bour)
Gabriel Scherer • 7 years ago  
d2fbb64
PR#6474: fix the "weak dependencies" support (patch by Leo White)
Gabriel Scherer • 7 years ago  
c1f87c0
PR#6502: spurious warning on "use_menhir" tag
Gabriel Scherer • 7 years ago  
b60f083
fix minor testsuite change due to 4.02@15039
Gabriel Scherer • 7 years ago  
8f90818
remove some uses of unsafe_of_string
Damien Doligez • 7 years ago  
06e58ae
remove manifest implementation of unsafe_{of,to}_string
Damien Doligez • 7 years ago  
2074ad5
change wording of the "deprecated" warning
Damien Doligez • 7 years ago  
eec9f4f
Fix PR#6505: check for cycles inside type definitions
Jacques Garrigue • 7 years ago  
851c34b
PR#4771: Clarify documentation of Dynlink.allow_only
Damien Doligez • 7 years ago  
10e4575
github pull request 58: make ocamldebug -I auto-detection work with ocamlbuild
Damien Doligez • 7 years ago  
ac756f9
PR#5946: CAMLprim taking (void) as argument
Damien Doligez • 7 years ago  
004cff3
Use labeled arguments.
Alain Frisch • 7 years ago  
899498d
#6500: add String.init, Bytes.init, Labels couterparts, Stream.of_byte.
Alain Frisch • 7 years ago  
a8b8289
PR#6142: add cmt file support to ocamlobjinfo
Damien Doligez • 7 years ago  
c1e7c86
revert commit 15025 (PR#6465) as it breaks camlp4
Jacques Garrigue • 7 years ago  
54c51e5
merge patch for PR#6465 (allow incremental weakening of module aliases
Jacques Garrigue • 7 years ago  
7ec67a6
Follow-up to commit 15012: keeping checkbound equations is useless when load equations have been forgotten, as all checkbounds involve a load of a block header. So, simplify things further by emptying the numbering after calls and allocs.
Xavier Leroy • 7 years ago  
d71d9ba
PR#6051: Document that all Sys function raise Sys_error
Damien Doligez • 7 years ago  
ff8cb85
PR#6453: It should be documented that Lexer.set_preprocessor receives EOL tokens
Damien Doligez • 7 years ago  
cfc9715
PR#6406: Expose OCaml version in C headers
Damien Doligez • 7 years ago  
b28eba2
PR#6477: Makefile.nt: odoc_info.cma and cmxa contain objects outside of ocamldoc
Damien Doligez • 7 years ago  
1789a98
PR#6445: ocamlbuild fails to find ocamlfind.exe
Damien Doligez • 7 years ago  
2c6e6d6
PR#6484 and PR#6486: CSE across memory allocations can present the GC with memory roots that are illegal.
Xavier Leroy • 7 years ago  
c4f3a6c
PR#6460: runtime assertion failure with large [| e1;...eN |]
Xavier Leroy • 7 years ago  
8ce3e5c
#6411: background info for -static-libgcc.
Alain Frisch • 7 years ago  
25fab87
#6411: -static-libgcc by default.
Alain Frisch • 7 years ago  
ee63560
Typo in destroyed_at_alloc and destroyed_at_c_call, D17 was incorrectly claimed to be preserved.
Xavier Leroy • 7 years ago  
5cc86e0
CSE bug on amd64: Ifloatsqrtf involves a memory load
Mark Shinwell • 7 years ago  
85698b2
mantis 6489 (fix by Richard Jones)
Mark Shinwell • 7 years ago  
fa96408
PR#6482: ocamlbuild fails when _tags file in unhygienic directory
Gabriel Scherer • 7 years ago  
6f1221d
PR#6469: -dsource prints Pervasives.(!) as Pervasives.!
Damien Doligez • 7 years ago  
8c1e5cd
Keep attributes and location on recursive modules when inserted in the environment.
Alain Frisch • 7 years ago  
b741f0e
ignore generated files
Damien Doligez • 7 years ago  
46e837c
remove tests that use the (module M) syntax, which was removed in commit 14991
Damien Doligez • 7 years ago  
79653e4
#6476: Attributes on class signatures.
Alain Frisch • 7 years ago  
093e19c
Fix #PR6471: missing links in HTML for module aliases
Maxence Guesdon • 7 years ago  
a8a5c7a
remove (module P) syntax for type-level module alias
Jacques Garrigue • 7 years ago  
31be3c9
#6463: properly propagate errors raised when creating the mapper (typically, invalid arguments) to the compiler.
Alain Frisch • 7 years ago  
292b7ad
#6457: Distinguish data and literals in CamlinternalFormat.make_printf (patch by Benoit Vaugon).
Alain Frisch • 7 years ago  
05049b8
Fix PR#6459: update StdlibModules
Jacques Garrigue • 7 years ago  
207a31b
Fix #6456.
Alain Frisch • 7 years ago  
040dfb0
PR#6418: support "@[<hov %d>" in the new format implementation (Benoît Vaugon)
Gabriel Scherer • 7 years ago  
f989941
Bootstrap.
Alain Frisch • 7 years ago  
906293f
#6454: reject item attributes on regular let bindings.
Alain Frisch • 7 years ago  
69808e1
#6377: support attributes and extensions in -dsource (patch by Leo White).
Alain Frisch • 7 years ago  
27ede79
#6379: fix -dtypedtree for class fields (patch by Leo White).
Alain Frisch • 7 years ago  
8a653af
PR#6268: -DMODEL_$(MODEL) not passed when building asmrun/arm.p.o
Xavier Leroy • 7 years ago  
c9e3c58
PR#6211: in toplevel interactive use, bad interaction between uncaught
Xavier Leroy • 7 years ago  
a5fbfaf
PR#6418: fix format regression on "@{<..%d..%s..>" (Benoît Vaugon)
Gabriel Scherer • 7 years ago  
c26d4e3
Makefile factorization
Gabriel Scherer • 7 years ago  
fec1ed5
update check-bounds.diff to reflect changes from 4.02-block-bounds
Mark Shinwell • 7 years ago  
4f8d8f0
stop doing chmod -w on utils/config.ml (PR 6319)
Mark Shinwell • 7 years ago  
f823a60
Fix for PR#6441 (Stefan Holdermans)
Gabriel Scherer • 7 years ago  
9bde0c2
PR#2719: wrong scheduling of bound checks within a try...with Invalid_argument -> _ ...
Xavier Leroy • 7 years ago  
b4a9b6f
Missing dependencies on the pack, causing parallel make to fail.
Xavier Leroy • 7 years ago  
d564172
Typo.
Alain Frisch • 7 years ago  
59c31c8
Fix some issues in pprintast and untypeast. Patch by Jun Furuse (with minor modifications), from github #70.
Alain Frisch • 7 years ago  
bd0408e
fix PR#6431 (patch by Benoît Vaugon)
Gabriel Scherer • 7 years ago  
02979ef
PR#5547: ocamlbuild reverts to using -no-ocamlfind by default
Gabriel Scherer • 7 years ago  
ba90def
PR#6283: increase alignment to work around a linking error.
Xavier Leroy • 7 years ago  
08839bc
#6388: more invariant checks on the Parsetree. Reject 0- and 1-ary tuples, empty record (exprs, types, pats) and empty variant types.
Alain Frisch • 7 years ago  
21aa5e3
#6424: document and check invariant on parsetree: non empty list of arguments in function applications.
Alain Frisch • 7 years ago  
6033c6e
Fix regression introduced by commit 14809.
Alain Frisch • 7 years ago  
51777b4
PR#6082: on x86-32, enforce 16-byte stack alignment for compatibility
Xavier Leroy • 7 years ago  
6012af0
add patch for bound-checking (debugging the compiler) from Mark Shinwell
Damien Doligez • 7 years ago  
8d1eae5
add -patch1 option to ci-build script
Damien Doligez • 7 years ago  
4c23d66
#6446: do not mark components as being used because of an implicit coercion introduced to remove 'duplicated' declarations.
Alain Frisch • 7 years ago  
c1bfbec
avoid changing ids in typing-objects/Test.ml
Jacques Garrigue • 7 years ago  
db9b6fa
update Changes
Mark Shinwell • 7 years ago  
b91b875
update instructions for 32-bit builds on Mac OS X (PR 6196)
Mark Shinwell • 7 years ago  
9a35a43
add configure detection of mkstemp, remove old HAVE_MKSTEMP conditional, rename HAVE_MKSTEMP -> HAS_MKSTEMP
Mark Shinwell • 7 years ago  
f60b524
improve finaliser documentation (PR 6355)
Mark Shinwell • 7 years ago  
9b93844
PR 6439 part 2: use sysconf instead of the deprecated getpagesize function
Mark Shinwell • 7 years ago  
74e54f8
PR 6439 part 1: fix mistake in backtrace.c
Mark Shinwell • 7 years ago  
1c216fc
Fix PR#6443: Ocaml segfault when List.fold_left is traced then executed
Jacques Garrigue • 7 years ago  
e06e537
Fix PR#6417: sprintf broken when local module named Pervasives is in scope
Jacques Garrigue • 7 years ago  
6ce401c
Changes: typos
Damien Doligez • 7 years ago  
9181fe5
PR#5841 and PR#6168: document the fact that all otherlibs/unix functions can raise Unix_error
Damien Doligez • 7 years ago  
ea22438
PR#6442: prevent re-sharing of "+0.0" and "-0.0".
Xavier Leroy • 7 years ago  
3aad6d9
fix a segfault bug found by Gabriel Scherer
Damien Doligez • 8 years ago  
960245f
fix gc-roots test case for no-naked-pointers (rev 14913 from trunk)
Mark Shinwell • 8 years ago  
b7225b5
fix minor typos in Changes
Gabriel Scherer • 8 years ago  
df1ada2
Changes: fix misplaced bug fix
Damien Doligez • 8 years ago  
eec74bc
minor: attribution information in Changes
Gabriel Scherer • 8 years ago  
0a0ebb3
Fix ocamldoc test to follow new interface; add object type test
Maxence Guesdon • 8 years ago  
df601b2
Changes: PR#6274
Maxence Guesdon • 8 years ago  
0c6bda3
PR#6274: allow doc comments on object types
Maxence Guesdon • 8 years ago  
e8446f7
Changes: PR#6425
Maxence Guesdon • 8 years ago  
96a8923
PR#6425: fix generation of man pages, handling variant constructors and record fields
Maxence Guesdon • 8 years ago  
6517661
fix some whitespace and add a few copyright headers
Damien Doligez • 8 years ago  
01d4916
PR#6436: Typos in @deprecated text in stdlib/arrayLabels.mli
Damien Doligez • 8 years ago  
ebf9448
format+gadts: make format types "relational" to fix %(...%) typing
Gabriel Scherer • 8 years ago  
80516bb
Fix PR#6435: segfault with shadowing/include
Jacques Garrigue • 8 years ago  
da96fcb
increment version number after tagging 4.02.0+beta1 (really, this time)
Damien Doligez • 8 years ago  
51b3afd
increment version number after tagging 4.02.0+beta1
Damien Doligez • 8 years ago  
9f47e80
last commit before tagging 4.02.0+beta1
Damien Doligez • 8 years ago  
a79a80e
PR#5371: a partial patch by Edwin Török to fix the FreeBSD failure
Gabriel Scherer • 8 years ago  
c53b0fa
Fix PR#6427: Soundness bug involving unpacking, functors and abstract module types
Jacques Garrigue • 8 years ago  
a802cfd
PR#6332: Unix.open_process fails to pass empty arguments under Windows
Damien Doligez • 8 years ago  
c7ac68d
last forgotten test
Gabriel Scherer • 8 years ago  
693c119
fix forgotten test
Gabriel Scherer • 8 years ago  
718f67b
update .depend
Gabriel Scherer • 8 years ago  
6161876
PR#6408: Optional arguments given as ~?arg instead of ?arg in message
Damien Doligez • 8 years ago  
f4b7a7d
PR#6408: Optional arguments given as ~?arg instead of ?arg in message
Damien Doligez • 8 years ago  
f1bc7b6
add the name of the next version
Damien Doligez • 8 years ago  
c9b9acb
stdlib/buffer.mli: typo
Damien Doligez • 8 years ago  
bfb6089
ignore generated files
Damien Doligez • 8 years ago  
17983b6
Cherry-picking r14877 from trunk:
Xavier Leroy • 8 years ago  
d029df3
add missing spaces in ocamldoc man page
Damien Doligez • 8 years ago  
fc8c053
fix PR#6415: format had forgotten about 'b' boxes
Gabriel Scherer • 8 years ago  
a97652f
Improve snapshot mechanism for warning configuration.
Alain Frisch • 8 years ago  
37aa84b
replay trunk@13911: better behavior of printf on nan/infinity floats
Gabriel Scherer • 8 years ago  
232b5e7
replay trunk@14523: warn on non-principal format6 coercions
Gabriel Scherer • 8 years ago  
16821a2
Use a nominal datatype for CamlinternalFormat.format6
Gabriel Scherer • 8 years ago  
3d87abc
Document bad interaction between ppwarning and warning/warnerror attributes.
Alain Frisch • 8 years ago  
e593151
Ensure that delayed checks are run in the proper warning configuration (so that the warnerror attribute applies, in particular).
Alain Frisch • 8 years ago  
2832a5f
forgotten tests
Jacques Garrigue • 8 years ago  
c5fdd3f
Fix PR#6419: Unexpected/incorrect "contains type variables that cannot be generalized
Jacques Garrigue • 8 years ago  
a0f6f8c
apply patch for PR#6420: Bad error message for non-exhaustive matching on extensible types
Jacques Garrigue • 8 years ago  
07bbc46
Adding #ppx toplevel directive (patch by Peter Zotov, github #54).
Alain Frisch • 8 years ago  
11bf27a
Better error message on magic mismatch in Ast_mapper (patch by Peter Zotov).
Alain Frisch • 8 years ago  
e40a6d3
merge github.com/ocaml/ocaml/pull/56.diff, from Anil, part 2: configure fixes for BSD
Mark Shinwell • 8 years ago  
d351dc6
merge github.com/ocaml/ocaml/pull/56.diff, from Anil, part 1: fix support for PowerPC/BSD backtraces
Mark Shinwell • 8 years ago  
07e95fb
branching 4.02
Damien Doligez • 8 years ago  
964af14
ci-build: fix wrong variable name
Damien Doligez • 8 years ago  
c82c004
PR#6361 continued: don't count 1 for Forward_tag, because in this case a GC can change the hash value. Instead, avoid looping on Forward_tag cycles by another mean.
Xavier Leroy • 8 years ago  
d12328e
bootstrap with -no-naked-pointers again
Gabriel Scherer • 8 years ago  
2a8d358
changes Changes
Gabriel Scherer • 8 years ago  
ab873b8
temporarily disable principality warning test in coercion.ml
Gabriel Scherer • 8 years ago  
ac23816
fix testsuite/tests/typing-warnings/coercions.ml.reference
Gabriel Scherer • 8 years ago  
af49756
fix Tests.ml{,.principal}.reference
Gabriel Scherer • 8 years ago  
78315ea
fix some testsuite Makefiles
Gabriel Scherer • 8 years ago  
e0b1dab
final bootstrap (make partialclean core coreboot)
Gabriel Scherer • 8 years ago  
b14c618
fix a regression in Format formatting printing routines
Gabriel Scherer • 8 years ago  
0e15846
formats: enable the legacy mode by default
Gabriel Scherer • 8 years ago  
eccf1e2
For %{..%}, restore Pierre's semantics
Gabriel Scherer • 8 years ago  
f0e39fe
testsuite Makefile fix
Gabriel Scherer • 8 years ago  
02c5fb4
boostrap (same steps as the last one)
Gabriel Scherer • 8 years ago  
cba1c6b
move code from pervasives.ml to camlinternalFormat.ml
Gabriel Scherer • 8 years ago  
8e52400
simplification in bprint_char_set
Gabriel Scherer • 8 years ago  
f3a309d
charset-parsing: require that '%' be written '%%' in charsets, as per the documentation
Gabriel Scherer • 8 years ago  
543e542
implement (^^) correctly wrt. string_of_format (Thanks to Pierre Weis)
Gabriel Scherer • 8 years ago  
ce41f4f
printf behavior of %{..%}
Gabriel Scherer • 8 years ago  
2da1602
minor strengthening of the typing of %{...%} formats
Gabriel Scherer • 8 years ago  
7f8e43a
some characters were not allowed in charsets
Gabriel Scherer • 8 years ago  
0a7224f
accept and ignore '+' and '-' before precision integers
Gabriel Scherer • 8 years ago  
11fdab8
allow incompatible or unsupported numeric formatting flags
Gabriel Scherer • 8 years ago  
8f7b47a
fix printing bug: (Printf.printf "% 04d" 3) => "00 3"
Gabriel Scherer • 8 years ago  
3cb315b
parse the ignore flag before all others
Gabriel Scherer • 8 years ago  
42aca98
typecore.ml: fix format's expected-type mistake
Gabriel Scherer • 8 years ago  
4907bcf
introduce type aliases for simple padding and precision types
Gabriel Scherer • 8 years ago  
39ab064
testsuite for %_[nNlL]
Gabriel Scherer • 8 years ago  
6a8f120
finish %_[nNlL] boostrap (same bootstrap steps)
Gabriel Scherer • 8 years ago  
ddf133e
add typer support for the new formats
Gabriel Scherer • 8 years ago  
ee90232
temporary bootstrap (%_[nNlL] not yet handled by the typer)
Gabriel Scherer • 8 years ago  
3f37e56
Add support for ignored scan_get_counter formats (%_[nlNL])
Gabriel Scherer • 8 years ago  
bf6e318
a testsuite to measure format behavior changes and the effectiveness of legacy mode
Gabriel Scherer • 8 years ago  
3ab9516
when passed to Printf, %l%n%L should be interepreted as %u, not %d
Gabriel Scherer • 8 years ago  
e69ee15
allows some more ignored formats
Gabriel Scherer • 8 years ago  
689d9af
ignore more incompatible flags
Gabriel Scherer • 8 years ago  
fa67173
disable incompatible flags in legacy mode
Gabriel Scherer • 8 years ago  
b3b3518
some benine meaningless formats were previously ignored
Gabriel Scherer • 8 years ago  
b56ea67
sets up a 'legacy mode'
Gabriel Scherer • 8 years ago  
fb90637
bootstrap
Gabriel Scherer • 8 years ago  
e0ed68b
sync threads/pervasives.ml
Gabriel Scherer • 8 years ago  
628a2a2
second part of Benoît Vaugon's format+gadts patch
Gabriel Scherer • 8 years ago  
7266930
temporarily remove %(%) to avoid weaker typing
Gabriel Scherer • 8 years ago  
9fa17c9
update Benoît's patch wrt. Parsetree changes
Gabriel Scherer • 8 years ago  
be3eca6
convert Benoît's first patch to bytes/string
Gabriel Scherer • 8 years ago  
736876e
first part of Benoît Vaugon's format-gadts patch
Gabriel Scherer • 8 years ago  
43647ba
temporarily revert the bootstrap of naked-pointers before merging format+gadts
Gabriel Scherer • 8 years ago  
a64648e
Correct PR#6412 by ruling out sharing of Levents
Luc Maranget • 8 years ago  
f8a3649
ci-build: do not change directory for Unix slaves
Damien Doligez • 8 years ago  
5d7864a
add missing instructions to ci-build for msvc
Damien Doligez • 8 years ago  
6d688ea
update distclean target
Damien Doligez • 8 years ago  
d0368bc
Add entry in Changelog for #5779.
Alain Frisch • 8 years ago  
f4654c8
mark PR#5580 as potentially breaking change
Damien Doligez • 8 years ago  
e9e2154
fix missing archs
Damien Doligez • 8 years ago  
aebb9e1
avoid warning just before an error happens using -no-alias-deps
Jacques Garrigue • 8 years ago  
c36565a
add universal CI build script
Damien Doligez • 8 years ago  
4736382
* split Typetexp.lookup_module and Typetexp.find_module
Jacques Garrigue • 8 years ago  
77cf8b9
Enable warning 27 in tools/ and fix occurrences. It's good to mark in depend and untypeast parts which are explicitly ignored.
Alain Frisch • 8 years ago  
68ae2cc
update Changes for -no-naked-pointers
Mark Shinwell • 8 years ago  
0875b3c
Jacques forgot a crucial detail
Mark Shinwell • 8 years ago  
520fad7
no-naked-pointers patch
Mark Shinwell • 8 years ago  
881ec04
Fix PR#6410: Error message for an attempt to use a functor as a module is confusing
Jacques Garrigue • 8 years ago  
48ecf7e
comment out Ctype.local_non_recursive_abbrev
Jacques Garrigue • 8 years ago  
d2194b7
fix man pages: should be open!
Jacques Garrigue • 8 years ago  
4365e38
commit o_and_opens.diff
Jacques Garrigue • 8 years ago  
ccce272
fix testsuite
Gabriel Scherer • 8 years ago  
fc8c777
update Changes
Gabriel Scherer • 8 years ago  
4a87d8f
Reformulation of the user-facing slot-access API
Gabriel Scherer • 8 years ago  
755b196
bootstrap
Gabriel Scherer • 8 years ago  
286fbaa
improve backtrace testsuite
Gabriel Scherer • 8 years ago  
3dae9e6
expose Printexc.format_backtrace_slot to facilitate testing
Gabriel Scherer • 8 years ago  
cc6b2ca
reinstate the deprecated primitive caml_get_exception_backtrace
Gabriel Scherer • 8 years ago  
4f913f2
factor the pointers-into-ints cleverness through pair of macros
Gabriel Scherer • 8 years ago  
ebd3778
cleanup cmp_ev_info
Gabriel Scherer • 8 years ago  
0b50a80
typos
Gabriel Scherer • 8 years ago  
3fe8311
Printexc: OCaml-friendly access to individual backtrace slots
Gabriel Scherer • 8 years ago  
1fdea57
indentation
Jacques Garrigue • 8 years ago  
eb2b1f6
disable Clflags.transparent_modules when narrowing unbound identifier error
Jacques Garrigue • 8 years ago  
7869662
add Changes note for the patch in rev 14772
Mark Shinwell • 8 years ago  
2b6b5a5
fixed bug in native caml_raise_with_string, and synced code in byterun/fail.c for that function
Mark Shinwell • 8 years ago  
9419b6c
small re-ordering of declarations, to match comments
Fabrice Le Fessant • 8 years ago  
c5cc4fc
Add reset functions to make modules reentrant when used through compiler-libs
Fabrice Le Fessant • 8 years ago  
457958a
Fix PR#6405: unsound interaction of -rectypes and GADTs
Jacques Garrigue • 8 years ago  
b6500cc
[minor] Makefile: fix the hard-bootstrap recipe
Gabriel Scherer • 8 years ago  
e34fa84
fix .depend for parallel make
Gabriel Scherer • 8 years ago  
bfb5d9e
cycle detection in the toplevel printer (Leo White, https://github.com/ocaml/ocaml/pull/23/)
Mark Shinwell • 8 years ago  
a9cc028
fixes to Travis CI script from Anil
Mark Shinwell • 8 years ago  
fbe19a8
Follow-up to r14763: use caml_stat_free instead of plain free.
Xavier Leroy • 8 years ago  
44ac495
Eradicate one more sprintf().
Xavier Leroy • 8 years ago  
4fde434
Protocol to allow ppx processors to report warnings to the compiler (reported as warning 22).
Alain Frisch • 8 years ago  
bfccd68
fix various things
Damien Doligez • 8 years ago  
bdeeab6
add small precision about -warn-error
Damien Doligez • 8 years ago  
f27debb
Expose a Typemod.type_interface (currently an alias of Typemod.transl_signature) by symmetry with type_implementation.
Alain Frisch • 8 years ago  
f0ef09d
Minor tweak to raw dump of parsetree/typedtree.
Alain Frisch • 8 years ago  
36b25ec
Fix PR#6394: Assertion failed in Typecore.expand_path
Jacques Garrigue • 8 years ago  
88e8bec
#6399: protocol (based on a built-in ocaml.error extension node) to let ppx tools send located errors to be reported by the compiler (patch by Peter Zotov).
Alain Frisch • 8 years ago  
9961e6a
re-commit Leo's weak-dependencies pull request
Jacques Garrigue • 8 years ago  
1ce29d9
PR#6397: fix infix (+=) operators after open types merge
Gabriel Scherer • 8 years ago  
3dd57a9
ocaml.warnerror built-in attribute.
Alain Frisch • 8 years ago  
7e23330
Revise behavior of ocaml.warning attribute: when used as a floating attribute (in a signature or structure), the scope is restricted to the current signature/structure instead of being global. Also support the new floating attributes in classes, with the same behavior.
Alain Frisch • 8 years ago  
0736512
When the payload of the ocaml.deprecated attribute is a string, report it as part of the warning message.
Alain Frisch • 8 years ago  
110e97d
Recognize both prefixed and unprefixed built-in attributes (e.g. ocaml.deprecated or deprecated).
Alain Frisch • 8 years ago  
85a1763
Accept a fully empty pattern matching. This can be generated by Camlp4 using its revised syntax, and this seems to be used in the wild.
Alain Frisch • 8 years ago  
27e9e78
Remove FIRST_UNIMPLEMENTED_OP from interp.c
Fabrice Le Fessant • 8 years ago  
b1943e1
Whitespace.
Alain Frisch • 8 years ago  
f8efbbf
Changelog.
Alain Frisch • 8 years ago  
8e25b47
Indent + comment.
Alain Frisch • 8 years ago  
fa3224e
#6318: Extend match...with with exception cases. (Patch by Jeremy Yallop, backend part by A. Frisch).
Alain Frisch • 8 years ago  
0f1fb19
#6387: also allow attributes on methods in object types (< m [@foo] : int; ..>).
Alain Frisch • 8 years ago  
0b3423e
Whitespace.
Alain Frisch • 8 years ago  
470131d
change -trans-mod to -no-alias-deps, and update message
Jacques Garrigue • 8 years ago  
fc24112
PR#5584: merge open extensible types, extension-patch-4.0.2
Jacques Garrigue • 8 years ago  
b56dc4b
Add support for floating attributes in class structures and class signatures. (Patch by Leo White.)
Alain Frisch • 8 years ago  
0f1bb86
Fix win32unix (introduction of bytes + immutable strings).
Alain Frisch • 8 years ago  
efc2379
Add FIRST_UNIMPLEMENTED_OP instructioon to simplify bootstrapping after adding new bytecode instructions at the end
Fabrice Le Fessant • 8 years ago  
680fe9f
PR#6385: wrong allocation of large closures by the bytecode interpreter
Xavier Leroy • 8 years ago  
c141951
ocamlbuild: only show backtrace in verbose mode
Gabriel Scherer • 8 years ago  
5ca901c
Some updates for SPARC
Xavier Leroy • 8 years ago  
b691a28
stdlib/map: Add some usage exemple in the documentation.
Gabriel Scherer • 8 years ago  
c03e155
revert commit 14728
Jérémie Dimino • 8 years ago  
c31d2ab
-o sets the module name
Jérémie Dimino • 8 years ago  
f0b74bd
configure: fix as/aspp for FreeBSD (works for both gcc and clang)
Gabriel Scherer • 8 years ago  
d84f8be
add the %int_as_pointer primitive
Jérémie Dimino • 8 years ago  
f0b0c82
fix bug in previous Val_unit initialization patch
Mark Shinwell • 8 years ago  
2dd9296
* Do not require cmi file to be present if module alias is not accessed
Jacques Garrigue • 8 years ago  
b78b199
revert commit 14719
Jacques Garrigue • 8 years ago  
95104b3
safe-string: documentation fixes and add a couple of functions in Pervasives and Digest
Damien Doligez • 8 years ago  
9baf42b
initialize blocks with Val_unit, not zero
Mark Shinwell • 8 years ago  
05100e5
weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,21856a7,merge)
Mark Shinwell • 8 years ago  
521ac02
add travis CI files (github.com/avsm/ocaml 22e0620)
Mark Shinwell • 8 years ago  
f8df3c9
[minor] auto-generate a .gitignore using `git svn show-ignore`
Gabriel Scherer • 8 years ago  
d30af12
Ocamlbuild: make log printing code tail-recursive
Gabriel Scherer • 8 years ago  
db32d6a
document __LOC__ in pervasives.mli
Fabrice Le Fessant • 8 years ago  
a72d304
#6387: allow attributes on variants in polymorphic variant types.
Alain Frisch • 8 years ago  
b791d66
Fix precedence of extension nodes (#6386).
Alain Frisch • 8 years ago  
772a843
Fix precedence of extension nodes (#6386).
Alain Frisch • 8 years ago  
676497f
Fix precedence of extension nodes (#6386).
Alain Frisch • 8 years ago  
99120f2
merge branch "safe-string"
Damien Doligez • 8 years ago  
5b8df63
Wrong MASM syntax, try again.
Xavier Leroy • 8 years ago  
3ce32fb
update Makefile.nt for new asmcomp modules
Damien Doligez • 8 years ago  
b4c3955
merge Leo's patch for PR#6384
Jacques Garrigue • 8 years ago  
48f52f4
Fix PR#6383: Exception Not_found when using object type in absent module
Jacques Garrigue • 8 years ago  
6cb386e
Document that the new alternative syntax for string literals can break comments.
Alain Frisch • 8 years ago  
f1f3626
Revert 14616, 14617. Go back to the original syntax for toplevel directives, only allowing capitalized identifiers in addition to lowercase ones. Split #show into variants #show_val, #show_type, etc, and implement a generic #show which combines all the results.
Alain Frisch • 8 years ago  
d2de0d7
fix bug in commit 14694
Damien Doligez • 8 years ago  
bf8d983
add CSE.ml to ignore files
Damien Doligez • 8 years ago  
35ec048
add missing rules for CSE.ml
Damien Doligez • 8 years ago  
f48db16
PR#6361: Hashtbl.hash not terminating on some lazy values w/ recursive types
Xavier Leroy • 8 years ago  
8944143
New back-end optimization pass: common subexpression elimination (CSE).
Xavier Leroy • 8 years ago  
558f40e
ID comments are so passé.
Xavier Leroy • 8 years ago  
95d98cd
New back-end optimization pass: dead code elimination.
Xavier Leroy • 8 years ago  
9c1d005
Follow-up to commit 14673: MASM has its own syntax for hex constants
Xavier Leroy • 8 years ago  
452390e
fix some whitespace
Damien Doligez • 8 years ago  
0cba565
update to use the git version of camlp5
Damien Doligez • 8 years ago  
9639370
Follow-up to commit 14673: Iconst_float now takes a float, no longer a string.
Xavier Leroy • 8 years ago  
2633ff7
Do not add absolute paths for information added to
Jacques Garrigue • 8 years ago  
979fe8b
- Constant ropagation for float and int32/int64/nativeint arithmetic.
Xavier Leroy • 8 years ago  
29b3443
Avoid bad error report when a registered toplevel primitive raises Not_found.
Alain Frisch • 8 years ago  
3775a10
#6119: document that the set of values contained in a closure is not specified and how this impacts marshaling references captured in closures, for instance.
Alain Frisch • 8 years ago  
df68e91
Fix doc for unmarshaled exception values and structural comparison.
Alain Frisch • 8 years ago  
5a463e6
Add a .gitignore file for git users
Fabrice Le Fessant • 8 years ago  
2e9bca0
Remove Ast_helper.Convenience submodule. This is better located in the ppx_tools package.
Alain Frisch • 8 years ago  
c0f8627
update expected test results following commit 14660
Damien Doligez • 8 years ago  
07bc0e6
More precise location on 'name must be unique' error (report the identifier name instead of the whole declaration).
Alain Frisch • 8 years ago  
db015c2
Make Parsetree more uniform by keeping locations in all records which have attributes.
Alain Frisch • 8 years ago  
3b6c0c8
Better locations.
Alain Frisch • 8 years ago  
af3d4aa
#6273: fix.
Alain Frisch • 8 years ago  
1ef064f
Add OCAMLPARAM option 'can-discard' to remove warnings about unknown version-specific arguments
Fabrice Le Fessant • 8 years ago  
100909c
#6273: fix Sys.file_exists on large files for Win32 (patch by C. Bauer).
Alain Frisch • 8 years ago  
456ad30
PR#6075: fix build under Windows (there is no caml_strbuf_free).
Alain Frisch • 8 years ago  
44845c5
Fix PR#6376
Jacques Garrigue • 8 years ago  
82e2f35
part 2: fix regression (extraneous moves) caused by previous Cconst_blockheader patch
Mark Shinwell • 8 years ago  
0b097e9
fix regression (extraneous moves) caused by previous Cconst_blockheader patch
Mark Shinwell • 8 years ago  
cceb1c7
[minor] documentation typo in Hashtbl
Gabriel Scherer • 8 years ago  
dd7178e
[minor] improvement over the Hashtbl doc
Gabriel Scherer • 8 years ago  
1ba4d34
makefile target to build the stdlib documentation as html
Gabriel Scherer • 8 years ago  
56f1f8a
an example of functor application for Hashtbl
Gabriel Scherer • 8 years ago  
5ef784b
PR#5941: add Printexc.set_uncaught_exception_handler
Jérémie Dimino • 8 years ago  
d3ec5fe
minor clean-ups
Damien Doligez • 8 years ago  
34752cd
As mentioned by gcc -Wall, the variable "frame_number" is useless. Removed it.
Xavier Leroy • 8 years ago  
443b7d7
Simpler variant of commit r14635:
Xavier Leroy • 8 years ago  
dd17af8
configure: always define ARCH_INT64_TYPE in config/m.h because Coq
Xavier Leroy • 8 years ago  
86bd999
Add a hook in the lexer for an internal preprocessor
Fabrice Le Fessant • 8 years ago  
e3aaa68
Changelog.
Alain Frisch • 8 years ago  
75fd56b
merge COMPFLAGS and OPTCOMPFLAGS
Damien Doligez • 8 years ago  
65d56e7
remove $Id markers
Damien Doligez • 8 years ago  
3e9a3ad
#5377: add a #show directive to the toplevel.
Alain Frisch • 8 years ago  
ec52bae
Allow keywords and capitalized longidents as toplevel directives.
Alain Frisch • 8 years ago  
cd5e18a
Support for toplevel primitives with multiple arguments.
Alain Frisch • 8 years ago  
26a8bc2
Doc.
Alain Frisch • 8 years ago  
8106136
on i386 and AMD64, mark 'morally tail' C function calls as non-leaf
Gabriel Scherer • 8 years ago  
d74aa29
selectgen.ml: cross-cutting handling of Proc.contains_calls
Gabriel Scherer • 8 years ago  
fa0f96a
Fix PR#6371
Jacques Garrigue • 8 years ago  
5db6318
PR#6075: avoid using unsafe C library functions (strcpy, strcat, sprintf).
Xavier Leroy • 8 years ago  
774e30e
[whitespace] bring threads/pervasives.ml closer to stdlib/pervasives.ml
Gabriel Scherer • 8 years ago  
2fc7ac7
Doc typo.
Alain Frisch • 8 years ago  
738c455
Doc.
Alain Frisch • 8 years ago  
dc9c697
Support for the let%foo syntax as structure item.
Alain Frisch • 8 years ago  
984814d
Doc.
Alain Frisch • 8 years ago  
546c22b
Doc.
Alain Frisch • 8 years ago  
9fda101
Turn more sig/str items into records. Patch from Leo White.
Alain Frisch • 8 years ago  
6fe5dd7
Add back support for explicit_arity mode on constructor expressions and patterns, now relying on an attribute. This has been requested to preserve Camlp5's behavior.
Alain Frisch • 8 years ago  
c239f18
Use 'ocaml.' prefix for built-in attributes ocaml.warning, ocaml.deprecated. Later, there will be a warning when an unknown ocaml.* attribute is used.
Alain Frisch • 8 years ago  
23b1a99
Fix syntax for floating attributes (disable until next bootstrap).
Alain Frisch • 8 years ago  
968f305
Fix syntax for floating attributes.
Alain Frisch • 8 years ago  
21f4e43
Custom syntax for floating attributes: [@@@id].
Alain Frisch • 8 years ago  
f31ba39
man/ocamlopt.m: document the Arm-specific command-line options
Gabriel Scherer • 8 years ago  
5f5bd08
fix bug in test program
Damien Doligez • 8 years ago  
2ffe809
fix some of the whitespace problems in the source
Damien Doligez • 8 years ago  
7303ac3
remove tests that depend on camlp4
Damien Doligez • 8 years ago  
7b52e64
test reference files are now exempt from all rules
Damien Doligez • 8 years ago  
8ebe119
remove broken link in doc comment
Damien Doligez • 8 years ago  
369a77a
fix wrong type name: string --> usage_msg
Damien Doligez • 8 years ago  
834253b
Added comments to parsetree.mli
Gabriel Scherer • 8 years ago  
91f9569
refine ocamlbuild/.depend for `make -jN` to work again
Gabriel Scherer • 8 years ago  
3d98a38
parser.mly: minor mistake in position of a symbol
Gabriel Scherer • 8 years ago  
8cade7a
Add %loc_* primitives and corresponding values in Pervasives
Fabrice Le Fessant • 8 years ago  
2859498
Fix PR#6365
Jacques Garrigue • 8 years ago  
fb74ef5
Fix ocamlbuild installation directory
Jacques Garrigue • 8 years ago  
f309a7a
Suppressed some useless argument of switcher calls
Luc Maranget • 8 years ago  
937e37e
Folllowup to PR#6359, great cleanup of switch actions sharing.
Luc Maranget • 8 years ago  
fcf3571
Fix caml_string_{get,set}{16,32,64} bound checking in cmmgen
Gabriel Scherer • 8 years ago  
192d8b4
testsuite for primitive bound checking
Gabriel Scherer • 8 years ago  
3a0d4ac
[minor] make tools/Makefile.shared msvc-friendly
Gabriel Scherer • 8 years ago  
7d51d48
[minor] Makefile.nt typo
Gabriel Scherer • 8 years ago  
0b161c0
make clean: remove *.cmt and *.cmti files
Damien Doligez • 8 years ago  
2231b64
minor Makefile.nt fix
Gabriel Scherer • 8 years ago  
af18751
CI golf: try a better fix for tools install in Makefile.nt
Gabriel Scherer • 8 years ago  
880af08
[minor] partial revert of trunk@14535 to make Windows CI happy
Gabriel Scherer • 8 years ago  
2a282db
PR#6358: obey DESTDIR in install targets
Gabriel Scherer • 8 years ago  
de4f4cf
harmonize Makefile.nt wrt. Makefile to simplify future line-by-line comparison
Gabriel Scherer • 8 years ago  
2ba45f9
PR#6270: remove need for -I directives to ocamldebug in common case
Gabriel Scherer • 8 years ago  
2b9f94b
merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision 14525)
Damien Doligez • 8 years ago  
e8d15e7
Fix PR#6348
Jacques Garrigue • 8 years ago  
fc61342
Fix PR#6347
Jacques Garrigue • 8 years ago  
cfb1250
ignore generated file ocamlmklibconfig.ml
Damien Doligez • 8 years ago  
c95804e
Fix PR#6352
Jacques Garrigue • 8 years ago  
2699d15
comment 9644 of PR#6000: principality check for coercion to format
Jacques Garrigue • 8 years ago  
12a2e9f
Revert bad change included in previous commit, which broke tests/typing-module/firstclass.ml (more phrases were accepted by the type-checker).
Alain Frisch • 8 years ago  
440a649
Get rid of ocamlcomp.sh. The next step is to share all those common declarations for calling the compilers from various places.
Alain Frisch • 8 years ago  
0c4c54c
Fix PR#6359
Luc Maranget • 8 years ago  
dd55c29
stop ignoring ocamlmklib.ml, it is not a generated file any more
Damien Doligez • 8 years ago  
989ac0b
Revert "PR#6270: remove need for -I directives to ocamldebug in common case (patch by Josh Watzman)"
Gabriel Scherer • 8 years ago  
57fe374
PR#6270: remove need for -I directives to ocamldebug in common case (patch by Josh Watzman)
Xavier Clerc • 8 years ago  
dd7bd5b
Pprintast: factorize handling of infix/prefix binders
Gabriel Scherer • 8 years ago  
09900da
ignore .cmt and .cmti files
Damien Doligez • 8 years ago  
41aa619
fix msvc64 port by removing unused open Misc (untested, esp. on other Windows ports)
Damien Doligez • 8 years ago  
be92c8e
In cmmgen, use previously defined 'get_size' function to emit
Luc Maranget • 8 years ago  
4aa013f
Compile with the same warning configuration under Windows.
Alain Frisch • 8 years ago  
ab64979
#6352: add a warning on implicit removal of optional arguments.
Alain Frisch • 8 years ago  
da5b063
Get rid of some uses of implicit removal of optional arguments.
Alain Frisch • 8 years ago  
e249316
Get rid of some uses of implicit removal of optional arguments.
Alain Frisch • 8 years ago  
6a39aa1
Get rid of some uses of implicit removal of optional arguments.
Alain Frisch • 8 years ago  
f6b9b99
More robust syntax (in case we add e.g. some 'open' statement before).
Alain Frisch • 8 years ago  
2a9373d
Also compile with -bin-annot under Windows.
Alain Frisch • 8 years ago  
bc24137
Remove spurious character from error message.
Alain Frisch • 8 years ago  
481ee60
commit mergeinfo to keep svn happy
Damien Doligez • 8 years ago  
3266bce
skip debugger test when dynlink is not available
Damien Doligez • 8 years ago  
f0d0c58
PR#6351: minor arm64 fix (patch by Richard W.M. Jones)
Gabriel Scherer • 8 years ago  
d8d7ea9
#6260: fix unecessary boxing of let-bound floats/ints.
Alain Frisch • 8 years ago  
35ff978
Ensure that record patterns don't miss any field in Ast_mapper (use of optional arguments in Ast_helper makes it too easy to forget some fields).
Alain Frisch • 8 years ago  
63e3139
Optimize Env.find_module further for PR#6350
Jacques Garrigue • 8 years ago  
e39065c
Fix PR#6350
Jacques Garrigue • 8 years ago  
1302703
[minor] add strmatch to Makefile.nt
Gabriel Scherer • 8 years ago  
5f0b7f9
Oups
Luc Maranget • 8 years ago  
d89503f
#PR6269 Optimized string matching
Luc Maranget • 8 years ago  
c2a88c2
Factor out the grammar productions for functor parameters
Gabriel Scherer • 8 years ago  
3d1c1ad
Pervasives: define [min_int] and [max_int] without assuming that integers are either 31 or 63 bits.
Gabriel Scherer • 8 years ago  
eeae918
PR#6184: ocamlbuild: `ocamlfind ocamldep` does not support -predicate
Gabriel Scherer • 8 years ago  
5c90eef
PR#6187: Add a warning when using -plugin-tag(s) without myocamlbuild.ml
Gabriel Scherer • 8 years ago  
5f67d82
Shorten syntax for functor signatures (patch by Thomas Gazagnaire)
Gabriel Scherer • 8 years ago  
9e410c0
Fix Makefile.
Alain Frisch • 8 years ago  
05982a5
fix error in previous register naming patch
Mark Shinwell • 8 years ago  
4eb7a8a
PR#6349: ocamlbuild.cm{o,x} must not be included in ocamlbuild.cm{a,xa}
Gabriel Scherer • 8 years ago  
ce6e8ee
Also check sharing of immutable constants.
Alain Frisch • 8 years ago  
7578b58
Add non-regression test for #5779.
Alain Frisch • 8 years ago  
8583d7f
#6345: better compilation of optional arguments with default values.
Alain Frisch • 8 years ago  
87e2ff9
improved abstractions for register naming in the native code backend
Mark Shinwell • 8 years ago  
de489bd
be explicit when constructing integers that are block headers
Mark Shinwell • 8 years ago  
583bfd4
[minor] update Changes
Gabriel Scherer • 8 years ago  
087993d
ocamllex: user-definable refill actions (patch by Frédéric Bour)
Gabriel Scherer • 8 years ago  
d22b112
[minor] forgotten Changes entry for 4.01
Gabriel Scherer • 8 years ago  
adac895
Fix two makeblocks incorrectly marked as Immutable. The lazy-related one is concretely problematic in presence of stronger constant propagation.
Alain Frisch • 8 years ago  
bd7fa18
Optimization: if a function doesn't use its environment, one can do as if it it doesn't have any free variables, and its closure can be statically allocated (we could be more precise and remove unused free variables from the closure).
Alain Frisch • 8 years ago  
1080fec
#6343, #5537, #5573: improving access to values in nested modules.
Alain Frisch • 8 years ago  
ebd01bc
Fix PR#6307
Jacques Garrigue • 8 years ago  
65b1193
Structural typing of first class modules (cf. PR#6333)
Jacques Garrigue • 8 years ago  
d59bd57
#5779: Revert change on camlinternalOO.
Alain Frisch • 8 years ago  
7fead1f
use -bin-annot when building
Mark Shinwell • 8 years ago  
1f4de8b
#5779: adopt gasche's sentinel solution.
Alain Frisch • 8 years ago  
ccf5161
Really remove debug output.
Alain Frisch • 8 years ago  
fd2911b
remove debugging output
Jacques Garrigue • 8 years ago  
75b6553
#5779: improve support for structured constants (better propagation, sharing, cleaner representation). Also fix #6337 (constants emitted several times).
Alain Frisch • 8 years ago  
4907f6c
Fix PR#6331
Jacques Garrigue • 8 years ago  
eaf5646
fix major performance problem on large heaps by making the heap increment proportional to the heap size
Damien Doligez • 8 years ago  
9d86709
PR#6214: "sed: comment garbled" on make world
Damien Doligez • 8 years ago  
56e5ff0
PR#6208: Hashtbl.reset @since 4.00.0
Damien Doligez • 8 years ago  
29ad65d
add #includes to declare the functions enter/leave_blocking_section
Damien Doligez • 8 years ago  
5539f86
#6328: use real temporary file names for ocamlyacc under Windows.
Alain Frisch • 8 years ago  
585d571
Quick fix of PR#6325
Jacques Garrigue • 8 years ago  
c56d21d
Fix bug (structure-level attributes and ocamlopt).
Alain Frisch • 8 years ago  
7570931
PR#6322 Corrected.
Luc Maranget • 8 years ago  
89a627f
PR#6054: add support for M.[ foo ], M.[| foo |], etc.
Gabriel Scherer • 8 years ago  
ad58a2c
Fix a typo in close_functions.
Gabriel Scherer • 8 years ago  
fba6c41
#6311. Changelog.
Alain Frisch • 8 years ago  
9ef1830
Add location to module and module type definitions. Improves #6311.
Alain Frisch • 8 years ago  
663c098
#6311: show kind and location of missing item, in case of signature mismatch.
Alain Frisch • 8 years ago  
b81e8ec
release the lock in ftruncate, fchown, and fchmod
Jérémie Dimino • 8 years ago  
67f7b37
PR#6310: fix ocamldoc's subscript/superscript CSS font size
Gabriel Scherer • 8 years ago  
d78c1fe
Fix testsuite (rely on compilerlibs to be more robust).
Alain Frisch • 8 years ago  
3fb69be
Record inclusion checks between value_descriptions in .cmt files. This makes it easy in particular to track in external tools value declarations between implementations and interfaces.
Alain Frisch • 8 years ago  
10abdce
#6308: better error message when the types inferred for a variable on both sides of an or-pattern don't match.
Alain Frisch • 8 years ago  
9de0cd2
Fix conditional installation of ocamldebug under Windows.
Alain Frisch • 8 years ago  
6a296a0
PR#6183: enhanced documentation for 'Unix.shutdown_connection'
Xavier Clerc • 8 years ago  
8e51133
PR#6267: more information printed by "bt" command of ocamldebug
Xavier Clerc • 8 years ago  
e663620
Fix PR#6303
Jacques Garrigue • 8 years ago  
eaa8a78
PR#6189, items (10) and (11)
Damien Doligez • 8 years ago  
c5b1594
PR#6189: items (8) and (9)
Damien Doligez • 8 years ago  
89735c4
PR#6189: items (5) (6) (7)
Damien Doligez • 8 years ago  
4311193
PR#6189, item (2): missing options in the doc
Damien Doligez • 8 years ago  
d3d6cc0
svn wants to commit mergeinfo...
Damien Doligez • 8 years ago  
224adc5
PR#5598: (follow-up) handling of string constants in ocamllex should be the same as in ocamlc
Damien Doligez • 8 years ago  
fd2c7e3
PR#6165: Alterations to handling of \013 in source files breaking other tools
Damien Doligez • 8 years ago  
64dd73a
Fix dependency analysis for module aliases.
Alain Frisch • 8 years ago  
5d99ea5
Fix PR#6293
Jacques Garrigue • 8 years ago  
df68b17
Fix PR#6293
Jacques Garrigue • 8 years ago  
950be99
Merge module-alias branch (cf. PR#6063)
Jacques Garrigue • 8 years ago  
3b4d7cf
update CHANGES
Gabriel Scherer • 8 years ago  
4a25508
make bigarray.mli's documentation consistent with the new GADT interface
Gabriel Scherer • 8 years ago  
a2f40d8
PR#6064: GADT representation for Bigarray.kind + CAML_BA_CHAR runtime kind
Gabriel Scherer • 8 years ago  
844052b
fix commit 14384
Jérémie Dimino • 8 years ago  
12a909e
udate test: let supports GADTs
Jacques Garrigue • 8 years ago  
33ad3e0
fix #6276: release the runtime in all stubs that might block
Jérémie Dimino • 8 years ago  
9fd3c41
Add -trans-mod option for transparent module dependencies.
Jacques Garrigue • 8 years ago  
d90b126
test/tool-debugger: add simple test for the debugger
Damien Doligez • 8 years ago  
61a4334
debugger: fix environment bug and remove confirmation at quit
Damien Doligez • 8 years ago  
cca1fc1
fix crashing bug in win32unix/select.c
Damien Doligez • 8 years ago  
59dda47
configure: SO must be "so" or "dll" without the dot
Damien Doligez • 8 years ago  
c81cc50
ocamlmklibconfig.ml: add missing config varible
Damien Doligez • 8 years ago  
ed52c66
merge generative functors
Jacques Garrigue • 8 years ago  
cfa350c
Fix PR#6275
Jacques Garrigue • 8 years ago  
024c8ad
#5808: allow simple patterns, not only identifiers, in 'let p : t = ...'.
Alain Frisch • 8 years ago  
ac5cbb7
Un-bootstrapping of ocamlbuild, clean-up phase:
Xavier Leroy • 8 years ago  
33f6c2c
Un-bootstrapping of ocamlbuild: build it using a plain Makefile.
Xavier Leroy • 8 years ago  
f65785a
Typo.
Alain Frisch • 8 years ago  
7b514ef
Fix.
Alain Frisch • 8 years ago  
7b76de4
update Changes for PR#6257
Maxence Guesdon • 8 years ago  
685c62c
PR#6257: allow full doc comments on variant constructors and record fields
Maxence Guesdon • 8 years ago  
ff754c0
#6262: equality of first-class modules take module type aliases into account. Fix interaction with module inclusion.
Alain Frisch • 8 years ago  
32dddc3
mergeinfo stuff that I don't understand
Damien Doligez • 8 years ago  
98bc2a5
fix testsuite makefile: openbsd does not support PWD env variable
Damien Doligez • 8 years ago  
c2651f0
#6180: avoid redundant check in caml_make_float_vect.
Alain Frisch • 8 years ago  
c2cab7f
port to cygwin-64
Damien Doligez • 8 years ago  
aa58e55
make the testsuite work on cygwin-64, where dynamic linking is not yet available
Damien Doligez • 8 years ago  
0f6873a
#6246: allow wildcard pattern as for-loop index. ==> Camlp4 will need to be adapted.
Alain Frisch • 8 years ago  
2086ac5
PR#6245: Minor inconsistencies between related signatures in arg.mli
Damien Doligez • 8 years ago  
1ed1b20
Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits:
Xavier Leroy • 8 years ago  
33f242a
Reports the beginning of the string literal in 'This comment contains an unterminated string literal' errors.
Alain Frisch • 8 years ago  
15da6d1
testsuite/external: update coq, lablgtk, alt-ergo
Damien Doligez • 8 years ago  
f093afd
Bring stack backtraces up-to-date on PowerPC, incl. reraise.
Xavier Leroy • 8 years ago  
7984a93
Debug info was lost when rescheduling "checkbound" instructions.
Xavier Leroy • 8 years ago  
140f620
PR#6243: Make "ocamlopt -g" more resistant to ill-formed locations.
Xavier Leroy • 8 years ago  
3d7d4b9
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.
Xavier Leroy • 8 years ago  
948d520
typo in test log message
Damien Doligez • 8 years ago  
ed23a31
update for latest trunk changes
Damien Doligez • 8 years ago  
cde0013
Remove camlp4.
Jérémie Dimino • 8 years ago  
b30b541
remove camlp4
Jérémie Dimino • 8 years ago  
5d91763
removal of camlp4
Jérémie Dimino • 8 years ago  
94f29d2
caml_backtrace_pos is a 32-bit integer under amd64.
Alain Frisch • 8 years ago  
7335d5f
Fix PR#6241
Jacques Garrigue • 8 years ago  
9b974c1
Add proper casts.
Alain Frisch • 8 years ago  
7c98525
Perform constant optimizations for integer division and modulus on the C-- level.
Benedikt Meurer • 8 years ago  
3bb1612
new version of the patch, using module_type option, and allowing unpacking when no type created
Jacques Garrigue • 8 years ago  
ee2eb30
Fix PR#6240
Jacques Garrigue • 8 years ago  
c20af45
Fix PR#6240
Jacques Garrigue • 8 years ago  
2a011d7
fix computation of position
Jacques Garrigue • 8 years ago  
bedaff5
also generate module aliases when using include
Jacques Garrigue • 8 years ago  
b4f8172
Missing include (==> implicit declaration of function 'caml_named_value').
Alain Frisch • 8 years ago  
df7e6c1
Revert "Don't use emit_parts_list for regular operations."
Benedikt Meurer • 8 years ago  
e2827a1
Don't use emit_parts_list for regular operations.
Benedikt Meurer • 8 years ago  
7fab955
Changelog.
Alain Frisch • 8 years ago  
4818fbb
Reintegrate raise_variants branch.
Alain Frisch • 8 years ago  
f16534e
No need for caml_init_exceptions.
Alain Frisch • 8 years ago  
a51080b
Cleanup.
Alain Frisch • 8 years ago  
632d7e2
update for trunk
Jacques Garrigue • 8 years ago  
37b6979
Fix PR#6235 + keep typing of pattern cases independent in principal mode
Jacques Garrigue • 8 years ago  
b7ab746
[arm] Improve code selection for shifted arithmetic operations.
Benedikt Meurer • 8 years ago  
c3a2400
expand module aliases and type identifiers in "module type of"
Jacques Garrigue • 8 years ago  
7110a56
use new scrape_alias for Env too
Jacques Garrigue • 8 years ago  
5d379f7
forgot test...
Jacques Garrigue • 8 years ago  
00fa401
use a strengthening version of scrape_alias in Typemod
Jacques Garrigue • 8 years ago  
956e258
build: make CAMLOPT_BIN default to "no-opt-compiler-available".
Wojciech Meyer • 8 years ago  
122f4f8
build: always build lex/ and ocamlc with the compiler from boot/.
Wojciech Meyer • 8 years ago  
928503e
myocamlbuild.ml: only build with .opt compilers if they're more recent.
Wojciech Meyer • 8 years ago  
7ea8f59
Simplify special logic for array bound error (allocate the exception value from Pervasives).
Alain Frisch • 8 years ago  
b911754
Fix typos and wording (#6231).
Alain Frisch • 8 years ago  
171a77d
PR#6227 continued: problem with preferences between different register classes.
Xavier Leroy • 8 years ago  
e553dc2
Remove use of deprecated features (#6227, patch by johnwhitington).
Alain Frisch • 8 years ago  
07e704d
Do not introduce Obj.raw_tag.
Alain Frisch • 8 years ago  
7bb3e64
#6042: fix msvc64 port.
Alain Frisch • 8 years ago  
ff18f68
bound checking bug with caml_string_{get,set}{16,32,64}: fix the runtime C code
Gabriel Scherer • 8 years ago  
9e17f24
Improve code generation for subtraction.
Benedikt Meurer • 8 years ago  
5b13c68
[arm] Fix bug in div/mod by constant.
Benedikt Meurer • 8 years ago  
c04e198
Further refactor code generation for multiplication.
Benedikt Meurer • 8 years ago  
355e035
Typo.
Alain Frisch • 8 years ago  
8757e72
#6042: fix Intel syntax.
Alain Frisch • 8 years ago  
78c2b5b
PR#6222: The mls instruction is not available on ARMv6.
Benedikt Meurer • 8 years ago  
be7a031
[arm] r12 is destroyed for constants that are not a power of 2.
Benedikt Meurer • 8 years ago  
20efbfe
[arm] Optimize integer division and modulus by constant.
Benedikt Meurer • 8 years ago  
db057d0
Compile multiplication by power of 2 constant to left shift.
Benedikt Meurer • 8 years ago  
954f8e5
Follow-up to commit r14254: optimization of immediate division and modulus for ARM64. Completely untested.
Xavier Leroy • 8 years ago  
bdb169a
Follow-up to commit r14254: optimization of division and modulus by constants for the I386. Untested; CI will find out.
Xavier Leroy • 8 years ago  
ec4b2fc
Follow-up to commit r14254: update destroyed_at_oper and max_register_pressure
Xavier Leroy • 8 years ago  
e32b161
PR#6042: optimize integer division and modulus when divisor is constant.
Xavier Leroy • 8 years ago  
ab9f3e3
PR#6216: inlining of GADT matches generates invalid assembly
Xavier Leroy • 8 years ago  
e499400
Add test for PR#6216. Not fixed yet.
Jacques Garrigue • 8 years ago  
9212dd3
Fix PR#6174 (-rectypes case)
Jacques Garrigue • 8 years ago  
04bc532
Fix PR#6174 (non -rectypes)
Jacques Garrigue • 8 years ago  
09387da
merge trunk:14244 to fix bootstrap
Jacques Garrigue • 8 years ago  
8fb5fdc
Accept change of internal ids.
Alain Frisch • 8 years ago  
87844a6
Support for exception values allocated in the static area (e.g. out of bound exception in native code).
Alain Frisch • 8 years ago  
5ef2ee9
Cleanup.
Alain Frisch • 8 years ago  
fc87cee
Add two functions to get the exception slot id and name from an exception value.
Alain Frisch • 8 years ago  
be3c4d6
Change the representation of exception slots: instead of being represented as 'string ref', they are now blocks
Alain Frisch • 8 years ago  
0f6f367
Revert bad(?) commit.
Alain Frisch • 8 years ago  
fe3afbd
Fix Out_of_memory/Stack_overflow.
Alain Frisch • 8 years ago  
a96fb5b
Also adapt the native system.
Alain Frisch • 8 years ago  
fc3a6d4
#6203: change representation of exception values created with a constant constructor: the value is now equal to the exception slot. This avoids some allocation when the constructor is called and an extra indirection on matching against the constructor.
Alain Frisch • 8 years ago  
d802a51
Support for AMD64, Intel syntax (i.e. MVSC 64 port).
Alain Frisch • 8 years ago  
804007b
Fix testsuite.
Alain Frisch • 8 years ago  
4df8c36
Support the two variants on i386, intel syntax (i.e. Win32 msvc port).
Alain Frisch • 8 years ago  
f259736
Support the two variants on i386.
Alain Frisch • 8 years ago  
784b0b3
Adapt sparc backend (stacktraces not supported anyway).
Alain Frisch • 8 years ago  
0efe8df
Support raise_notrace under powerpc (not tested). Do not distinguish raise/reraise for now.
Alain Frisch • 8 years ago  
0773bfa
Support raise_notrace under arm/arm64 (not tested). Do not distinguish raise/reraise for now.
Alain Frisch • 8 years ago  
3f3599f
Cleanup.
Alain Frisch • 8 years ago  
ae9a78b
Support for raise variants in ocamlopt. Only amd64 for now.
Alain Frisch • 8 years ago  
164c307
Rename raise_nostack -> raise_notrace. Expose it in Pervasives.
Alain Frisch • 8 years ago  
0915cb5
Recognize reraises in handlers.
Alain Frisch • 8 years ago  
c4513e1
#6203, #5935: variants of raise. 'reraise' is currently only inserted by the compiler when an handler does not catch the exception. The default 'raise' always start with a fresh backtrace. There is also 'raise_nostack' which does not trigger the stack trace recording. Bytecode only for now.
Alain Frisch • 8 years ago  
f31325c
Branch to experiment with variants of the raise primitive.
Alain Frisch • 8 years ago  
5dabafb
Fix testsuite.
Alain Frisch • 8 years ago  
349f151
#6205: add Hint before spellchecking suggestion.
Alain Frisch • 8 years ago  
01aaf23
Do not add module aliases to imports
Jacques Garrigue • 8 years ago  
c628fb2
applicative functor application
Jacques Garrigue • 8 years ago  
199ace8
applicative functor application
Jacques Garrigue • 8 years ago  
90a0814
debugger
Jacques Garrigue • 8 years ago  
6b45264
fix multiple binding of same identifier in apply_coercion, broke core_extended
Jacques Garrigue • 8 years ago  
f27f476
#5445: interpret warning attribute on expressions, and as floating signature/structure items.
Alain Frisch • 8 years ago  
f1bc74b
Allow floating attribute in the toplevel. Also allow the empty structure (;;) as a toplevel phrase.
Alain Frisch • 8 years ago  
1b73112
make path normalization safer; now Core not only compiles but works
Jacques Garrigue • 8 years ago  
7a904bb
more exception paths requiring normalization
Jacques Garrigue • 8 years ago  
06d511c
Hurrah: Core compiles (with some warnings)
Jacques Garrigue • 8 years ago  
a9ea006
#6195: use ocamlcommon.cma to link ocamldoc, instead of explicit list of compiler modules.
Alain Frisch • 8 years ago  
62f365c
fix path comparison. still a problem with FCMod in Core.Binable
Jacques Garrigue • 8 years ago  
c74f7c6
fix exn_rebind: camlp4 compiles again
Jacques Garrigue • 8 years ago  
251289a
Keep attributes with module type declarations. Warning on reference to deprecated module type.
Alain Frisch • 8 years ago  
c955798
Fix #6193 (Incorrect warning 12 for character ranges).
Alain Frisch • 8 years ago  
5554eb1
everything works except camlp4
Jacques Garrigue • 8 years ago  
6ffc859
bootstrap camlp4
Jacques Garrigue • 8 years ago  
2d5bd02
passes the testsuite!
Jacques Garrigue • 8 years ago  
eda1266
Merge trunk at revision 14200. Now everything works except private types
Jacques Garrigue • 8 years ago  
5f68db9
mostly works, but:
Jacques Garrigue • 8 years ago  
4c5e9bb
now works with nested structures; still problems inside functors
Jacques Garrigue • 8 years ago  
e686ed5
do not alias functor parameters + some problems with coercions not fixed yet
Jacques Garrigue • 8 years ago  
9ddb346
module translation + bad functor example
Jacques Garrigue • 8 years ago  
e0cdc52
Support module aliases.
Jacques Garrigue • 8 years ago  
97899f3
Keep attributes on module declarations.
Alain Frisch • 8 years ago  
cc31694
Keep attributes/locs for class type declarations and class declarations in Types. Renaming cty -> csig prefix for class signatures to be coherent with Typedtree.
Alain Frisch • 8 years ago  
c077875
Fix.
Alain Frisch • 8 years ago  
ef38d67
Fix tests.
Alain Frisch • 8 years ago  
8bf3d1c
Keep location and attributes in type, label and constructor declarations. Deprecated warning when a deprecated type or constructor is referenced.
Alain Frisch • 8 years ago  
645dcf2
experiment on module aliases
Jacques Garrigue • 8 years ago  
ecde85d
Keep attributes on value declarations in .cmi files (but clear all the location fields, except if -keep-locs is used, of course). Use this to report a warning when a value marked as [@@deprecated] is referenced (#5854)
Alain Frisch • 8 years ago  
6873f39
Cleanup.
Alain Frisch • 8 years ago  
f555657
Get rid of recursion closing functions, being more explicit on the recursion does not hurt.
Alain Frisch • 8 years ago  
e1b2a8b
Adapt one more example.
Alain Frisch • 8 years ago  
13dd4d9
Adapt one more example.
Alain Frisch • 8 years ago  
9e09513
Adapt one more example.
Alain Frisch • 8 years ago  
d4230ff
Functions to close the open recursion in Ast_mapper.
Alain Frisch • 8 years ago  
7994b4d
Adapt js example.
Alain Frisch • 8 years ago  
a2735f8
Cleanup ppx API.
Alain Frisch • 8 years ago  
91b2f18
Switch to a record-based API for Ast_mapper, so that it can be used within the compiler itself (where objects are banned). The class-based version will be shipped as part of the ppx_tools package. Only the ifdef example has been adapted in experimental/frisch.
Alain Frisch • 8 years ago  
48edce9
Typo (#6190).
Alain Frisch • 8 years ago  
eddb6e8
build: typo on config/Makefile.mingw64, msvc and msvc64.
Wojciech Meyer • 8 years ago  
86f0519
build: ocamlmklib on Windows expect a Windows-style path, not a UNIX one.
Wojciech Meyer • 8 years ago  
6e4c597
bootstrap ocamlbuild again (needed for the cross-compilation patches)
Gabriel Scherer • 8 years ago  
5e9a3c5
build: don't use make's -C; it's not available everywhere.
Wojciech Meyer • 8 years ago  
aa7e283
build: fix "make clean" failure when ./configure hasn't been run again.
Wojciech Meyer • 8 years ago  
0cc1847
build: skip $(IFLEXDIR) in mk_shell_and_ocamlbuild_config.sh.
Wojciech Meyer • 8 years ago  
49a8d15
Simplify type_structure.
Alain Frisch • 8 years ago  
b414d57
build: remove warning 32 (unused variable) in tools.
Wojciech Meyer • 8 years ago  
0f04aee
build: replace ocamlcomp*.sh.
Wojciech Meyer • 8 years ago  
241585b
build: replace build/mk{config,myocamlbuild_config}.sh.
Wojciech Meyer • 8 years ago  
8104198
PR#6173: Improve error messages for type-based disambiguation
Jacques Garrigue • 8 years ago  
0107287
build: allow $(UNIXDIR) to be "win32unix".
Wojciech Meyer • 8 years ago  
e8acf5f
config/Makefile.{mingw,msvc}{,64}: remove unused DO variable.
Wojciech Meyer • 8 years ago  
908c6e8
build: ocamldoc.opt was not built anymore on Windows.
Wojciech Meyer • 8 years ago  
0ebaece
Accept changes (spurious warnings are gone).
Alain Frisch • 8 years ago  
3574cf0
Wrongly committed bootstrapped compilers with spurious debug output.
Alain Frisch • 8 years ago  
76bc019
A tiny tool which use the new -keep-locs to find unused exported values in a project.
Alain Frisch • 8 years ago  
435535a
Do not track unused type declarations created by 'include'.
Alain Frisch • 8 years ago  
c8d20ad
#5817: new compiler flag (-keep-locs) to keep location in cmi files.
Alain Frisch • 8 years ago  
40117f7
#6180: efficient creation of uninitialized float arrays.
Alain Frisch • 8 years ago  
2373f76
#6182: better error message for virtual objects and class types.
Alain Frisch • 8 years ago  
9a4a944
Integrate exception_registration banch.
Alain Frisch • 8 years ago  
2691cf5
ocamlbuild: report location in Tags.acknowledge warnings
Gabriel Scherer • 8 years ago  
d9a035f
ocamlbuild: use Loc.print_loc for lexing errors
Gabriel Scherer • 8 years ago  
4c57668
use 'mark_tag_used' to solve all "unused tag" warnings in the distribution
Gabriel Scherer • 8 years ago  
dbffb79
ocamlbuild: rename 'mark_as_used' into 'mark_flag_used' and expose in PLUGIN
Gabriel Scherer • 8 years ago  
e691071
ocamlbuild: track location information of tags
Gabriel Scherer • 8 years ago  
bb514ec
ocamlbuild: a short location printing implementation
Gabriel Scherer • 8 years ago  
d70b93a
ocamlbuild: mark ocaml_lib's tag as used
Gabriel Scherer • 8 years ago  
75beffa
ocamlbuild: detect tags in _tags not used by any flag declaration (typos?)
Gabriel Scherer • 8 years ago  
b9a1796
minor typos in ocamlbuild/signatures.mli
Gabriel Scherer • 8 years ago  
9822747
ocamlbuild: deprecate warn_%c, warn_error_%c (replaced by parametrized tags) and strict-sequence (strict_sequence)
Gabriel Scherer • 8 years ago  
7629d96
ocamlbuild: allow flag declarations to be marked as deprecated
Gabriel Scherer • 8 years ago  
0f968f1
ocamlbuild: turn the flags.ml structure into a record to ease adding metadata
Gabriel Scherer • 8 years ago  
53d1c7c
ocamlbuild: move show_documentation's implementation in the respective modules to improve encapsulation
Gabriel Scherer • 8 years ago