- let get_input_type key =
- match R.get_string key with
- | "gallina8" -> T.Gallina8, ".v"
- | "grafite" -> T.Grafite, ".ma"
- | _ -> failwith "unknown input type"
+ let get_input_type key1 key2 =
+ match R.get_string key1, R.get_string key2 with
+ | "gallina8", _ -> T.Gallina8, ".v", []
+ | "grafite", "" -> T.Grafite "", ".ma", []
+ | "grafite", s -> T.Grafite s, ".ma", [s]
+ | s, _ -> failwith ("unknown input type: " ^ s)