comparison src/mono_opt.sig @ 769:efceae06df17

allow/deny working in Mono_opt
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:37:52 -0400
parents f7e2026dd5ae
children 7a4b026e45dd
comparison
equal deleted inserted replaced
768:3b7e46790fa7 769:efceae06df17
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 bless : (string -> bool) ref
34 val blessMime : (string -> bool) ref
35
36 end 33 end