effekt icon indicating copy to clipboard operation
effekt copied to clipboard

Extern definitions using blocks/functions

Open marzipankaiser opened this issue 2 months ago • 0 comments

Using a block in an extern definition like this:

interface Bar {
  def bar(): Int
}
extern def foo(){ b: Bar } = 
  js "${b.bar()}"
  default {
    b.bar()
  }

currently fails with an error message about missing capabilities.

(Future work from #427)

marzipankaiser avatar Apr 23 '24 14:04 marzipankaiser