{"action":"created","issue":{"url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/279","labels_url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/279/labels{/name}","comments_url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/279/comments","events_url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/279/events","html_url":"https://github.com/idris-hackers/idris-mode/issues/279","id":49864372,"number":279,"title":"Odd errors from using Eldoc","user":{"login":"flexibeast","id":190652,"avatar_url":"https://avatars.githubusercontent.com/u/190652?v=3","gravatar_id":"","url":"https://api.github.com/users/flexibeast","html_url":"https://github.com/flexibeast","followers_url":"https://api.github.com/users/flexibeast/followers","following_url":"https://api.github.com/users/flexibeast/following{/other_user}","gists_url":"https://api.github.com/users/flexibeast/gists{/gist_id}","starred_url":"https://api.github.com/users/flexibeast/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/flexibeast/subscriptions","organizations_url":"https://api.github.com/users/flexibeast/orgs","repos_url":"https://api.github.com/users/flexibeast/repos","events_url":"https://api.github.com/users/flexibeast/events{/privacy}","received_events_url":"https://api.github.com/users/flexibeast/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":11,"created_at":"2014-11-24T08:00:20Z","updated_at":"2015-03-08T00:01:02Z","closed_at":null,"body":"When using `company-mode` in an `idris-mode` buffer, typing something like:\r\n\r\n```\r\nfol\r\n```\r\n\r\nwill produce an appropriate list of completion candidates (`foldl`, `foldl1`, etc.) but not before producing a bell (visual on my setup) together with errors such as:\r\n\r\n```\r\nerror in process filter: No catch for tag: idris-result-9-98391, (identity nil)\r\n```\r\n\r\nEnabling `debug-on-error` resulted in the following output:\r\n\r\n```\r\nDebugger entered--Lisp error: (no-catch idris-result-14-98396 (identity nil))\r\n  throw(idris-result-14-98396 (identity nil))\r\n  #[771 \"\\211\\211@\u0001A\\303\u0002\\304\\\"\\203^\u0000\\211\\211\\203\u001A\u0000\\211\u0001A\\262\u0002\\242\\202!\u0000\\305\\306\\307\u0003GD\\\"\u0001\\211A\\262\u0003\\242\u0002\\2036\u0000\\305\\306\\307\\310\u0006\u0006G\\\\D\\\"\\210\u0006\u0007J\t\\235\\203K\u0000\\311\u0006\bJ\\312\u0004\u0004BD\\\"\\202Y\u0000\\300?\\205Y\u0000\\313\\314\u0006\tJ\u0006\u000BJ#\\266\\203\\202\\301\u0000\\303\u0002\\315\\\"\\203\\275\u0000\\211\\211\\203s\u0000\\211\u0001A\\262\u0002\\242\\202z\u0000\\305\\306\\307\u0003GD\\\"\u0001\\211A\\262\u0003\\242\u0002\\203\\217\u0000\\305\\306\\307\\310\u0006\u0006G\\\\D\\\"\\210\\300\\203\\236\u0000\\311\u0006\bJ\\312\\307D\\\"\\202\\270\u0000\\316\\n\\235\\203\\257\u0000\\317 \\203\\257\u0000\\320\\321\\322!!\\210\\311\u0006\bJ\\313\\323\u0005E\\\"\\266\\203\\202\\301\u0000\\313\\324\u0004\\\"\\207\" [t idris-stack-eval-tags idris-warnings-printing eql :ok signal wrong-number-of-arguments nil 2 throw identity error \"Reply to canceled synchronous eval request tag=%S sexp=%S\" :error warnings-tree idris-list-compiler-notes pop-to-buffer idris-buffer-name :notes \"%s (synchronous Idris evaluation failed)\" \"ELISP destructure-case failed: %S\"] 14 \"\\n\\n(fn G3890 G3891 G3886)\"](--sexp-- --tag-- (:error \"No such variable fol\"))\r\n  apply(#[771 \"\\211\\211@\u0001A\\303\u0002\\304\\\"\\203^\u0000\\211\\211\\203\u001A\u0000\\211\u0001A\\262\u0002\\242\\202!\u0000\\305\\306\\307\u0003GD\\\"\u0001\\211A\\262\u0003\\242\u0002\\2036\u0000\\305\\306\\307\\310\u0006\u0006G\\\\D\\\"\\210\u0006\u0007J\t\\235\\203K\u0000\\311\u0006\bJ\\312\u0004\u0004BD\\\"\\202Y\u0000\\300?\\205Y\u0000\\313\\314\u0006\tJ\u0006\u000BJ#\\266\\203\\202\\301\u0000\\303\u0002\\315\\\"\\203\\275\u0000\\211\\211\\203s\u0000\\211\u0001A\\262\u0002\\242\\202z\u0000\\305\\306\\307\u0003GD\\\"\u0001\\211A\\262\u0003\\242\u0002\\203\\217\u0000\\305\\306\\307\\310\u0006\u0006G\\\\D\\\"\\210\\300\\203\\236\u0000\\311\u0006\bJ\\312\\307D\\\"\\202\\270\u0000\\316\\n\\235\\203\\257\u0000\\317 \\203\\257\u0000\\320\\321\\322!!\\210\\311\u0006\bJ\\313\\323\u0005E\\\"\\266\\203\\202\\301\u0000\\313\\324\u0004\\\"\\207\" [t idris-stack-eval-tags idris-warnings-printing eql :ok signal wrong-number-of-arguments nil 2 throw identity error \"Reply to canceled synchronous eval request tag=%S sexp=%S\" :error warnings-tree idris-list-compiler-notes pop-to-buffer idris-buffer-name :notes \"%s (synchronous Idris evaluation failed)\" \"ELISP destructure-case failed: %S\"] 14 \"\\n\\n(fn G3890 G3891 G3886)\"] --sexp-- --tag-- (:error \"No such variable fol\"))\r\n  (lambda (&rest --cl-rest--) (apply (quote #[771 \"\\211\\211@\u0001A\\303\u0002\\304\\\"\\203^\u0000\\211\\211\\203\u001A\u0000\\211\u0001A\\262\u0002\\242\\202!\u0000\\305\\306\\307\u0003GD\\\"\u0001\\211A\\262\u0003\\242\u0002\\2036\u0000\\305\\306\\307\\310\u0006\u0006G\\\\D\\\"\\210\u0006\u0007J\t\\235\\203K\u0000\\311\u0006\bJ\\312\u0004\u0004BD\\\"\\202Y\u0000\\300?\\205Y\u0000\\313\\314\u0006\tJ\u0006\u000BJ#\\266\\203\\202\\301\u0000\\303\u0002\\315\\\"\\203\\275\u0000\\211\\211\\203s\u0000\\211\u0001A\\262\u0002\\242\\202z\u0000\\305\\306\\307\u0003GD\\\"\u0001\\211A\\262\u0003\\242\u0002\\203\\217\u0000\\305\\306\\307\\310\u0006\u0006G\\\\D\\\"\\210\\300\\203\\236\u0000\\311\u0006\bJ\\312\\307D\\\"\\202\\270\u0000\\316\\n\\235\\203\\257\u0000\\317 \\203\\257\u0000\\320\\321\\322!!\\210\\311\u0006\bJ\\313\\323\u0005E\\\"\\266\\203\\202\\301\u0000\\313\\324\u0004\\\"\\207\" [t idris-stack-eval-tags idris-warnings-printing eql :ok signal wrong-number-of-arguments nil 2 throw identity error \"Reply to canceled synchronous eval request tag=%S sexp=%S\" :error warnings-tree idris-list-compiler-notes pop-to-buffer idris-buffer-name :notes \"%s (synchronous Idris evaluation failed)\" \"ELISP destructure-case failed: %S\"] 14 \"\\n\\n(fn G3890 G3891 G3886)\"]) (quote --sexp--) (quote --tag--) --cl-rest--))((:error \"No such variable fol\"))\r\n  idris-dispatch-event((:return (:error \"No such variable fol\") 14) #<process Idris Ideslave>)\r\n  idris-connection-available-input(#<process Idris Ideslave>)\r\n  idris-output-filter(#<process Idris Ideslave> \"0002d(:return (:error \\\"No such variable fol\\\") 14)\\n\")\r\n  read-event(nil t 0.01)\r\n  sit-for(0.01)\r\n  company-echo-metadata-frontend(post-command)\r\n  #[0 \"\\301\\300!\\207\" [post-command company-echo-metadata-frontend] 2 \"\\n\\n(fn)\"]()\r\n  funcall(#[0 \"\\301\\300!\\207\" [post-command company-echo-metadata-frontend] 2 \"\\n\\n(fn)\"])\r\n  company-call-frontends(post-command)\r\n  #[0 \"`\b\\232\\204\\f\u0000\\304\u0019\\305 \\210)\\n\\203\u0014\u0000\\306\\307!\\207\t\\247\\205,\u0000\\310 \\205,\u0000\\311\t\\304\\312p\\313 \\314 `&\u0007\\211\u0013\\207\" [company-point company-idle-delay company-candidates company-timer nil company--perform company-call-frontends post-command company--should-begin run-with-timer company-idle-begin selected-window buffer-chars-modified-tick] 8 \"\\n\\n(fn)\"]()\r\n  funcall(#[0 \"`\b\\232\\204\\f\u0000\\304\u0019\\305 \\210)\\n\\203\u0014\u0000\\306\\307!\\207\t\\247\\205,\u0000\\310 \\205,\u0000\\311\t\\304\\312p\\313 \\314 `&\u0007\\211\u0013\\207\" [company-point company-idle-delay company-candidates company-timer nil company--perform company-call-frontends post-command company--should-begin run-with-timer company-idle-begin selected-window buffer-chars-modified-tick] 8 \"\\n\\n(fn)\"])\r\n  company-post-command()\r\n ```\r\n"},"comment":{"url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/comments/77722588","html_url":"https://github.com/idris-hackers/idris-mode/issues/279#issuecomment-77722588","issue_url":"https://api.github.com/repos/idris-hackers/idris-mode/issues/279","id":77722588,"user":{"login":"flexibeast","id":190652,"avatar_url":"https://avatars.githubusercontent.com/u/190652?v=3","gravatar_id":"","url":"https://api.github.com/users/flexibeast","html_url":"https://github.com/flexibeast","followers_url":"https://api.github.com/users/flexibeast/followers","following_url":"https://api.github.com/users/flexibeast/following{/other_user}","gists_url":"https://api.github.com/users/flexibeast/gists{/gist_id}","starred_url":"https://api.github.com/users/flexibeast/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/flexibeast/subscriptions","organizations_url":"https://api.github.com/users/flexibeast/orgs","repos_url":"https://api.github.com/users/flexibeast/repos","events_url":"https://api.github.com/users/flexibeast/events{/privacy}","received_events_url":"https://api.github.com/users/flexibeast/received_events","type":"User","site_admin":false},"created_at":"2015-03-08T00:01:02Z","updated_at":"2015-03-08T00:01:02Z","body":"@david-christiansen:\r\n\r\n\\*nod\\* Yeah, agreed. \r\n\r\nSorry i've not yet found the time to try to solve this! But i have been working with ElDoc in another context (developing a picolisp-mode), so i'm hoping that will help me get to work on this problem Real Soon Now. :-)"}}