ponyc

ponyc copied to clipboard

Once #3234 is merged, add a PowerShell script to `.ci-scripts` to do nightly and release builds for Windows a la the Unix ones, instead of doing everything in `.cirrus.yml`.

chalcolith

Cannot consume a local in an `else` block in whose `try` block the local is consumed after any possible error

3

The following code: actor Main new create(env: Env) => let foo = Foo[I64](3) primitive Foo[T] fun one(t: T): T^ => try let n = "1234".i64()? two(n * (consume t)) else...

chalcolith

Example of deadlock with Pony runtime backpressure

1

There's a bug in Wallaroo that I've known about for a while https://github.com/WallarooLabs/wallaroo/issues/3015 and have now figured out how & why it happened. After a chat with @SeanTAllen, we've agreed...

slfritchie

no implementation of pow() function for integers and unsigned integers types

1

hideki-lu

pony_asio_event_resubscribe is only available for epoll

1

Which means, you can't use it directly and still have to call `pony_asio_event_resubscribe_read` and `pony_asio_event_resubscribe_write`. IOCP and Kqueue both need support so that it can be used from Pony code.

SeanTAllen

On a linker failure, ponyc ought to provide the linker's stderr diagnostics

4

I now stand in the company of several people who've been frustrated by ponyc's lack of diagnostic information when the linking stage fails. Causes such as lack of sufficient virtual...

slfritchie

Enhancement: Inherit iftype contraints in lambda bodies

2

I think there is no apparent reason not to do this. Here is a small example of what I mean: ```pony actor Main new create(e: Env) => None fun test[A:...

patroclos

Calling by method name on a union of distinct types with distinct capabilities.

4

I was doing some brainstorming about a common interface for "byte writers" that would cover both `class ref` and `actor tag` implementations of methods for writing out bytes. I quickly...

jemc

Calls to ref function inside of box functions prints a missleading error

3

Howdy, In a small project using Pony, I stumbled across a simple issue, which actually took me a while to figure out: I was trying to call a ref function...

adri326

Cannot prove subtyping of (A & B) <: ((A & B) | C)

1

[Playground link](https://playground.ponylang.io/?gist=db0912ed785fabf83f3d453e96eded36) The compiler is unable to prove that the following subtyping relation holds even though the usual rules for unions and intersections should allow it. ``` (A & B)

plietar