Home

My Page

Projects

Code Snippets

OASIS

Summary

Activity

Tracker

Lists

Docs

News

Files

Detail: [#1316] .mli without .ml are not installed (neither their .cmi)

Feature Requests: Browse | Download .csv | Monitor

[#1316] .mli without .ml are not installed (neither their .cmi)

Date: 2013-09-05 10:53	Priority: 3
State: Closed
Submitted by: Grégoire Henry (hnrgrgr)	Assigned to: Sylvain Le Gall (gildor-admin)
Resolution: None	Due in version: None
Product: OASIS	Component: OASIS
Operating System: None
Summary: .mli without .ml are not installed (neither their .cmi)
Detailed description The attached module Defs only contains type declarations and only has a .mli as source file. Hence, the .ml/.cmo files are not required. The module 'Blip' in the library 'foobar' relies on 'Defs'. The following description allows the correct compilation/installation of 'foobar.cma' but does not allows the installation of 'defs.cmi'.

Followup Message Date: 2014-02-24 23:56 Sender: Jacques-Pascal Deplaix This one should also be closed I think. Date: 2013-10-14 21:02 Sender: Grégoire Henry It was previously fixed in the following commit: https://github.com/ocaml/oasis/commit/a3743eaeb613189b649bb2f9079ffff0701a6a6f Date: 2013-10-14 20:15 Sender: Jacques-Pascal Deplaix It doesn't install defs.cmi because it's not listed in Modules in the _oasis (or it's something else, in which case, I didn't understand).

Attached Files:

Attachments: blip.ml defs.mli _oasis

Changes: Field Old Value Date By status_id Open 2014-02-25 00:46 gildor-admin close_date None 2014-02-25 00:46 gildor-admin assigned_to none 2013-09-05 11:44 gildor-admin File Added 231: _oasis 2013-09-05 10:53 hnrgrgr File Added 232: defs.mli 2013-09-05 10:53 hnrgrgr File Added 233: blip.ml 2013-09-05 10:53 hnrgrgr