OCaml Changelog

• fix compatibility with OCaml 4.00.1 and earlier

• supports -require for scripts
• support for React 1.0.0
• make utop.el compatible with melpa: http://melpa.milkbox.net

• backend:

  • small memory leak fix
  • major improvements and bugfixes for locate (i.e. "jump to definition")

• emacs:

  • fixed bug preventing merlin restart ( #167 )
  • removed keybindings reserved to users ( #170 ) the full list is:
    • C-c l previously bound to merlin-use
    • C-c r previously bound to merlin-restart-process
    • C-c t previously bound to merlin-type-expr
  • removed keybindings on C-<up> and C-<down> as these already have a meaning in emacs ( #129 ) They were bound to merlin-type-enclosing-go-up and merlin-type-enclosing-go-down respectively.
  • the emacs mode is now compiled (contribution from Jacques-Pascal Deplaix #158 , with a follow up from Rudy Grinberg #165 )
  • improved efficiency of completion at point

• extensions:

  • added support for variantslib ( #132 )
  • updated fieldslib support ( #169 , #185 )
  • fix pa_lwt translation ( #182 )
  • added support for pa_enumerate ( #187 )

• vim:

  • the split method for locate can now be configured

• update the async hook following the renaming of Async_core to Async_kernel
• fix tab completion not working on some emacs
• complete #load_rec the same way as #load

From the changelog:

• Fix opam-admin make <packages> -r (#990)
• Explicitly prettyprint list of lists, to fix opam-admin depexts (#997)
• Tell the user which fields is invalid in a configuration file (#1016)
• Add OpamSolver.empty_universe for flexible universe instantiation (#1033)
• Add OpamFormula.eval_relop and OpamFormula.check_relop (#1042)
• Change OpamCompiler.compare to match Pervasives.compare (#1042)
• Add OpamCompiler.eval_relop (#1042)
• Add OpamPackage.Name.compare (#1046)
• Add types version_constraint and version_formula to OpamFormula (#1046)
• Clearer command aliases. Made info an alias for show and added the alias uninstall (#944)
• Fixed opam init --root=<relative path> (#1047)
• Display OS constraints in opam info (#1052)
• Add a new 'opam-installer' script to make .install files usable outside of opam (#1026)
• Add a --resolve option to opam-admin make that builds just the archives you need for a specific installation (#1031)
• Fixed handling of spaces in filenames in internal files (#1014)
• Replace calls to which by a more portable call (#1061)
• Fixed generation of the init scripts in some cases (#1011)
• Better reports on package patch errors (#987, #988)
• More accurate warnings for unknown package dependencies (#1079)
• Added opam config report to help with bug reports (#1034)
• Do not reinstall dev packages with opam upgrade <pkg> (#1001)
• Be more careful with opam init to a non-empty root directory (#974)
• Cleanup build-dir after successful compiler installation to save on space (#1006)
• Improved OSX compatibility in the external solver tools (#1074)
• Fixed messages printed on update that were plain wrong (#1030)
• Improved detection of meaningful changes from upstream packages to trigger recompilation

• OCaml 4.01.0 warnings fix
• fixed indent of lwt try/finally
• sort Jane Street tests by priority
• added support for BENCH syntax
• added support for the new {xx| |xx} quotation syntax
• emacs mode: cleaner loading
• emacs mode: fixed the 'syntax' option
• emacs mode: workaround an auto-complete.el display bug
• emacs and vim modes: install in editor-specific directories
• refactored build system. Install through opam-installer, register libs as ocamlfind sub-packages

• backend:

  • better handling of paths (both sources and build)
  • split build path into cmi and cmt path. New directives "CMI" and "CMT" are now available in .merlin files ("B" still works as previously)
  • doesn't get confused anymore when the user switch between buffers (the state is cleaned)

• emacs:

  • adds ability to enable/disable extensions manually
  • adds a command to clear all the errors from a buffer
  • displaying of errors can now be disabled

• extensions

  • updated bin_prot for version >= 109.45.00
  • bugfix for [with compare] in presence of parametrized types
  • added support for "here" (when activated adds [val here : Lexing.position])
  • added support for [assert_lwt]
  • fixed typing of [while_lwt]

• vim:

  • vim plugin can be installed into a custom directory and has its own makefile target (contribution from Vsevolod Velichko)
  • added "ClearEnclosing" command to remove merlin's overlay after a call to TypeOf.

• add the -require command line argument to specify packages on the command line

• automatically load all files in $OCAML_TOPLEVEL_PATH/autoload at startup. Can be disabled with autoload: false in ~/.utoprc or -no-autoload.
• fix #38: handle errors from custom camlp4 ast filters
• fix #7: avoid a stack overflow in UTop_lexer

• license change: lessening the GPL to make ocp-indent easier to use as a library
• removed indent by default after most common operators (when align_ops is set)
• removed extra-indent in some pattern-matching cases
• fixed a few bugs related to records, lazy as pattern, "module with"
• added support for the cstruct syntax extension
• fixed Makefile to properly install all cmi files, working around an ocp-build bug

• handle new syntax errors
• extend #typeof to values and modules. Thanks to Thomas Refis for this feature

• fix compilation with ocaml < 4.01

• hide topfind messages by default
• more predefined prompts available via #utop_prompt_XXX
• fix a bug in #require when passing multiple packages
• display errors in ~/.lambda-term-inputrc nicely
• doc update
• fix an issue when using first-class modules

• when evaluating a region/buffer in emacs, evaluate all phrases instead of just the first one. Thanks to Matthias Andreas Benkard for this feature
• change the default prompt from # to $ to match the standard toplevel
• add the option UTop.show_box to allow one to hide the completion bar
• enhance the lwt/async hooks for automatically waiting on a thread/deferred. Hooks were not triggered when the type of the expression was a type alias

• hide identifiers starting with _. This can be disabled with UTop.set_hide_reserved false.
• automatically load camlp4 parsing (with original syntax) when trying to load a syntax extension
• fix a small bug when using camlp4, causing an exception to be raised when pressing Enter in the middle of a comment

• allow to automatically wait for ascync deferred values
• added the -short-paths options for OCaml >= 4.01.0 (and make it the default)

• fix: do not expunge Toploop
• install a non-expunged version of utop: utop-full

• bug-fix release: object types, module type of, first line, etc.

• optimised functional operators on OCaml 4.00
• fixed a bug in phrase boundary detection

• Large API rewrite, offering much more flexibility and functionality
• Still some bug fixes (comments at end, nested ocamldoc tags, etc.)
• Man-page fixes (thanks to Kaustuv Chaudhuri)
• Temporarily disabled the non-functional state-marshalling function
• Emacs mode: auto-disabling indent-tabs-mode by default, it's not compatible anyways.

• Fixed critical bug with the parsing of the --syntax option
• a few indent fixes (functor sigs, comments in expressions)

• Fixed bugs with GADTs, comments at end of modules
• Fixed compilation with OCaml trunk (warnings as errors)
• New vim script, contributed by Jonathan Derque
• New option "strict_else" to allow unindenting after else

• Lots of fixes
• Switched most operators and constructs with parentheses to column aligned by default (can be disabled with option align_ops)
• Better handling of records
• Some code cleanup (record fields with meaningful names)
• Documentation and manpage (now relying on cmdliner)
• Added an option (max_indent) to limit over-indent in the most annoying cases
• Syntax extensions can now be enabled from the configuration files

• Small fixes, stabilised ocamldoc indentation
• Support for configuration files, either user or project-wide

• Supporting indentation of ocamldoc. In particular, code within ocamldoc blocks {[...]} should be automatically indented
• Fixed the emacs mode not to set the mark
• A few new configuration options (strict_with, strict_comments, align_params)
• A few tweaks and improvements (better empty line indent, etc.)
• Bugfixes (#43, #47)

• Indentation of comments now follows ocamldoc conventions properly
• Partial indent adapts more closely to manual indentation
• Various small fixes (indent on empty lines, freeform comments...)

Oops, we went looking but didn't find the changelog for this release 🙈

Oops, we went looking but didn't find the changelog for this release 🙈

Oops, we went looking but didn't find the changelog for this release 🙈

Oops, we went looking but didn't find the changelog for this release 🙈

Oops, we went looking but didn't find the changelog for this release 🙈

Oops, we went looking but didn't find the changelog for this release 🙈

Oops, we went looking but didn't find the changelog for this release 🙈

Too many to list here, see https://raw.github.com/OCamlPro/opam/1.1.0/CHANGES

For packagers, some new fields have appeared in the OPAM description format:

• depexts provides facilities for dealing with system (non ocaml) dependencies
• messages, post-messages can be used to notify the user eg. of licensing information, or help her troobleshoot at package installation.
• available supersedes ocaml-version and os constraints, and can contain more expressive formulas

Also, we have integrated the main package repository with Travis, which will help us to improve the quality of contributions (see Anil's post).

• documentation:

  • updates of the emacs section of the readme by Ronan Lehy.

• emacs:

  • bugfix for ac-mode: merlin-ac-prefix wasn't called.
  • better formatting for completion suggestions.

• vim:

  • bugfix for the "selectPhrase" command, an overflow on 32b plateform was causing complete desynchronisation between vim and merlin.
  • better formatting for completion suggestions.

• backend:

  • lazy processing of open directives makes merlin much faster
  • simplified buffer management
  • tweak signal handling to improve windows compatibility
  • track verbosity of query: repeated queries are considered more "verbose"
  • type expansion: expand type aliases for verbose query
  • add support for OUnit-like Benchmark extension
  • more tolerant type checker, to provide completion on ill-typed expressions
  • proper version reporting with git revision
  • refactored logging subsystem
  • add support "val constructs" in implementation: report errors but add definition to current environment
  • add FLG, EXT and PRJ in .merlin
  • "locate" command now works in much more situations
  • one distribution for 4.00 and 4.01, introduced common interface between both, typers now live in https://github.com/def-lkb/merlin-typers
  • new implementation of the main merlin state tracking ast & types
  • better error reporting thanks to a contribution from Ronan Lehy

• documentation:

  • started a wiki (https://github.com/def-lkb/merlin/wiki)
  • wrote 'from-scratch' guides to ease setting-up merlin in your editor

• emacs

  • during completion with auto-complete, you can hit C-c C-l on a candidate to jump on its definition
  • made communication with merlin asynchronous (using transfer queues) hence improving responsiveness
  • when running a merlin command, the errors present in all phrases but the current one are displayed
  • fixed buffer cleaning
  • successive call to C-c C-t do not climb the typed tree but improve merlin's verbosity. To move inside the tree use C-down and C-up (which implements phrase movement if there is no enclosing started).
  • customize data for merlin
  • refactoring and numerous bugfixes

Oops, we went looking but didn't find the changelog for this release 🙈

• backend:

  • added a "locate" command to find the definition location of the given identifier works on the local buffer out of the box and at project level if it the build directories contain cmt files

• emacs:

  • various bugfixes
  • aesthetic changes for highlighting
  • introduced "semantic movements": add commands (and keybindings) to go to the next/previous phrase
  • support for completion in emacs 23
  • reporting of syntax errors
  • removed "idle-typing" feature
  • asynchronous fetching of types so that long signatures won't make emacs hang

• extensions:

  • add support for "type nonrec" declaration
  • add support for "with compare" from type-conv
  • add partial support for "with fields" from type-conv

• misc:

  • added specific support for omake's polling mode

• vim:

  • ':TypeOf' command now accepts an (optional) argument and tries to type it in the current context (i.e. at cursor position)
  • better catching of errors

The full change-log since the beta release in January:

1.0.0 [Mar 2013]

• Improve the lexer performance (thx to @oandrieu)
• Fix various typos (thx to @chaudhuri)
• Fix build issue (thx to @avsm)

0.9.6 [Mar 2013]

• Fix installation of pinned packages on BSD (thx to @smondet)
• Fix configuration for zsh users (thx to @AltGr)
• Fix loading of ~/.profile when using dash (eg. in Debian/Ubuntu)
• Fix installation of packages with symbolic links (regression introduced in 0.9.5)

0.9.5 [Mar 2013]

• If necessary, apply patches and substitute files before removing a package
• Fix opam remove <pkg> --keep-build-dir keeps the folder if a source archive is extracted
• Add build and install rules using ocamlbuild to help distro packagers
• Support arbitrary level of nested subdirectories in packages repositories
• Add opam config exec "CMD ARG1 ... ARGn" --switch=SWITCH to execute a command in a subshell
• Improve the behaviour of opam update wrt. pinned packages
• Change the default external solver criteria (only useful if you have aspcud installed on your machine)
• Add support for global and user configuration for OPAM (opam config setup)
• Stop yelling when OPAM is not up-to-date
• Update or generate ~/.ocamlinit when running opam init
• Fix tests on *BSD (thx Arnaud Degroote)
• Fix compilation for the source archive

0.9.4 [Feb 2013]

• Disable auto-removal of unused dependencies. This can now be enabled on-demand using -a
• Fix compilation and basic usage on Cygwin
• Fix BSD support (use type instead of which to detect existing commands)
• Add a way to tag external dependencies in OPAM files
• Better error messages when trying to upgrade pinned packages
• Display depends and depopts fields in opam info
• opam info pkg.version shows the metadata for this given package version
• Add missing doc fields in .install files
• opam list now only shows installable packages

0.9.3 [Feb 2013]

• Add system compiler constraints in OPAM files
• Better error messages in case of conflicts
• Cleaner API to install/uninstall packages
• On upgrade, OPAM now perform all the remove action first
• Use a cache for main storing OPAM metadata: this greatly speed-up OPAM invocations
• after an upgrade, propose to reinstall a pinned package only if there were some changes
• improvements to the solver heuristics
• better error messages on cyclic dependencies

0.9.2 [Jan 2013]

• Install all the API files
• Fix opam repo remove repo-name
• speed-up opam config env
• support for opam-foo scripts (which can be called using opam foo)
• 'opam update pinned-package' works
• Fix 'opam-mk-repo -a'
• Fix 'opam-mk-repo -i'
• clean-up pinned cache dir when a pinned package fails to install

0.9.1 [Jan 2013]

• Use ocaml-re 1.2.0