Bugfix highlighting of let declarations

Author: Ohad Kammar

src/Idris/Parser.idr

@@ -663,7 +663,7 @@ mutual
     letBinder : Rule LetBinder
     letBinder = do s <- bounds (MkPair <$> multiplicity fname <*> expr plhs fname indents)
                    (rig, pat) <- pure s.val
-                   ty <- option (PImplicit (boundToFC fname s))
+                   ty <- option (PImplicit (virtualiseFC $ boundToFC fname s))
                                 (decoratedSymbol fname ":" *> typeExpr (pnoeq pdef) fname indents)
                    (decoratedSymbol fname "=" <|> decoratedSymbol fname ":=")
                    val <- expr pnowith fname indents

src/Idris/Parser/Let.idr

@@ -64,7 +64,7 @@ mkLets fname = letFactory buildLets
     buildLets [] sc = sc
     buildLets (b :: rest) sc
       = let (MkLetBinder rig pat ty val alts) = b.val
-            fc = boundToFC fname b
+            fc = virtualiseFC $ boundToFC fname b
         in PLet fc rig pat ty val (buildLets rest sc) alts
 
 export