diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-12-16 14:58:07 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-12-16 14:58:07 -0500 |
| commit | da394cfc931139dbd3a688679dcbddf5ce2e846e (patch) | |
| tree | d476096ce71f3095e0702aab33f84feb113ced6a /src/compiler.sml | |
| parent | c1932084390aca19c748da024b7b168c160a3aea (diff) | |
Specialize: stay clear of datatypes that are used polymorphically
Diffstat (limited to 'src/compiler.sml')
0 files changed, 0 insertions, 0 deletions