|
@@ -601,7 +601,12 @@ exception Completion of string
|
|
|
|
|
|
let unquote v =
|
|
|
let len = String.length v in
|
|
|
- if len > 0 && v.[0] = '"' && v.[len - 1] = '"' then String.sub v 1 (len - 2) else v
|
|
|
+ if len > 0 then
|
|
|
+ match v.[0], v.[len - 1] with
|
|
|
+ | '"', '"'
|
|
|
+ | '\'', '\'' -> String.sub v 1 (len - 2)
|
|
|
+ | _ -> v
|
|
|
+ else v
|
|
|
|
|
|
let handle_display_argument com file_pos pre_compilation did_something =
|
|
|
match file_pos with
|