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 _