@@ -111,7 +111,7 @@ addMissing :: FilePath -> Bool -> Int -> Name -> Idris ()
111addMissing fn updatefile l n
111addMissing fn updatefile l n
112 = do src <- runIO $ readSource fn
112 = do src <- runIO $ readSource fn
113 let (before, tyline : later) = splitAt (l-1) (lines src)
113 let (before, tyline : later) = splitAt (l-1) (lines src)
114− let indent = getIndent 0 (show n) tyline
114+ let indent = getIndent tyline
115 i <- getIState
115 i <- getIState
116 cl <- getInternalApp fn l
116 cl <- getInternalApp fn l
117 let n' = getAppName cl
117 let n' = getAppName cl
@@ -124,9 +124,9 @@ addMissing fn updatefile l n
124 if updatefile
124 if updatefile
125 then do let fb = fn ++ "~"
125 then do let fb = fn ++ "~"
126 runIO $ writeSource fb (unlines (before ++ nonblank)
126 runIO $ writeSource fb (unlines (before ++ nonblank)
127− ++ extras ++
127+ ++ extras
128− (if null extras then ""
128+ ++ (if null extras then "" else "\n")
129− else "\n" ++ unlines rest))
129+ ++ unlines rest)
130 runIO $ copyFile fb fn
130 runIO $ copyFile fb fn
131 else iPrintResult extras
131 else iPrintResult extras
132 where showPat = show . stripNS
132 where showPat = show . stripNS
@@ -155,9 +155,7 @@ addMissing fn updatefile l n
155 "\n" ++ rest))
155 "\n" ++ rest))
156 showNew nm i _ [] = return ""
156 showNew nm i _ [] = return ""
158− getIndent i n [] = 0
158+ getIndent s = length (takeWhile isSpace s)
159− getIndent i n xs | take (length n) xs == n = i
160− getIndent i n (x : xs) = getIndent (i + 1) n xs
163makeWith :: FilePath -> Bool -> Int -> Name -> Idris ()
161makeWith :: FilePath -> Bool -> Int -> Name -> Idris ()