From: Kim Nguyễn Date: Tue, 24 Apr 2012 07:53:05 +0000 (+0200) Subject: BUG added: [2a89b3b569f4] duplicate interface definitions X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=ef8413d68779a613e3020c86920a6ae796ea6796 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 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 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