comparison src/compiler.sig @ 1171:7a2a7a8f9cab

benignEffectful
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Feb 2010 16:49:11 -0500
parents 52c6ac6a59f1
children 618f9f458da9
comparison
equal deleted inserted replaced
1170:52c6ac6a59f1 1171:7a2a7a8f9cab
42 link : string list, 42 link : string list,
43 headers : string list, 43 headers : string list,
44 scripts : string list, 44 scripts : string list,
45 clientToServer : Settings.ffi list, 45 clientToServer : Settings.ffi list,
46 effectful : Settings.ffi list, 46 effectful : Settings.ffi list,
47 benignEffectful : Settings.ffi list,
47 clientOnly : Settings.ffi list, 48 clientOnly : Settings.ffi list,
48 serverOnly : Settings.ffi list, 49 serverOnly : Settings.ffi list,
49 jsFuncs : (Settings.ffi * string) list, 50 jsFuncs : (Settings.ffi * string) list,
50 rewrites : Settings.rewrite list, 51 rewrites : Settings.rewrite list,
51 filterUrl : Settings.rule list, 52 filterUrl : Settings.rule list,