Fix implicit arg / function highlights
Before, sometimes implicit args were given the FC of their function
application. This caused them to sometimes overwrite the highlighting
information from their function when in a pattern position.
commit5f9f8b19caa45234cfbdc6999439e82e08c361b8
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 18 Jun 2015, 18:54 (11 years ago)
parent6d7da92
src/Idris/Elab/Clause.hs+1−1
@@ -483,7 +483,7 @@ propagateParams i ps t tm@(PApp _ (PRef fc n) args)
483483 | Placeholder <- getTm t,
484484 n `elem` ps,
485485 not (n `elem` allNamesIn tm)
486− = t { getTm = PRef fc n } : addP sc ts
486+ = t { getTm = PRef NoFC n } : addP sc ts
487487 addP (Bind n _ sc) (t : ts) = t : addP sc ts
488488 addP _ ts = ts
489489propagateParams i ps t (PRef fc n)