Skip to content

OS structure conforms to OS signature#79

Open
DarinM223 wants to merge 1 commit intosmlsharp:masterfrom
DarinM223:master
Open

OS structure conforms to OS signature#79
DarinM223 wants to merge 1 commit intosmlsharp:masterfrom
DarinM223:master

Conversation

@DarinM223
Copy link

@DarinM223 DarinM223 commented Sep 30, 2023

Right now, the OS structure in the basis library does not seem to conform to the OS signature:

# structure OS : OS = OS;
/usr/local/lib/smlsharp/basis/main/OS.smi:46.9(1753)-46.14(1758) Error:
  (name evaluation "200") Signature mismatch. eqtype expected: OS.IO.iodesc

Changing the iodesc type in structure SMLSharp_OSIO into an eqtype fixes this

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

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@DarinM223