Andrew Cann
Andrew Cann
I also think an untyped pointer type is the way to go. Then, when/if we get typed pointers/references we can have conversion methods for add/removing the pointee type. eg. something...
@otrho: This should be good to go now.
As pointed out in #1582, this would allow us to change the layout of tuples so that a tuple can be destructured into a single element and the rest of...
Can this be made into an official BOLT? I'm writing an implementation and I'm at the point now where I need to decide how to generate keys. I'd prefer my...
I don't really like the `record` syntax. It will make it extremely ugly to write nested records. Would it be better to use a different syntax for implicit args instead?...
I haven't seen this in a while. It may have been magically fixed by some of the rewriting/refactoring that happened in `new_namespace`.
Nope, still an issue ;(
There's been lots more discussion on this over on #1582 but I'll try to summarise here. The main problem with all of these RFCs is the problem of memory layout...
We're conflating two different concepts here when talking about using tuples to represent lists of types. There's "tuple types", and then there's "a tuple of types". It may be that...
(I accidentally hit enter, so sorry for the initially blank issue).