diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-12-18 09:36:50 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-18 09:36:50 +0100 |
commit | 0168ee0b6463a9ef44d768b0020b34785986c1cb (patch) | |
tree | c3bb1d2eef4fa5edfd2d431669015db896e08633 /dev/doc | |
parent | 50bd89748af03bb28ad7024f2ceef500489a91b0 (diff) | |
parent | 53f5cc210da4debd5264d6d8651a76281b0b4256 (diff) |
Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.
Diffstat (limited to 'dev/doc')
-rw-r--r-- | dev/doc/changes.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dev/doc/changes.md b/dev/doc/changes.md index c69be4f4d..01aa6b599 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -46,6 +46,11 @@ We changed the type of the following functions: - `Global.body_of_constant`: same as above. +- `Constrinterp.*` generally, many functions that used to take an + `evar_map ref` have been now switched to functions that will work in + a functional way. The old style of passing `evar_map`s as references + is not supported anymore. + We have changed the representation of the following types: - `Lib.object_prefix` is now a record instead of a nested tuple. |