let set_items st name items =
let i = get_index st name in
let script = st.scripts.(i) in
- let contents = List.rev_append items script.contents in
+ let contents = List.rev_append (X.list_uniq items) script.contents in
st.scripts.(i) <- {script with name = name; contents = contents}
let set_heading st name =
let get_iparams st name =
let debug debug = GA.IPDebug debug in
let map = function
+ | "comments" -> GA.IPComments
| "nodefaults" -> GA.IPNoDefaults
| "coercions" -> GA.IPCoercions
- | "comments" -> GA.IPComments
+ | "cr" -> GA.IPCR
| s ->
try Scanf.sscanf s "debug-%u" debug with
| Scanf.Scan_failure _