diff options
author | Adam Chlipala <adam@chlipala.net> | 2018-12-16 16:45:37 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2018-12-16 16:45:37 -0500 |
commit | 7578916b630bd84ec3f8e7d97aaaa1cc7828e5ef (patch) | |
tree | 14b6f896dfa03bb4b60461974587d3efdad56e12 /tests | |
parent | da394cfc931139dbd3a688679dcbddf5ce2e846e (diff) |
Specialize: ignore recursive references in classifying polymorphic uses of datatypes
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions