diff options
| author | Brian Campbell | 2019-06-21 10:57:15 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-21 10:57:15 +0100 |
| commit | 7a5f75524c59bf885d7c31ed1ae8a7cfe725d5dc (patch) | |
| tree | 558016a948d65b46ef7126b0d6fb536cd51e7a72 /src/lem_interp/interp_lib.lem | |
| parent | b78b3ec223cbd56e20adcba5e366f7940f220e12 (diff) | |
Coq: be more careful when dealing with wildcard argument patterns
If they're merged with a type variable then we still need to name the
argument so that it can be used in other types.
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
0 files changed, 0 insertions, 0 deletions