Matthew Lutze

following up from #7264

No default or matching definition found for `Add.add`

4

The following code from @finnpedersenkazes's [test file](https://github.com/finnpedersenkazes/flix-examples/blob/master/example05/Fibonacci-datalog.flix) results in an `InternalCompilerException`. ```scala /// Declare predicate symbols. rel Fibonacci(x: Int, y: Int) rel Previous(x: Int, y: Int) /// Returns a collection...

These two are only used together.

Delete `solve`?

3

What is the purpose of the `solve` keyword? It seems that because we interact with Datalog via queries, executing `solve` is never observable.

Currently we assume that type params are either all implicit or all explicit. This ignores the fact that wildcard type parameters are always implicit. This means that `defn.tparams` isn't really...

Unconfident wording in effect error

2

``` 'r + IO' appears to be a superset of 'IO'. Consider using 'checked_ecast'? ``` Surely we _know_ that it's a subset. We should just say "is a subset"

This kind of error can be annoying: ``` mismatched effect formulas. Type One: Iterator[Result[IOError, String], IO, r] Type Two: Iterator[Result[IOError, String], r + IO, r] ``` There are a few...