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 /lib | |
| parent | da394cfc931139dbd3a688679dcbddf5ce2e846e (diff) | |
Specialize: ignore recursive references in classifying polymorphic uses of datatypes
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions