Rob Springer
Rob Springer
e.g., in SpawnData, we currently have (or will shortly have) Spawn* and Proc* elements. The Spawn* is used for TypeInfo lookup inside the interpreter and the Proc* is used for...
Being able to specify a value or type in terms of another value's type might be handy. ``` pub const BAR = u32:0; pub const FOO = typeof(BAR):3; ``` When...
Being able to do something like fn foo(...) -> ... { type LocalType = uN[...]; let x = LocalType:Y; ... } Would be handy.
To convert a DSLX proc into IR, we need to specify an initial value for the proc's state. That specification is currently done in the BUILD file, which is fragile....
On more than one occasion, I've written invalid DSLX that sends on an individual channel more than once per iteration. There's probably other stuff that should be enforced that I...
Code: ``` enum A : u32 { FOO = u32:1, } struct B { ... } fn C { B::FOO } ``` Will cause a RET_CHECK like: `E0929 14:24:02.616637 1821059...
This is, surprisingly enough, NOT a duplicate of #691 (which refers to parallel sends in a for loop). Currently, it is invalid to do a send inside of a for...
Internally, when we import a DSLX file, we allow an optional prefix on our import paths; IOW, `import foo.bar` is mostly the same as `import baz.foo.bar`. I'm not sure why...
In one file, I have a parametric type, ``` pub struct SlidingWindow { data: Block[NUM_ELEMENTS], num_entries: u32, } ``` in another file, I instantiate this type via ``` import sliding_window...
The application I'm working on needs a sliding-window-type thing, and the tools I have right now to operate on that are not great. Currently to do this, I need to...