| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
| |
- Update outdated documentation.
- Add copyright for Stephen's Institution as per review comment.
- Remove CamlinternalAtomic. Since atomics are now primitive, declare
them locally like the rest. This rids us of the wiggle dance of
dependencies.
|
| |
|
|
|
| |
Instead of a stdlib/Compflags rule.
This ensures compatibility with the Dune build.
|
| |
|
|
|
|
| |
The core OCaml development team decided to remove the Stream and Genlex modules from the standard library, making them available in a separate library camlp-streams instead.
To ease the transition, this commit adds a "deprecated" alert to the Stream and Genlex stdlib modules. Actual removal will take place one or two major releases later.
|
| |
|
|
|
|
| |
- Replace -w A with -w +A in various makefiles and tests.
- Replace -w a with -w -a in tests.
- Replace -w Ae with -w +A -w -fragile-matching
|
| |
|
|
|
| |
Now use stdlib__String instead of stdlib__string. Removes a difference
between the stdlib when compiled with Dune vs make.
|
| |\ |
|
| | |
| |
| |
| |
| |
| |
| | |
* Fix #9759: Typing without -principal is broken in 4.11 and trunk
* compile stdlib in -principal mode
* never modify generic part of ty_expected_explained
* use generic_instance where possible
* add comment for -no-principal in stdlib__oo.cmi
|
| |/ |
|
| |
|
|
|
|
|
| |
Introduce CamlinternalAtomic since Stdlib cannot refer to
Stdlib__-prefixed modules without breaking the dune build.
No change entry needed.
|
| |
|
|
| |
Atomic becomes a dependency of Stdlib
|
| |
|
|
| |
Ensure all script invocations explicitly refer to a directory.
|
| |
|
|
| |
This reverts commit 0dec0ce9d63d5d3168dadb193200af7e91b711c1.
|
| |
|
|
| |
This script was used to provide module-specific compiler flags.
Now that we use GNU make, these flags can be handled by make itslef.
|
| |
|
|
| |
This commit removes support for gprof-based profiling (the -p option to ocamlopt). It follows a discussion on the core developers' list, which indicated that removing gprof support was a reasonable thing to do. The rationale is that there are better easy-to-use profilers out there now, such as perf for Linux and Instruments on macOS; and the gprof support has always been patchy across targets. We save a whole build of the runtime and simplify some other parts of the codebase by removing it.
|
| |
|
|
|
| |
Add Stdlib.Float.Array module with a bunch of functions for the
floatarray type.
|
| |
|
|
|
|
|
| |
- inline Pervasives in Stdlib and re-add Pervasives as a deprecated
module that aliases all elements of Stdlib except the stdlib modules.
- remove special case for Stdlib.Pervasives in printtyp.ml
|
| | |
|
| |
|
|
|
|
| |
When AFL instrumentation is enabled, the inlining of Lazy.force
is disabled, so that the GC optimisation of removing Forward_tag
blocks is no longer visible in the instrumentation output.
|
| | |
|
| |
|
|
|
|
| |
awk is symbolic link in Cygwin, which means it can't be used in -pp for
a native Windows build. Just use gawk instead, as no other package
provides the awk command on Cygwin.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Except for the Camlinternal* modules and the new Stdlib module, all
modules in the stdlib now compile to Stdlib__<module>.
Pervasives is renamed to Stdlib and now contains a list of aliases
from the long names to the short ones, so that from inside and outside
the stdlib we can refer to the standard modules as just List or
Stdlib.List rather than Stdlib__list.
In order to avoid printing the long names in error messages and in the
toplevel, the following heuristic is added to Printtyp: given a path
Foo__bar, if Foo.Bar exists and is a direct or indirect alias to
Foo__bar, then prefer Foo.Bar.
A bootstrap step was required to replace Pervasives by Stdlib as the
module opened by default.
|
| |
|
|
| |
Remains to be done: remove all headers in testsuite/tests.
|
| |
|
|
|
|
| |
(Backport from Jacques' commit 4.02@14921)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
To finish the bootstrap cycle, run:
make library-cross
make promote
make partialclean
make core
make library-cross
make promote-cross
make partialclean
make ocamlc ocamllex ocamltools
make library-cross
make promote
make partialclean
make core
make compare
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
After applying this patch, you should run:
make library-cross
make promote-cross
make partialclean
make ocamlc ocamllex ocamltools
and then immediately apply the following patches until the "second
part of Benoît Vaugon's format+gadts patch"; the bootstrap cycle is
not finished yet.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14806 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
| |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
| |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
|
|
|
|
| |
Command line used:
svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 .
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
| |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
| |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
| |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
|
|
| |
found an old and subtle bug in Format; for other modules, the code is clearer and cleaner!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11100 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
| |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6655 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
| |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6626 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
| |
|
|
| |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
|
|
specifiques a chaque fichier
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|