ponyc: Segfault when trying to compile incorrect capabilities

trait T
    fun some() =>
        "Do nothing"

class TClass is T
    let _l: String
    new create(l: String) =>
         _l = consume l
    fun some() =>
        "Do nothing"

actor Act
    let _c: T iso
    new create(c: T iso) =>
        _c = consume c

actor Main
    new create() => 
        let c: T iso = TClass.create(l)
        let a: Act   = Act.create(c)

Adding a ^ to let c: T iso = ... causes a ponyc crash.

About this issue

  • Original URL
  • State: open
  • Created a year ago
  • Comments: 16 (12 by maintainers)

Most upvoted comments

Ah, I see the mistake. I apologize for the unforgiving attitude and unkind words. I should have read your first response more carefully and then I could have corrected the original.