ponyc
ponyc copied to clipboard
ponylang
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
When using: ``` $ ponyc -v 0.22.3-aff82e4 [release] compiled with: llvm 5.0.1 -- cc (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609 Defaults: pic=false ssl=openssl_0.9.0 ``` The following short program consistent crashes. `$ cat...
I was trying to implement an algorithm in Pony when I encountered a segfault in my program while trying to use Iters. The reason for the segfault is `invalid address...
Add `#write`, a new gencap for use in type parameter constraints, implying the capability set: `{iso, trn, ref}`. https://github.com/ponylang/rfcs/blob/master/text/0043-gencap-write.md
[Demonstration](https://playground.ponylang.io/?gist=0d260a10117e5ba8e504e2834b9e96a7) When casting an object using the `as` operator and trying to assign a value to one of its properties (`(object as Something).property = value`), the compiler errors out with...
Segmentation fault caused by likely LLVM bug that results in incorrect exception handling on aarch64
While getting pony working on 64-bit Arm, we found a bug where the `test-stdlib-debug` tests would segfault. Everything worked fine with `release` builds, but `debug` builds would crash. After investigation,...
If a method call is valid for all members of a union, it should be possible to call on the union. This isn't true if the methods have a different...
``` primitive A primitive B actor Main new create(env: Env) => let bad = Generic[(A | B)].get() env.out.print(match bad | let _: A => "D" | let _: B =>...
You can see this with both `Array.slice` and `String.substring`. The docs show `call` as the value rather than: `USize: -1` and `ISize.max_value()` The fix for this is almost assuredly in...
[Emil Bay reported a bug on Zulip](https://ponylang.zulipchat.com/#narrow/stream/189934-general/topic/Core.20dump.20on.20partial.20application.20on.20Format), the following are the details of the bug: The following pony code causes an asserion error during the verify pass: ```pony primitive Foo...
When all member types in an union implement a function with the same number of arguments and the same return type, but one of them has a default argument, as...