@@ -145,7 +145,7 @@ instance SExpable OutputAnnotation where
145 ItalicText -> "italic"
145 ItalicText -> "italic"
146 UnderlineText -> "underline"
146 UnderlineText -> "underline"
147 toSExp (AnnTerm bnd tm) = toSExp [(SymbolAtom "tt-term", StringAtom (encodeTerm bnd tm))]
147 toSExp (AnnTerm bnd tm) = toSExp [(SymbolAtom "tt-term", StringAtom (encodeTerm bnd tm))]
148− toSExp (AnnSearchResult ordr) = toSExp [(SymbolAtom "doc-overview",
148+ toSExp (AnnSearchResult ordr) = toSExp [(SymbolAtom "doc-overview",
149 StringAtom ("Result type is " ++ descr))]
149 StringAtom ("Result type is " ++ descr))]
150 where descr = case ordr of
150 where descr = case ordr of
151 EQ -> "isomorphic"
151 EQ -> "isomorphic"
@@ -251,7 +251,7 @@ sexpToCommand (SexpList [SymbolAtom "apropos", StringAtom search])
251sexpToCommand (SymbolAtom "get-options") = Just GetOpts
251sexpToCommand (SymbolAtom "get-options") = Just GetOpts
252sexpToCommand (SexpList [SymbolAtom "set-option", SymbolAtom s, BoolAtom b])
252sexpToCommand (SexpList [SymbolAtom "set-option", SymbolAtom s, BoolAtom b])
253 | Just opt <- lookup s opts = Just (SetOpt opt b)
253 | Just opt <- lookup s opts = Just (SetOpt opt b)
254− where opts = [("show-implicits", ShowImpl), ("error-context", ErrContext)] --TODO support more
254+ where opts = [("show-implicits", ShowImpl), ("error-context", ErrContext)] --TODO support more options. Issue #1611 in the Issue tracker. https://github.com/idris-lang/Idris-dev/issues/1611
255sexpToCommand (SexpList [SymbolAtom "metavariables", IntegerAtom cols]) = Just (Metavariables (fromIntegral cols))
255sexpToCommand (SexpList [SymbolAtom "metavariables", IntegerAtom cols]) = Just (Metavariables (fromIntegral cols))
256sexpToCommand (SexpList [SymbolAtom "who-calls", StringAtom name]) = Just (WhoCalls name)
256sexpToCommand (SexpList [SymbolAtom "who-calls", StringAtom name]) = Just (WhoCalls name)
257sexpToCommand (SexpList [SymbolAtom "calls-who", StringAtom name]) = Just (CallsWho name)
257sexpToCommand (SexpList [SymbolAtom "calls-who", StringAtom name]) = Just (CallsWho name)