diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-10-16 12:20:53 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-16 12:20:53 -0500 |
| commit | 547df7cd146091674562dfa4812f10bae7765934 (patch) | |
| tree | d73fad7ff1131f4b7a1fe3f5799d54d096181fec /licenses | |
| parent | eae5bf6a701037238b91476de9f8d26e34976779 (diff) | |
Catch more cases of nested recursion in datatypes (#5285)
Fixes #5280.
Previously we were checking for nested recursive datatypes in expandDefinitions. This does not catch cases where the only terms of a malformed nested recursive datatype are variables. The proper place to check is in preRegisterTerm. The benchmark from that issue now gives an error.
Diffstat (limited to 'licenses')
0 files changed, 0 insertions, 0 deletions