Sean T Allen

icon indicating a website link https://www.seantallen.com icon indicating an email [email protected]

icon location Rural Boston icon location Turn-ons include programming languages, distributed computing, Hiwatt amplifiers, and Fender Telecasters. Turn-offs include mayonnaise and stirring yogurt.

Results 822 comments of Sean T Allen

"can't use an undefined variable in an expression" error message oddity around "always true" conditionals that defined the variable

The issue here is that as far as the compiler is concerned, `_x` is in fact, not always initialized. We can see this in the AST: ``` (while:scope (seq true)...

"can't use an undefined variable in an expression" error message oddity around "always true" conditionals that defined the variable

The resolution here if anyone want to take it on is a better error message that explains why "_x" is undefined.

Missing index check on desc_table array access in runtime deserialization pony_deserialise_offset

Additional context: https://ponylang.zulipchat.com/#narrow/stream/190365-runtime/topic/Unsafe.20deserialise.20exploitation

Missing index check on desc_table array access in runtime deserialization pony_deserialise_offset

We don't have any good way to deal with errors of this sort in the serialization of this sort. Some investigation of what we should do when we get unexpected...

iftype compile error at runtime

I don't think the problem is in gen_return. "fixing" the issue there results in other issues. Looking at `iftype`, it doesn't do the branches as branches, based on "is subtype"...

iftype compile error at runtime

So @Liasain, that would be the equivalent to what it transforms to if it transformed to source, but it doesn't so it ends up with bad LLVM ir. You can...

iftype compile error at runtime

We did an excellent discussion of this during sync and came up with some ideas, I will discuss them with Joe and we can discuss again at another sync to...

iftype compile error at runtime

@jemc and I discussed this today and we have a solution that I will probably implement. Basically, gen_iftype doesn't create a scope for iftype'd code (but earlier steps act as...

iftype compile error at runtime

I've assigned myself to this, but anyone who wants this is welcome to take it.

ponyc segfaults when trying to match using a single element tuple form

At minimum, we want to display an error message, not have the compiler segfault. Running this with a debug version of the compiler to get a backtrace would be a...