simplify-module-include
¶
Redundancy
OCaml
-
-
Match
module :[module_define] = struct include :[[module_include]] end
Rewrite
module :[module_define] = :[module_include]
-
Example
Input Source
module That_queue : Queue_intf = struct include Linked_queue end
Diff
-module That_queue : Queue_intf = struct - include Linked_queue -end +module That_queue : Queue_intf = Linked_queue
-
Author
Anonymous
-
Known problems
None
-
Id
simplify-module-include-comby-ocaml-1000