diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-12-04 02:47:24 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-12-04 02:47:24 -0500 |
| commit | de8817f2e2e5cf49421cdcc08a754b8277f13866 (patch) | |
| tree | 9cab14b3b516fd2ed3d27385f6b7ccb804c0cc72 /src/expl.sml | |
| parent | 7639360d7a0111054b68c3fe91bb2558706aaefc (diff) | |
More aggressive inlining of 'let' with record literals, plus some changes to Monoization of queries, to make inlining more common
Diffstat (limited to 'src/expl.sml')
0 files changed, 0 insertions, 0 deletions