ponyc
ponyc copied to clipboard
ponylang
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
``` Attribute 'dereferenceable' should have an Argument %Foo* (%Foo*)* @Foo_iso_create_o Error: Module verification failed: Attribute 'dereferenceable' should have an Argument %Foo* (%Foo*)* @Foo_iso_create_o ```
The following code fails to compile, as expected: ```pony actor Main new create(env: Env) => let f = {() => None} f.string() ``` However, the error message says: ``` Error:...
As we slowly move towards Pony 1.0.0, fixing issues in LLVM IR generation is an important consideration. We've turned on LLVM IR generation verification as a default in the compiler....
`ponyc/packages/encode/base64/base64.pony` includes the following code: ```pony fun decode[A: Seq[U8] iso = Array[U8] iso]( data: ReadSeq[U8], at62: U8 = '+', at63: U8 = '/', pad: U8 = '=') : A^ ?...
It would be nice to control the distribution of values returned by the Randomness class. As Randomness is not created in user code, its methods should have an additional argument...
Create more generators for creating collections: - [x] Set/SetIs - [x] Map/MapIs - [ ] persistent collections
Example: ```pony Generators.u8().with(0) ``` This generator will create random `U8` values but will always include `0` as well. That is the property that is checked with this generator will definitely...
The collection Generator combinators * [`Generators.seq_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L105) * [`Generators.set_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L124) * [`Generators.set_is_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L152) * [`Generators.map_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L180) * [`Generators.map_is_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L203) And any other that are implemented later should allow to create non-empty collections either via flag...
Minimal case: ```pony fun flatten[A: Array[Array[A]] #read](arrayin: Array[Array[A]]): Array[A] => let rv: Array[A] = Array[A] for f in arrayin.values() do for g in f.values() do rv.push(g) end end rv ```...
The following code will always initialize `_s`: ```pony actor Main var _s: (String | None) new create(env: Env) => var i: USize = 0 repeat _s = i.string() break until...