log src/mono_reduce.sml

age author description
Sun, 09 Aug 2009 16:13:27 -0400 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
Sat, 13 Jun 2009 15:42:24 -0400 Adam Chlipala Fix MonoReduce unsoundness with lets and fns
Sat, 30 May 2009 13:29:00 -0400 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
Thu, 28 May 2009 13:47:05 -0400 Adam Chlipala Fix variable adjustment bug in fn/case alternation
Sun, 17 May 2009 18:41:43 -0400 Adam Chlipala Redo Jscomp
Sun, 17 May 2009 14:36:55 -0400 Adam Chlipala Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Thu, 14 May 2009 18:13:09 -0400 Adam Chlipala Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp