diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-03-10 18:51:15 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-03-10 18:51:15 -0500 |
| commit | f7b3e616c3d16a85e0cc1de32e37e036c964294a (patch) | |
| tree | b141688cd684a68c9ca22d806b09af122a99bd51 /src/checknest.sml | |
| parent | 7119e3b05218f975fe8b3f9a4c5fd4a680e05933 (diff) | |
Represent 'unit' as C 'int'; change pattern match compilation to avoid 'goto'; change Postgres prepared statement compilation to make life easier for the GCC escape analysis; all this in support of better tail call optimization
Diffstat (limited to 'src/checknest.sml')
0 files changed, 0 insertions, 0 deletions