diff options
| author | Hugo Herbelin | 2019-09-23 19:53:11 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-09-23 21:04:56 +0200 |
| commit | eed41b6b570755aa4b40e2ce308c57db88ec9a18 (patch) | |
| tree | 5436724966a7a87a912c2d533cf50c7a0a23a8c5 /dev/ci | |
| parent | dc690e7067aa91a05472b5d573cb463223ef4dec (diff) | |
Fixes #10778 (fresh was not updated after renaming of intropattern entry in #10239).
The bug was introduced in #10239 which seems to have actually remained
half-done: "wit_intropattern" and "wit_simple_intropattern" did not
share the same representation of values (val_tag) but the code was
assuming (especially the code for "fresh") that this was shared.
We fix it by sharing the internal representation (`dyn` field in
Tacarg.make0) as suggested by @ppedrot in the discussion of #10239
(this allows also to simplify Taccoerce.is_intro_pattern).
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions