-let get_iparams st name =
- let debug debug = GA.IPDebug debug in
- let map = function
- | "comments" -> GA.IPComments
- | "nodefaults" -> GA.IPNoDefaults
- | "coercions" -> GA.IPCoercions
- | "cr" -> GA.IPCR
- | s ->
- try Scanf.sscanf s "debug-%u" debug with
- | Scanf.Scan_failure _
- | Failure _
- | End_of_file ->
- failwith ("unknown inline parameter: " ^ s)
- in
- List.map map (X.list_assoc_all name st.iparams)
-