ponyc

ponyc copied to clipboard

Inconsistent compiler behavior for Array literals in field initialization

3

The compiler is inconsistent regarding how Array fields of an embedded class can be initalized using Array literals. The following compiles fine: ```pony class Foo embed _array: Array[I32] = []...

stefandd

Target release date is the end of February 2024. Post release tasks: - [ ] Set Corral Arm64 MacOS jobs to use release rather than nightly `ponyc` - [ ]...

SeanTAllen

Add back the ability to compile without `-pic` to the CMake build system

2

Once #3234 is merged, we should update the CMake build system to be able to build without `-pic` for performance reasons.

chalcolith

Type param constraints now respect default cap of the type.

6

Prior to this change, any type named in a type constraint would get an implicit cap of `#any` if no explicit cap was named. The exception to this rule is...

jemc

Segmentation fault when ponyc compiles this code

2

I've been told multiple times that this looks like a compiler bug, and I agree, so I'm posting this here. The following code causes a segfault in the compiler: ```pony...

junetried

Invalid LLVM generated

1

```pony class Foo new create(a: U32) ? => error actor Main new create(env: Env) => try let f = Foo(1)? end ``` Results in: ``` Terminator found in the middle...

SeanTAllen

In fixing a "more likely" error in recover code logic where non-sendable code was allowed to be used in a recover block (#4458), the straightforward fix introduced an issue where...

SeanTAllen

Don't use a new variable intermittently for the same pointer

2

Instead cast at each use with the new type. One of the commits originally in #4331

Dante-Broggi

Declare ponyint_color_t as a typedef not a global

1

One of the commits originally in #4331

Dante-Broggi

TYPEPARAMREF modifier in constraint isn't applied properly during subtyping

2

In the following snippet, the compiler is able to prove `X^ ≤ A iso^` in the `reveal` function. However given the constraint, `X` can only be `A tag`. It seems...

plietar