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

@kfisler's dcic2024.arr context file added #550

Open
wants to merge 2 commits into
base: horizon
Choose a base branch
from

Conversation

ds26gte
Copy link
Contributor

@ds26gte ds26gte commented Aug 29, 2024

Kathi supplied this context file for use with DCIC.

@blerner
Copy link
Member

blerner commented Aug 29, 2024

The build failed due to unbound identifiers...

@ds26gte
Copy link
Contributor Author

ds26gte commented Aug 30, 2024

The build failed due to unbound identifiers...

FIxed by explicitly using context starter2024. OK to merge?

@blerner
Copy link
Member

blerner commented Aug 30, 2024

This is likely not quite what you mean to do -- right now this context only provides 26 table functions, and nothing else. Pyret doesn't implicitly re-provide imported things (this is analogous to require and provide in Racket). If you're trying to build atop starter2024, then you probably need to

use context empty
import starter2024 as S
provide from S: *, type *, data * end
include from S: *, type *, data * end

...rest as written...

You also have no contracts on any of the functions (they're in comments only), so you'll get no annotation checking on them at all.

I'd recommend trying to use this with some DCIC programs to see if it actually works for them as intended, and you'll pretty quickly find the missing exports.

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 this pull request may close these issues.

2 participants