diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-11 13:53:35 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-11 13:53:35 -0500 |
| commit | ff3125fed9960c6d5e4a2a85769d8c8f180eb902 (patch) | |
| tree | 314e631f9e9ac6ed0fecc5b8de31b4ea1f34b749 /src/rpcify.sml | |
| parent | 21a7cb9c013dac9870875fa11202b6357109a244 (diff) | |
New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls
Diffstat (limited to 'src/rpcify.sml')
0 files changed, 0 insertions, 0 deletions