@@ -295,6 +295,7 @@ runIdeSlaveCommand h id orig fn mods (IdeSlave.Interpret cmd) =
295295 Success (Right cmd) -> idrisCatch
296296 (ideslaveProcess fn cmd)
297297 (\e -> getIState >>= iRenderError . flip pprintErr e)
298+ Success (Left err) -> iPrintError err
298299runIdeSlaveCommand h id orig fn mods (IdeSlave.REPLCompletions str) =
299300 do (unused, compls) <- replCompletion (reverse str, "")
300301 let good = IdeSlave.SexpList [IdeSlave.SymbolAtom "ok",
@@ -756,7 +757,7 @@ process fn (NewDefn decls) = do
756757 defineName (PFix fc fixity strs : defns) = do
757758 fmodifyState idris_fixities (map (Fix fixity) strs ++)
758759 unless (null defns) $ defineName defns
759− defineName (PSyntax _ syntax:_) = do
760+ defineName (PSyntax _ syntax:_) = do
760761 i <- get
761762 put (addReplSyntax i syntax)
762763 defineName decls = do
@@ -1216,7 +1217,7 @@ process fn (TransformInfo n)
12161217 delab i $ tm
12171218 ts' = showTrans i ts in
12181219 ppTm lhs <+> text " ==> " <+> ppTm rhs : ts'
1219−
1220+
12201221-- iRenderOutput (pretty lhs)
12211222-- iputStrLn " ==> "
12221223-- iPrintTermWithType (pprintDelab i rhs)
@@ -1723,7 +1724,7 @@ getOptLevel _ = Nothing
17231724
17241725getOptimisation :: Opt -> Maybe (Idris ())
17251726getOptimisation (AddOpt p) = Just $ addOptimise p
1726−getOptimisation (RemoveOpt p) = Just $ removeOptimise p
1727+getOptimisation (RemoveOpt p) = Just $ removeOptimise p
17271728getOptimisation _ = Nothing
17281729
17291730getColour :: Opt -> Maybe Bool