Small improvement
Ignore-this: f8bd21d0a948e37a9697ecddcde9ed7c darcs-hash:20120315032047-33bd9-9931fb1c2c888b42466734f89b69f2010379d2eb
This commit is contained in:
parent
0b4d9c8ce3
commit
a2acfb5a87
|
@ -82,7 +82,7 @@ let default_keywords = [
|
||||||
"when"; "while"; "with"; "try_lwt"; "finally"; "for_lwt"; "lwt";
|
"when"; "while"; "with"; "try_lwt"; "finally"; "for_lwt"; "lwt";
|
||||||
]
|
]
|
||||||
|
|
||||||
let keywords = ref (List.fold_left (fun set kwd -> String_set.add kwd set) String_set.empty default_keywords)
|
let keywords = ref (List.fold_right String_set.add default_keywords String_set.empty)
|
||||||
let add_keyword kwd = keywords := String_set.add kwd !keywords
|
let add_keyword kwd = keywords := String_set.add kwd !keywords
|
||||||
|
|
||||||
(* +-----------------------------------------------------------------+
|
(* +-----------------------------------------------------------------+
|
||||||
|
|
Loading…
Reference in New Issue