mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-01 01:09:03 +03:00
8ddac9c1d5
We need to make sure they are inferred again when elaborating methods, so substitute in a _ in method types before substituting in the explicit parameters. In future, it might (probably will) also be useful to allow giving the implicit parameters explicitly when defining implementations. Fixes #374 |
||
|---|---|---|
| .. | ||
| expected | ||
| Meh.idr | ||
| run | ||