diff options
| author | Brian Campbell | 2019-03-20 15:38:31 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-20 15:38:43 +0000 |
| commit | a8c9a4d2baec6329c3cf486978baa180068034d3 (patch) | |
| tree | 8a082112afcaf82cb23564bfb41a407df38eb337 /language | |
| parent | c7e5eae97e75036d700ba437a5c295c6fb3874a4 (diff) | |
Coq: be more careful about merging Sail variables and type variables
In particular, spot variable shadowing and handle (n as 'm) patterns.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions