@@ -167,7 +167,7 @@ startServer port orig fn_in = do tid <- runIO $ forkIO (serverLoop port)
167167
168168 loop fn ist sock
169169 = do (s, _) <- accept sock
170− h <- socketToHandle s ReadWriteMode
170+ h <- socketToHandle s ReadWriteMode
171171 hSetEncoding h utf8
172172 cmd <- hGetLine h
173173 let isth = case idris_outputmode ist of
@@ -1233,8 +1233,8 @@ process fn (Prove mode n')
12331233 let metavars = mapMaybe (\n -> do c <- lookup n (idris_metavars ist); return (n, c)) ns
12341234 n <- case metavars of
12351235 [] -> ierror (Msg $ "Cannot find metavariable " ++ show n')
1236− [(n, (_,_,_,False,_))] -> return n
1237− [(_, (_,_,_,_,False))] -> ierror (Msg "Can't prove this hole as it depends on other holes")
1236+ [(n, (_,_,_,False,_))] -> return n
1237+ [(_, (_,_,_,_,False))] -> ierror (Msg "Can't prove this hole as it depends on other holes")
12381238 [(_, (_,_,_,True,_))] -> ierror (Msg "Declarations not solvable using prover")
12391239 ns -> ierror (CantResolveAlts (map fst ns))
12401240 prover (toplevelWith fn) mode (lit fn) n