effekt icon indicating copy to clipboard operation
effekt copied to clipboard

Explicitly box interfaces

Open phischu opened this issue 2 years ago • 0 comments

Currently the following is accepted:

def create(): Fresh at {} =
  new Fresh { def fresh() = "" }

However, the following is not and I think it should be:

def create(): Fresh at {} =
  box new Fresh { def fresh() = "" }

phischu avatar Oct 11 '23 07:10 phischu