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

BIN_IO, TEXT_IO, and TEXT_STREAM_IO not recognized #134

Closed
DarinM223 opened this issue Oct 5, 2023 · 0 comments · Fixed by #135
Closed

BIN_IO, TEXT_IO, and TEXT_STREAM_IO not recognized #134

DarinM223 opened this issue Oct 5, 2023 · 0 comments · Fixed by #135

Comments

@DarinM223
Copy link
Contributor

When I try to run the latest mlkit compiled from the master branch on these files:

(* hello.sml *)
signature BASIS_BIN_IO = BIN_IO
signature BASIS_TEXT_IO = TEXT_IO
signature BASIS_TEXT_STREAM_IO = TEXT_STREAM_IO
(* hello.mlb *)
$(SML_LIB)/basis/basis.mlb
hello.sml

I get:

mlkit hello.mlb 
[reading source file:	hello.sml]

hello.sml, line 1, column 25:
  signature BASIS_BIN_IO = BIN_IO
                           ^^^^^^
unbound signature identifier BIN_IO.

hello.sml, line 2, column 26:
  signature BASIS_TEXT_IO = TEXT_IO
                            ^^^^^^^
unbound signature identifier TEXT_IO.

hello.sml, line 3, column 33:
  signature BASIS_TEXT_STREAM_IO = TEXT_STREAM_IO
                                   ^^^^^^^^^^^^^^
unbound signature identifier TEXT_STREAM_IO.
Stopping compilation of MLB-file due to error (code 1).

Other basis signatures compile with this mlkit. It looks like these signatures are under the safeLinkTimeElimination so maybe these signatures are being removed even though they are used?

@DarinM223 DarinM223 changed the title Signatures marked with safeLinkTimeElimination not recognized BIN_IO, TEXT_IO, and TEXT_STREAM_IO not recognized Oct 5, 2023
@melsman melsman linked a pull request Oct 5, 2023 that will close this issue
@melsman melsman removed a link to a pull request Oct 5, 2023
@melsman melsman linked a pull request Oct 5, 2023 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant