CHANGES.md 3.48 KB
Newer Older
1 2
# Changes

POTTIER Francois's avatar
POTTIER Francois committed
3 4 5 6 7 8
## 2018/05/13

* Fixes in `_tags` and `META` so as to allow `visitors`
  to be used in `jbuilder` (`dune`) projects.
  (Contributed by Armaël Guéneau.)

POTTIER Francois's avatar
POTTIER Francois committed
9 10 11 12 13 14
## 2018/03/06

* Warn when the visitor methods for two distinct types or two distinct data
  constructors have the same name, as this results in an OCaml type error
  or multiply-defined-method error. (Reported by Gabriel Radanne.)

15 16
## 2017/11/24

POTTIER Francois's avatar
POTTIER Francois committed
17 18
* Added compatibility with OCaml 4.06.0.

19 20 21 22
* Fixed the internal function `occurs_type` in the case of polymorphic types.
  This should make no observable difference, as this function is used only
  to produce an error message in a corner case.

POTTIER Francois's avatar
POTTIER Francois committed
23 24 25 26 27 28
## 2017/08/28

* Added compatibility with OCaml 4.05.0.

## 2017/07/25

29 30
* Updated `src/Makefile` to allow compilation on systems where `ocamlopt` is
  missing. (Suggested by Ralf Treinen.)
POTTIER Francois's avatar
POTTIER Francois committed
31

32 33 34 35 36 37
## 2017/04/20

* New settings `visit_prefix`, `build_prefix`, and `fail_prefix` can be used
  to control which prefixes are used in generated method names. (This feature
  was suggested by Philip Hölzenspies.)

38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103
## 2017/04/04

* Extended backward compatibility to OCaml 4.02.2. (Thanks to Benjamin Farinier.)

## 2017/03/17

* New attributes `@build` and `@@build` can be attached to record type
  declarations and data constructors, so as to alter the construction code that
  is used in `map`, `endo`, and `mapreduce` visitors. See the documentation for
  details. (This feature was suggested by Reuben Rowe.)

## 2017/03/15

* New attributes `@name` and `@@name` can be attached to types, type declarations,
  and data constructors, so as to alter the names of the generated methods. See
  the documentation for details. (This feature was suggested by Reuben Rowe.)

## 2017/03/08

* A new option `polymorphic = true` allows generating visitor methods with
  polymorphic types. With `polymorphic = true`, a type variable `'a` is
  handled by a visitor *function* `visit_'a`, which is passed as an argument
  to every visitor method; whereas, with `polymorphic = false`, a type
  variable `'a` is handled by a virtual visitor *method* `visit_'a`.
  With `polymorphic = true`, visitor classes compose better,
  and irregular algebraic data types are supported.
  See the documentation for more details.
  (This feature was suggested by Reuben Rowe.)

## 2017/03/03

* A new option `data = false` allows suppressing the generation of visitor
  methods for data constructors. This makes the generated visitor slightly
  simpler and faster, but less customizable.

* A new option `nude = true` allows *not* implicitly inheriting the class
  `VisitorsRuntime.<variety>`.

## 2017/02/15

* `Makefile.preprocess` is now installed with the package, so users can rely on it
  without needing to copy it. See the documentation for instructions.

## 2017/02/13

* Added a new variety of visitors, `mapreduce`. This visitor computes a pair of a
  data structure (like a `map` visitor) and a summary (like a `reduce` visitor).
  This can be used to annotate every tree node with information about the
  subtree that lies below it. See the documentation for an example.

## 2017/02/09

* Documentation: added a new subsection on OCaml objects,
  entitled "Where the expressiveness of OCaml's type system falls short".
  This section explains why `map` cannot be a subclass of `fold`,
  even though it should be.

## 2017/01/31

* Documentation: added an example of constructing a lexicographic ordering.

* Documentation: discussed generating visitors for existing types and `ppx_import`.

## 2017/01/26

* Initial release.