| Mon, 15 Aug 2011 11:26:10 -0400 |
Adam Chlipala |
Compiler frees as much memory as possible before passing control to C compiler |
| Mon, 15 Aug 2011 10:22:09 -0400 |
Adam Chlipala |
List.mapXi |
| Sun, 14 Aug 2011 17:39:18 -0400 |
Adam Chlipala |
Fix bug with <dyn> as first child of <table> |
| Sun, 14 Aug 2011 16:46:36 -0400 |
Adam Chlipala |
Fix list urlification |
| Sun, 14 Aug 2011 09:31:53 -0400 |
Adam Chlipala |
Remove commented-out code |
| Sat, 13 Aug 2011 00:07:28 -0430 |
Karn Kallio |
Handle case where shakeExp can remove datatype. |
| Sun, 14 Aug 2011 09:29:04 -0400 |
Adam Chlipala |
Remove some unnecessary parens |
| Fri, 12 Aug 2011 00:55:57 -0430 |
Karn Kallio |
Distribute applications of "arrow type" ECase across branches. |
| Wed, 10 Aug 2011 18:39:27 -0400 |
Adam Chlipala |
Mention transitive dependency calculation for tree shaking |
| Sun, 07 Aug 2011 16:53:06 -0400 |
Adam Chlipala |
'-dumpTypes' |
| Sun, 07 Aug 2011 13:47:15 -0400 |
Adam Chlipala |
Manual: emphasize how great '-tc' is |
| Sat, 06 Aug 2011 13:07:50 -0400 |
Adam Chlipala |
Better wildification, avoiding some unintentional variable capture |
| Thu, 04 Aug 2011 17:06:50 -0400 |
Adam Chlipala |
Configure correct C compiler options for Pthreads |
| Thu, 04 Aug 2011 16:44:05 -0400 |
Adam Chlipala |
Fix opening of shadowing, principal-signatured modules that open other modules |
