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 | cadd391103895fbd6800200f20dc7d539ba16ed6 (patch) | |
| tree | 9cab14b3b516fd2ed3d27385f6b7ccb804c0cc72 /src/http.sig | |
| parent | eb9945d40c8f06409d2840e2e23838d91b00f974 (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/http.sig')
0 files changed, 0 insertions, 0 deletions