code.pyret.org icon indicating copy to clipboard operation
code.pyret.org copied to clipboard

@kfisler's dcic2024.arr context file added

Open ds26gte opened this issue 1 year ago • 3 comments

Kathi supplied this context file for use with DCIC.

ds26gte avatar Aug 29 '24 12:08 ds26gte

The build failed due to unbound identifiers...

blerner avatar Aug 29 '24 15:08 blerner

The build failed due to unbound identifiers...

FIxed by explicitly using context starter2024. OK to merge?

ds26gte avatar Aug 30 '24 01:08 ds26gte

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.

blerner avatar Aug 30 '24 11:08 blerner