Open phischu opened 8 years ago
We should support the resolution of tuples. Example:
import Tuples ((,)(,)) s :: (a,b) -> (,) b a s ((,) a b) = (b,a)
We have to support them in imports as type constructors, patterns and value constructors. We could also support their definition.
We should support the resolution of tuples. Example:
We have to support them in imports as type constructors, patterns and value constructors. We could also support their definition.