Fix line number on invocation of :e
commit85852c24b4921cd6f853eaf08f3bab2e959af74d
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 22 Mar 2014, 15:41 (13 years ago)
parentda93e25
src/Idris/REPL.hs+1−1
@@ -420,7 +420,7 @@ edit f orig
420420 env <- runIO $ getEnvironment
421421 let editor = getEditor env
422422 let line = case errSpan i of
423− Just l -> " +" ++ show l ++ " "
423+ Just l -> " +" ++ show (fst (fc_start l)) ++ " "
424424 Nothing -> " "
425425 let cmd = editor ++ line ++ fixName f
426426 runIO $ system cmd