diff options
author | Jasper Hugunin <jasperh@cs.washington.edu> | 2018-02-24 23:55:09 -0800 |
---|---|---|
committer | Jasper Hugunin <jasperh@cs.washington.edu> | 2018-03-20 19:34:16 -0700 |
commit | 2815be6e89d4a066eaedb040e43fb4b708d93b92 (patch) | |
tree | c4869ca171148773ec6142f9a2a231033c97b30d /parsing | |
parent | 17c94dca5fe2fc19137b9cac923d51e8eb818041 (diff) |
Refactor impargs code.
This should preserve semantics exactly.
In the compute_implicits family of functions, I changed the
name of the pushed rel to not be fresh, but the env isn't passed
to find_displayed_name_in, and shouldn't affect whd_all.
Diffstat (limited to 'parsing')
0 files changed, 0 insertions, 0 deletions