Skip to content

Update DisambECP-related comments

Vladislav Zavialov requested to merge wip/comments-disamb-ecp into master

Update a few outdated comments, and change p ~ GhcPs => t p to t GhcPs in DisambECP instances that e951f219 missed.

Merge request reports