on master help sign in
Rename to sexp
commit01d70d7060cb4af410127598f22c5b1d1f7f55e2 authorJason Felice <jason.m.felice@gmail.com> dateThu 2 Nov 2017, 16:27 (9 years ago) parent08a89c6
1 file changed+3−3
src/Idris/IdeMode.hs+3−3
src/Idris/IdeMode.hs+3−3
@@ -208,8 +208,8 @@ escape = concatMap escapeChar
208208
209209type Parser a = P.Parsec () String a
210210
211−pSExp :: Parser SExp
212−pSExp = SexpList <$> P.between (P.char '(') (P.char ')') (pSExp `P.sepBy` (P.char ' '))
211+sexp :: Parser SExp
212+sexp = SexpList <$> P.between (P.char '(') (P.char ')') (sexp `P.sepBy` (P.char ' '))
213213 <|> atom
214214
215215atom :: Parser SExp
@@ -325,7 +325,7 @@ parseMessage x = case receiveString x of
325325 Left err -> Left err
326326
327327receiveString :: String -> Either Err SExp
328−receiveString = left (const $ Msg "parse failure") . P.parse pSExp "(unknown)"
328+receiveString = left (const $ Msg "parse failure") . P.parse sexp "(unknown)"
329329
330330convSExp :: SExpable a => String -> a -> Integer -> String
331331convSExp pre s id =