comparison src/demo.sml @ 766:df09c95085f8

More FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 12:10:43 -0400
parents a28982de5645
children 3b7e46790fa7
comparison
equal deleted inserted replaced
765:a28982de5645 766:df09c95085f8
96 timeout = Int.max (#timeout combined, #timeout urp), 96 timeout = Int.max (#timeout combined, #timeout urp),
97 profile = false, 97 profile = false,
98 ffi = [], 98 ffi = [],
99 link = [], 99 link = [],
100 headers = [], 100 headers = [],
101 scripts = [],
101 clientToServer = [], 102 clientToServer = [],
102 effectful = [], 103 effectful = [],
103 clientOnly = [], 104 clientOnly = [],
104 serverOnly = [], 105 serverOnly = [],
105 jsFuncs = [] 106 jsFuncs = []