Logs: freenode/#haskell
| 2021-03-12 10:47:00 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 10:47:37 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-03-12 10:48:35 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-12 10:49:56 | → | ixlun`` joins (~user@109.249.184.132) |
| 2021-03-12 10:51:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Ping timeout: 264 seconds) |
| 2021-03-12 10:52:09 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-12 10:52:33 | × | ixlun` quits (~user@213.205.241.136) (Ping timeout: 245 seconds) |
| 2021-03-12 10:54:44 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 2021-03-12 10:56:51 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-03-12 10:57:28 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 10:57:28 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-12 10:58:08 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-12 10:59:07 | × | LKoen quits (~LKoen@185.61.176.203) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-12 10:59:50 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-12 11:00:23 | → | lambda joins (~xiretza@mail.xiretza.xyz) |
| 2021-03-12 11:02:28 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 276 seconds) |
| 2021-03-12 11:03:04 | × | glguy quits (x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer) |
| 2021-03-12 11:03:33 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-12 11:04:30 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:51ba:fe70:8240:4759) |
| 2021-03-12 11:04:54 | → | glguy joins (x@freenode/staff/haskell.developer.glguy) |
| 2021-03-12 11:06:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 11:06:54 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-12 11:07:14 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 11:07:53 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-12 11:08:03 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-12 11:08:11 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 11:08:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-12 11:10:25 | → | ezrakilty joins (~ezrakilty@75-172-115-167.tukw.qwest.net) |
| 2021-03-12 11:11:06 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-12 11:12:23 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-12 11:12:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-12 11:13:07 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-12 11:13:48 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 11:14:00 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 2021-03-12 11:14:04 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-12 11:14:38 | × | ezrakilty quits (~ezrakilty@75-172-115-167.tukw.qwest.net) (Ping timeout: 245 seconds) |
| 2021-03-12 11:14:57 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Ping timeout: 264 seconds) |
| 2021-03-12 11:15:07 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-12 11:16:49 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-12 11:17:08 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-12 11:17:10 | <Gurkenglas_> | What the heck is this :D https://easyupload.io/x1ye0b reproducible in powershell |
| 2021-03-12 11:18:36 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-12 11:19:31 | <Gurkenglas_> | requires no lub. Reproduction: 1. open cmd.exe 2. stack ghci 3. let x = x in x 4. Ctrl-C 5. stack ghci 6. 2+2 |
| 2021-03-12 11:20:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-12 11:21:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-03-12 11:21:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-12 11:23:31 | × | subttle quits (~anonymous@unaffiliated/subttle) (Quit: leaving) |
| 2021-03-12 11:26:01 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-12 11:26:07 | <tomsmeding> | Gurkenglas_: please fix powershell :p |
| 2021-03-12 11:26:17 | <Gurkenglas_> | tomsmeding, reproducible in cmd.exe |
| 2021-03-12 11:26:43 | <tomsmeding> | that "parse error on input '+'" is _very_ suspicious |
| 2021-03-12 11:27:03 | <tomsmeding> | and makes me think the terminal state is broken somehow |
| 2021-03-12 11:27:18 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-03-12 11:27:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-12 11:27:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-12 11:28:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-12 11:28:09 | <tomsmeding> | does not reproduce on linux :p |
| 2021-03-12 11:28:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-12 11:28:35 | <Gurkenglas_> | more generally: |
| 2021-03-12 11:28:57 | <Gurkenglas_> | 1. stack ghci 2. Ctrl-C 3. uh oh im in the shell but also in ghci |
| 2021-03-12 11:29:20 | <Gurkenglas_> | aka, i expect it's because ghci uses Ctrl-C to abort the current calculation and stack ghci uses it to send you back to the shell |
| 2021-03-12 11:29:26 | <tomsmeding> | that makes me shudder and be happy I'm not on windows |
| 2021-03-12 11:29:43 | <tomsmeding> | is there still a ghc process running after that Ctrl-C? |
| 2021-03-12 11:29:49 | <tomsmeding> | what if you kill that process |
| 2021-03-12 11:29:57 | <tomsmeding> | (not the one run by your language client if any) |
| 2021-03-12 11:30:13 | <Gurkenglas_> | uhh how do i order processes by time of creation |
| 2021-03-12 11:30:32 | <tomsmeding> | can you show the command line of processes on windows? |
| 2021-03-12 11:30:37 | <tomsmeding> | or a process tree |
| 2021-03-12 11:30:53 | <tomsmeding> | you can also just kill all ghc processes, the language server will recover :p |
| 2021-03-12 11:31:05 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Remote host closed the connection) |
| 2021-03-12 11:31:15 | × | son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 2021-03-12 11:31:20 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 11:31:25 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-12 11:32:56 | → | knupfer joins (~Thunderbi@i59F7FFFF.versanet.de) |
| 2021-03-12 11:34:15 | → | rdd joins (~user@c-2983e555.012-81-73746f39.cust.ownit.se) |
| 2021-03-12 11:35:26 | <Gurkenglas_> | Ah, process monitor can enable a start time column, then sort by that. Indeed, there remains a ghc process newer than the powershell |
| 2021-03-12 11:35:40 | <tomsmeding> | Gurkenglas_: what if you kill that one after the Ctrl-C? |
| 2021-03-12 11:35:56 | → | augustine joins (~irfan@59.88.26.41) |
| 2021-03-12 11:36:33 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 264 seconds) |
| 2021-03-12 11:36:33 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-12 11:37:10 | <Gurkenglas_> | that works sanely. every stack ghci invocation without killing em spawns another ghc |
| 2021-03-12 11:37:37 | <Gurkenglas_> | closing the powershell kills the ghc too. |
| 2021-03-12 11:37:49 | <tomsmeding> | Gurkenglas_: so if you kill the spawned ghc process all is fine, but if you don't do that explicitly it lingers and you get madness? |
| 2021-03-12 11:37:58 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 245 seconds) |
| 2021-03-12 11:38:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-12 11:38:17 | <tomsmeding> | is there a proper terminal for windows in which things do work? |
| 2021-03-12 11:38:55 | <Gurkenglas_> | ah https://github.com/commercialhaskell/stack/issues/4737 knows of this |
| 2021-03-12 11:39:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-12 11:40:14 | tomsmeding | is scared |
| 2021-03-12 11:40:21 | <Gurkenglas_> | at least both cmd and powershell capture keyboard input to themselves rather than passing them on to ghc - the only effect outside the shell i see so far is Prelude > getting printed after PS C:\Users\Gurkenglas> |
| 2021-03-12 11:40:49 | <Gurkenglas_> | you get something closer to madness only after launching stack ghci again |
| 2021-03-12 11:42:03 | <Gurkenglas_> | the first time this popped up i remember characters changing above the prompt line so i killed that terminal before the corruption starts spreading across vscode :D |
| 2021-03-12 11:42:12 | <tomsmeding> | :D |
| 2021-03-12 11:43:07 | <Gurkenglas_> | fortunately there are a number of fourth walls between chaos and meatspace, for now. |
| 2021-03-12 11:44:48 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-12 11:47:21 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-12 11:47:42 | ← | augustine parts (~irfan@59.88.26.41) () |
| 2021-03-12 11:47:43 | × | plutoniix quits (~q@184.82.214.51) (Read error: Connection reset by peer) |
| 2021-03-12 11:48:56 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 11:49:13 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 245 seconds) |
All times are in UTC.