emmalanguage/emma

FoldMacros don't work with DataBag[Nothing]

Closed this issue · 5 comments

The following doesn't compile:

val b: DataBag[Nothing] = ???
b.nonEmpty

But it compiles with other types (e.g. Int) in place of the Nothing.

Under what conditions does it not compile? I can't reproduce it.

Maybe it only happens with the new API?

I think so, it's somehow tied to the implicit inference.

This should be resolved once #247 is merged.

@ggevay feel free to close this if the problem no longer occurs in the newir HEAD.