Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature Wish #3316

Closed
vicuna opened this issue Apr 26, 2002 · 2 comments
Closed

Feature Wish #3316

vicuna opened this issue Apr 26, 2002 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Apr 26, 2002

Original bug ID: 1125
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Chris Quinn
Version: 3.04
OS:
Submission from: 212.42.169.63 (212.42.169.63)

A useful thing it is to be able to put type
declarations alone into an interface file, so
saving on an unnecessary implementation file
and keeping them synchronised.

One can then "open" this interface.

But the same cannot be done for "include"
because the linker complains about an undefined
Global.

This seems a reasonable thing to expect when there
are no value definitions.

I would find it useful because I auto-generate
interfaces but want to re-home them in manually
written code.

Any chance?

@vicuna
Copy link
Author

vicuna commented Apr 26, 2002

Comment author: administrator

A useful thing it is to be able to put type
declarations alone into an interface file, so
saving on an unnecessary implementation file
and keeping them synchronised.

One can then "open" this interface.

But the same cannot be done for "include"
because the linker complains about an undefined
Global.

This seems a reasonable thing to expect when there
are no value definitions.

Agreed. This is something I overlooked when writing the compilation
scheme for "include". I'll fix this for the next release.

Thanks for the suggestion,

  • Xavier Leroy

@vicuna
Copy link
Author

vicuna commented Apr 26, 2002

Comment author: administrator

Fixed as suggested 2002-04-26, XL.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant