Uncaught Error: This socket has been ended by the other party #208

bukzor · 2018-09-02T19:28:03Z

Atom says this issue was already reported, but the ticket it gives (#51) was closed years ago.

I'm working though the tutorial at https://github.com/idris-hackers/atom-language-idris/blob/master/documentation/tutorial.md
I got to the "Select plusAssoc_rhs_1 and press ctrl+alt+s" bit
That hotkey toggled the shaded (minimized) state of the window
I had to go on a brief excursion through stackoverflow and dconf-editor to turn that hotkey off
I returned to atom and this crash report.

Idris: 1.3.0
Atom: 1.30.0 x64
Electron: 2.0.5
OS: Ubuntu 18.04.1
Thrown From: language-idris package 0.4.10

Stack Trace

Uncaught Error: This socket has been ended by the other party

At /home/buck/.atom/packages/language-idris/node_modules/rx-lite/rx.lite.js:78

Error: This socket has been ended by the other party
    at Socket.writeAfterFIN [as write] (net.js:351:12)
    at IdrisIdeMode.send (/packages/language-idris/lib/idris-ide-mode.coffee:51:20)
    at IdrisModel.prepareCommand (/packages/language-idris/lib/idris-model.coffee:89:32)
    at IdrisModel.interpret (/packages/language-idris/lib/idris-model.coffee:132:6)
    at IdrisModel.changeDirectory (/packages/language-idris/lib/idris-model.coffee:93:6)
    at IdrisModel.load (/packages/language-idris/lib/idris-model.coffee:105:10)
    at IdrisController.getTypeForWord (/packages/language-idris/lib/idris-controller.coffee:200:8)
    at /packages/language-idris/lib/idris-controller.coffee:1:1
    at AnonymousObserver._onNext (/packages/language-idris/lib/idris-controller.coffee:102:11)
    at AnonymousObserver.Rx.AnonymousObserver.AnonymousObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1635:12)
    at AnonymousObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at AnonymousObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at CatchObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2747:59)
    at CatchObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at CatchObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:3263:90)
    at InnerObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at scheduleItem (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2651:16)
    at JustSink.run (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2659:9)
    at JustObservable.subscribeCore (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2640:19)
    at JustObservable.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at /packages/language-idris/node_modules/rx-lite/rx.lite.js:1813:46)
    at Rx.internals.ScheduledItem.ScheduledItem.invokeCore (/packages/language-idris/node_modules/rx-lite/rx.lite.js:858:33)
    at Rx.internals.ScheduledItem.ScheduledItem.invoke (/packages/language-idris/node_modules/rx-lite/rx.lite.js:846:40)
    at runTrampoline (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1045:37)
    at tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at CurrentThreadScheduler.schedule (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1061:45)
    at JustObservable.Rx.ObservableBase.ObservableBase._subscribe (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1826:32)
    at JustObservable.Rx.Observable.observableProto.subscribe.observableProto.forEach (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1703:19)
    at MergeAllObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:3232:37)
    at MergeAllObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.Rx.FlatMapObservable.InnerObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1876:14)
    at InnerObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:4329:14)
    at InnerObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at AsyncSubject.onCompleted (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6462:17)
    at handler (/packages/language-idris/node_modules/rx-lite/rx.lite.js:4766:7)
    at FSReqWrap.oncomplete (fs.js:135:15)

Commands

  2x -9:35 language-idris:proof-search (input.hidden-input)
  2x -9:11.3.0 language-idris:type-of (input.hidden-input)
     -0:12.7.0 core:save-as (input.hidden-input)
     -0:07.4.0 language-idris:type-of (input.hidden-input)

Non-Core Packages

language-idris 0.4.10

The text was updated successfully, but these errors were encountered:

bukzor · 2018-09-02T20:56:12Z

Same issue, different cause: I randomly chose "Language Idris: Make with" just to see what it does.
Atom reported that the interpreter crashed with code 1 (but what was the error message?) and subsequent operations report the above Uncaught socket-closed error.

justjoheinz · 2018-09-02T21:45:02Z

Is this reproducible when you stop and restart Atom? If no, my guess would be that reconfiguring the keyboard settings somehow "refreshed" atom and the connection to the idris process was somehow lost. The follow up error code 1 is just a consequence of this.. I could at least reproduce the plus_assoc example without a problem. Am So., 2. Sep. 2018 um 22:56 Uhr schrieb Buck Evan < [email protected]>:

…

Same issue, different cause: I randomly chose "Language Idris: Make with" just to see what it does. Atom reported that the interpreter crashed with code 1 (but what was the error message?) and subsequent operations report the above Uncaught socket-closed error. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#208 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAX75PRIVYUpvuxPTr_4OMaMCEZTIL3iks5uXEXtgaJpZM4WWu-A> .

bukzor · 2018-09-03T00:17:52Z

Yes, in comment-2 I show that the error recurred after restart.
Not exactly a reproduction though...

The "make with" crash reproduced just now, but didn't after I restarted.
Are there any logs I can collect / enable?

justjoheinz · 2018-09-03T05:48:54Z

This makes me believe that you did maybe never set the path in the settings of the idris plugin. The REDMAE can be impoprived here: The package should work after installation. The only thing you might need to set is the path to the idris executable in the config of this package. If it doesn't work it's probably a bug. And a Developer Console is available via CMD-Alt-I (on Mac OS X) - this might be Ctl-Alt-I or Ctrl-Shift-I on ubuntu. Am Mo., 3. Sep. 2018 um 02:17 Uhr schrieb Buck Evan <[email protected]>:

…

Yes, in comment-2 I show that the error recurred after restart. Not exactly a reproduction though... The "make with" crash reproduced just now, but didn't after I restarted. Are there any logs I can collect / enable? — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.

bukzor · 2018-09-03T15:39:03Z

@justjoheinz Idris was already on the $PATH so the default setting (just idris) worked fine.
I'm able to interact with idris before it crashes, which wouldn't be possible with an incorrect path.

I do recall seeing something to the effect of "it should work, perhaps after setting the path to idris" in some part of the documentation, so that bit's good enough, for me at least.

I wasn't able to get any variation of ctrl-alt-l to work, nor find anything similar to "Developer Console" in the command palette. I suspect it's from a package that I don't have installed.

bukzor · 2018-09-03T15:53:56Z

Ah, it's ctrl-shift-i.

bukzor · 2018-09-03T17:10:37Z

It seems to crash pretty reliably if I put my cursor on the last (empty) line of this script, then "idris: find holes" and then "idris: make with".

module Main

main : IO ()
main = putStrLn (cast 'x')

Also, I captured a log of the described crash: atom-idris-crash.log

justjoheinz · 2018-09-04T07:30:32Z

idris-lang/Idris-dev#4549

@bukzor thanks for the detailed steps to reproduce. I will fix this in Atom but the problem originates in idris itself. As for the with clauses -have a look at http://docs.idris-lang.org/en/latest/tutorial/views.html to understand how they are used.

bukzor · 2018-09-08T23:37:21Z

Ah I see this is the fix, rather than the PR that's linked above: c98aabd

But isn't there an additional bug wherein atom-idris fails to restart idris when it crashes?

justjoheinz · 2018-09-09T05:40:17Z

Yes, that is true, we still fail to restart idris. And sorry for linking wrong PRs, I had som many changes in a branch and had a good time this Friday to fix some long outstanding issues, that I mangled up some numbers probably. Am So., 9. Sep. 2018 um 01:37 Uhr schrieb Buck Evan < [email protected]>:

…

Ah I see this is the fix, rather than the PR that's linked above: c98aabd <c98aabd> But isn't there an additional bug wherein atom-idris fails to restart idris when it crashes? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#208 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAX75HA8me5E4g28uZ1KDSb-szuE3F1Zks5uZFSygaJpZM4WWu-A> .

bukzor · 2018-09-09T15:09:27Z

No problem! I just got a little confused.
Should I re-title this issue as "idris fails to restart on crash"?

justjoheinz added bug idris labels Sep 7, 2018

justjoheinz mentioned this issue Sep 7, 2018

Fixes #206 #210

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uncaught Error: This socket has been ended by the other party #208

Uncaught Error: This socket has been ended by the other party #208

bukzor commented Sep 2, 2018

bukzor commented Sep 2, 2018

justjoheinz commented Sep 2, 2018 via email

bukzor commented Sep 3, 2018

justjoheinz commented Sep 3, 2018 via email

bukzor commented Sep 3, 2018

bukzor commented Sep 3, 2018

bukzor commented Sep 3, 2018

justjoheinz commented Sep 4, 2018 •

edited

Loading

bukzor commented Sep 8, 2018

justjoheinz commented Sep 9, 2018 via email

bukzor commented Sep 9, 2018

Uncaught Error: This socket has been ended by the other party #208

Uncaught Error: This socket has been ended by the other party #208

Comments

bukzor commented Sep 2, 2018

Stack Trace

Commands

Non-Core Packages

bukzor commented Sep 2, 2018

justjoheinz commented Sep 2, 2018 via email

bukzor commented Sep 3, 2018

justjoheinz commented Sep 3, 2018 via email

bukzor commented Sep 3, 2018

bukzor commented Sep 3, 2018

bukzor commented Sep 3, 2018

justjoheinz commented Sep 4, 2018 • edited Loading

bukzor commented Sep 8, 2018

justjoheinz commented Sep 9, 2018 via email

bukzor commented Sep 9, 2018

justjoheinz commented Sep 4, 2018 •

edited

Loading