Mercurial > urweb
comparison src/mono_opt.sig @ 905:7a4b026e45dd
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 09 Aug 2009 16:13:27 -0400 |
parents | efceae06df17 |
children | 8e540df3294d |
comparison
equal
deleted
inserted
replaced
904:6d9538ce94d8 | 905:7a4b026e45dd |
---|---|
28 signature MONO_OPT = sig | 28 signature MONO_OPT = sig |
29 | 29 |
30 val optimize : Mono.file -> Mono.file | 30 val optimize : Mono.file -> Mono.file |
31 val optExp : Mono.exp -> Mono.exp | 31 val optExp : Mono.exp -> Mono.exp |
32 | 32 |
33 val removeServerCalls : bool ref | |
34 | |
33 end | 35 end |