diff options
author | 2009-09-09 08:00:45 -0400 | |
---|---|---|
committer | 2009-09-09 08:00:45 -0400 | |
commit | 8a79a264fe8f5f349b7ad546ec8024bc0e7585a0 (patch) | |
tree | fc23a2be12e6d03e8be7f8754278784feaf45839 /src/pathcheck.sml | |
parent | d6d496a5720290dd26c7c738199667c6c1a67e6a (diff) |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining
Diffstat (limited to 'src/pathcheck.sml')
0 files changed, 0 insertions, 0 deletions