Stop overwriting case block pattern highlights
This prevents case blocks from getting their pattern clauses overwritten
by the name of the internal auxiliary function
commit3be8229b0365cc60f3dc4563875b20b0e1fa0bc8
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 18 Jun 2015, 20:23 (11 years ago)
parent823be86
src/Idris/Elab/Term.hs+1−1
@@ -1191,7 +1191,7 @@ elab ist info emode opts fn tm
11911191 -- old ones with an _
11921192 mkClause args (l, r)
11931193 = let args' = map (shadowed (allNamesIn l)) args
1194− lhs = PApp (getFC fc l) (PRef (getFC fc l) n)
1194+ lhs = PApp (getFC fc l) (PRef NoFC n)
11951195 (map (mkLHSarg l) args') in
11961196 PClause (getFC fc l) n lhs [] r []
11971197