diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-09 08:00:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-09 08:00:45 -0400 |
| commit | 2b5e957c78d47ae6d66ee2f70435b827d1644a4f (patch) | |
| tree | fc23a2be12e6d03e8be7f8754278784feaf45839 /include | |
| parent | 9c09f789905d7b93b5f77084d76428d73bf5631a (diff) | |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions