diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-11 14:07:55 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-11 14:07:55 +0000 |
| commit | d20bc540e1eb423db9eeb0baec81fb0effb057e6 (patch) | |
| tree | 407d8188a1cf6098e24a82279fd7d11e8fedc0d4 | |
| parent | 6ae0aea7f6c44e27e99548a784dbce959e8ae4c1 (diff) | |
changement des labels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3754 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | Changes | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -1,6 +1,14 @@ Objective Caml 3.03: -------------------- +Language: +- Switched the default behaviour to labels mode (labels are compulsory), + but allows omitting labels when a function application is complete. + -nolabels mode is available but deprecated for programming. +- Removed all labels in the standard libraries, except labltk. + Labelized versions are kept for ArrayLabels, ListLabels, StringLabels + and UnixLabels. "open StdLabels" gives access to the first three. + Type-checker: - Fixed obscure bug in module typing causing the type-checker to loop on signatures of the form @@ -26,6 +34,8 @@ Toplevel environment: Tools: - New tool ocamlmklib to help build mixed Caml/C libraries. +- New tool scrapelabels to remove (non-optional) labels in interfaces, + providing a quick and dirty transition from ocaml 3.02. - ocamldep: added -pp option to handle preprocessed source files. Run-time system: |