No required contexts for functions
In the results of a unification search we apply the unifier found for each result to its type context, so that we can show a required context (and whether/where the relevant instances are found in the database).
However, because finaliseDB
in Cloogle.DB.Factory does removeTypeContexts
, this information is not available for normal functions. It is only available for class members and generics, which store the type contexts separately as well.
Because of this, the <*>
result for :: (a b -> c) (a -> b) a -> c
has a required context, but the ap
result does not:
We need to check whether removeTypeContexts
can safely be removed from finaliseDB
.