BUG added: [2a89b3b569f4] duplicate interface definitions

diff --git a/bugs/all/2a89b3b569f4_duplicate_interface_definitions b/bugs/all/2a89b3b569f4_duplicate_interface_definitions
new file mode 100644 (file)
index 0000000..b177a7b
--- /dev/null
+++ b/bugs/all/2a89b3b569f4_duplicate_interface_definitions
@@ -0,0 +1,19 @@
+title: duplicate interface definitions
+status: OPEN
+reported by: 
+last modified: 2012-04-24 09:50:19+0200
+date: 2012-04-24 09:50:19+0200
+author: Kim Nguyễn
+assigned to: Kim Nguyễn
+
+-- opened by Kim Nguyễn on 2012-04-24 09:50:19+0200
+
+Problem description: Interfaces are duplicated all over the place:
+* in the .ml
+* in the corresponding .mli
+Common signature such as Hcons.S should be included too instead of
+duplicated (but need OCaml 3.12 := to do that cleanly).
+
+How to reproduce: /
+
+Proposed solution: put everything in Sigs.mli and include from there.

diff --git a/bugs/open/2a89b3b569f4_duplicate_interface_definitions b/bugs/open/2a89b3b569f4_duplicate_interface_definitions
new file mode 120000 (symlink)
index 0000000..89eaf93
--- /dev/null
+++ b/bugs/open/2a89b3b569f4_duplicate_interface_definitions
@@ -0,0 +1 @@
+../all/2a89b3b569f4_duplicate_interface_definitions
\ No newline at end of file