diff options
author | qunyanm <unknown> | 2015-06-29 15:18:31 -0700 |
---|---|---|
committer | qunyanm <unknown> | 2015-06-29 15:18:31 -0700 |
commit | 3ca52e0f1bdc1ee0edfe19f774661bf02bf0e6b3 (patch) | |
tree | df90b1988da3a2201a9f48f1dc5495dc31472275 /Test/hofs | |
parent | 9e0c60f26bc3c228447154f0d2f9cbeaee9c1974 (diff) |
Fix identifiers in nested match patterns not showing in the IDE bug. Remember
BoundVars that are combined in rewriting of the nested match patterns so they
show up in the IDE correctly.
Diffstat (limited to 'Test/hofs')
0 files changed, 0 insertions, 0 deletions