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 /configure.ac | |
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 'configure.ac')
0 files changed, 0 insertions, 0 deletions