Logs: freenode/#haskell
| 2020-10-04 19:28:15 | → | fosterite joins (~fosterite@2600:6c46:7880:410a:204f:112a:e761:cf0c) |
| 2020-10-04 19:28:44 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-10-04 19:28:55 | × | p-core quits (~Thunderbi@cst-prg-34-77.cust.vodafone.cz) (Ping timeout: 240 seconds) |
| 2020-10-04 19:29:40 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-04 19:30:25 | × | sand_dull quits (~theuser@179.48.249.132) (Ping timeout: 260 seconds) |
| 2020-10-04 19:30:49 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 2020-10-04 19:31:09 | × | raehik1 quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2020-10-04 19:31:24 | → | chaosmasttter joins (~chaosmast@p200300c4a73b2e0168c1f453f2fcf16d.dip0.t-ipconnect.de) |
| 2020-10-04 19:33:34 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 2020-10-04 19:33:46 | → | quazimod1 joins (~quazimodo@27-33-123-50.tpgi.com.au) |
| 2020-10-04 19:34:03 | → | miguicho joins (~miguel@host-186-101-215-54.netlife.ec) |
| 2020-10-04 19:34:05 | × | p0a quits (~user@unaffiliated/p0a) (Quit: bye) |
| 2020-10-04 19:34:36 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:1532:a71d:fbe4:fbaf) |
| 2020-10-04 19:36:15 | × | quazimodo quits (~quazimodo@60-240-169-126.static.tpgi.com.au) (Ping timeout: 256 seconds) |
| 2020-10-04 19:36:45 | → | conal joins (~conal@209.58.131.35) |
| 2020-10-04 19:37:58 | × | Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 260 seconds) |
| 2020-10-04 19:38:17 | × | urdh quits (~urdh@unaffiliated/urdh) (Remote host closed the connection) |
| 2020-10-04 19:39:19 | → | eboladoc joins (~chris@141.70.80.5) |
| 2020-10-04 19:40:55 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-04 19:41:08 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 2020-10-04 19:41:38 | → | OmegaDoug joins (d1ab5889@209.171.88.137) |
| 2020-10-04 19:42:55 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-10-04 19:46:20 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-10-04 19:48:27 | × | conal quits (~conal@209.58.131.35) (Quit: Computer has gone to sleep.) |
| 2020-10-04 19:48:41 | → | machinedgod joins (~machinedg@142.169.78.74) |
| 2020-10-04 19:49:47 | × | stree quits (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) (Ping timeout: 240 seconds) |
| 2020-10-04 19:50:11 | → | renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca) |
| 2020-10-04 19:50:41 | × | Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in) |
| 2020-10-04 19:51:17 | → | Graypup_ joins (Graypup@lfcode.ca) |
| 2020-10-04 19:51:23 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-04 19:52:25 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-04 19:53:26 | → | Buntspecht joins (~user@unaffiliated/siracusa) |
| 2020-10-04 19:53:30 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-04 19:55:14 | × | mav1 quits (~mav@i5E86200D.versanet.de) (Quit: WeeChat 2.9) |
| 2020-10-04 19:58:08 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-kqkqyowmnuomwlmo) (Quit: Connection closed for inactivity) |
| 2020-10-04 19:59:16 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:693b:1e64:c063:cc27) (Quit: oisdk) |
| 2020-10-04 19:59:49 | × | machinedgod quits (~machinedg@142.169.78.74) (Ping timeout: 246 seconds) |
| 2020-10-04 20:02:14 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.) |
| 2020-10-04 20:02:45 | → | stree joins (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) |
| 2020-10-04 20:03:17 | × | miguicho quits (~miguel@host-186-101-215-54.netlife.ec) (Max SendQ exceeded) |
| 2020-10-04 20:03:35 | → | miguicho joins (~miguel@host-186-101-215-54.netlife.ec) |
| 2020-10-04 20:03:36 | × | miguicho quits (~miguel@host-186-101-215-54.netlife.ec) (Max SendQ exceeded) |
| 2020-10-04 20:03:56 | → | miguicho joins (~miguel@host-186-101-215-54.netlife.ec) |
| 2020-10-04 20:03:57 | × | miguicho quits (~miguel@host-186-101-215-54.netlife.ec) (Max SendQ exceeded) |
| 2020-10-04 20:04:15 | → | miguicho joins (~miguel@host-186-101-215-54.netlife.ec) |
| 2020-10-04 20:05:43 | <OmegaDoug> | Is there a way to catch 'Ctrl-C' on windows when testing code in GHCi? The purpose is to close a socket. I'm using Control.Exception.bracket but when I press Ctrl-C I have to go into the task manager and kill the ghc.exe instance to close the socket. |
| 2020-10-04 20:05:44 | <OmegaDoug> | https://gist.github.com/DouglasBrunner/5bf94447f57db989f9df5b6682a7fdf6 |
| 2020-10-04 20:06:19 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-04 20:07:16 | → | OmegaDoug84 joins (8e749d03@lnsm3-torontoxn-142-116-157-3.internet.virginmobile.ca) |
| 2020-10-04 20:07:51 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-04 20:08:19 | <koz_> | OmegaDoug: GHCi isn't the place to test this in. |
| 2020-10-04 20:08:23 | → | rprije joins (~rprije@203.214.95.251) |
| 2020-10-04 20:08:33 | <koz_> | Since I believe it has its own signal handling. |
| 2020-10-04 20:09:27 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-04 20:09:42 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection) |
| 2020-10-04 20:09:46 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-10-04 20:10:04 | × | OmegaDoug quits (d1ab5889@209.171.88.137) (Ping timeout: 245 seconds) |
| 2020-10-04 20:10:25 | <OmegaDoug84> | koz_, a shame since the REPL is nice to use and I jump in and out of it a lot. I don't suppose you happen to know the recommended approach to kill a long running process in GHCi? |
| 2020-10-04 20:10:47 | <koz_> | OmegaDoug84: That's a different question. You want to test signal handling in your program, correct? |
| 2020-10-04 20:10:55 | <koz_> | My answer was 'GHCi isn't the way to do this'. |
| 2020-10-04 20:11:08 | <koz_> | When it comes to killing long-running processes in GHCi, I dunno. |
| 2020-10-04 20:11:28 | <OmegaDoug84> | Yes. I want to ensure the sockets are released when the program exits. |
| 2020-10-04 20:12:02 | <koz_> | Yeah, GHCi isn't the place to do this kind of testing. Write an actual test suite. |
| 2020-10-04 20:12:58 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9) |
| 2020-10-04 20:13:10 | → | bollu joins (~bollu@139.59.46.74) |
| 2020-10-04 20:13:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-04 20:14:46 | <koz_> | (you are correct in that bracket is a good idea in such a case) |
| 2020-10-04 20:15:40 | <OmegaDoug84> | I'll certainly do that. But for now I'd like to stop leaking resources as I'm developing in the REPL. |
| 2020-10-04 20:15:58 | <koz_> | Yeah, that's not really gonna happen in GHCi. |
| 2020-10-04 20:16:07 | <OmegaDoug84> | It would be a nicer development experience not to have to consistently kill GHC. |
| 2020-10-04 20:16:19 | <OmegaDoug84> | lol, good to know how far down the rabbit hole I should go ;) |
| 2020-10-04 20:16:41 | <koz_> | Basically, you're at the stage where you should have tests, and be running them regularly. |
| 2020-10-04 20:16:51 | <koz_> | GHCi is good for small scratch stuff. |
| 2020-10-04 20:16:55 | × | knupfer quits (~Thunderbi@200116b82c67780049b0f8914a41620c.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2020-10-04 20:17:05 | <koz_> | Or asking questions like 'what is the type of this random off-the-wall thing I just thought up'. |
| 2020-10-04 20:18:08 | <OmegaDoug84> | Good advice. What about the runhaskell command? Will that suffer from the same problems that GHCi does? |
| 2020-10-04 20:18:35 | <koz_> | I don't use it, so no idea. Isn't it just a wrapper around 'ghc && ./executable-name'? |
| 2020-10-04 20:19:04 | <OmegaDoug84> | I'll read up on it. I can't remember if it used the compiler or interpreter. |
| 2020-10-04 20:19:10 | → | machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net) |
| 2020-10-04 20:20:48 | <OmegaDoug84> | koz_, the exception handler gets called using runhaskell. I'll stick with that approach for now. Thanks. |
| 2020-10-04 20:21:19 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-10-04 20:21:21 | <koz_> | OmegaDoug84: Glad that helped. I still 100% suggest writing an actual test suite for this purpose. |
| 2020-10-04 20:21:31 | → | mav1 joins (~mav@p5b02806a.dip0.t-ipconnect.de) |
| 2020-10-04 20:22:33 | <OmegaDoug84> | koz_, I'll definitely be doing that. For now I'm just exploring the design space. |
| 2020-10-04 20:24:27 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-04 20:24:38 | × | fosterite quits (~fosterite@2600:6c46:7880:410a:204f:112a:e761:cf0c) () |
| 2020-10-04 20:25:04 | → | tito_04 joins (~taurux@net-93-151-203-67.cust.dsl.teletu.it) |
| 2020-10-04 20:25:12 | × | taurux quits (~taurux@net-93-144-10-156.cust.vodafonedsl.it) (Ping timeout: 272 seconds) |
| 2020-10-04 20:26:31 | × | coot quits (~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-10-04 20:27:04 | × | shafox quits (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-04 20:27:49 | <ski> | dolio : oic. for some reason my vague memory suggested it did some sort of interleaving "out of the box", with the usual `Monad' and `MonadPlus' operations |
| 2020-10-04 20:28:16 | × | eboladoc quits (~chris@141.70.80.5) (Quit: Cure for an obsession: get another one!) |
| 2020-10-04 20:29:21 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 2020-10-04 20:30:34 | → | aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) |
| 2020-10-04 20:34:43 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 2.9) |
| 2020-10-04 20:37:39 | → | jneira joins (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) |
| 2020-10-04 20:41:17 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-04 20:43:14 | × | ggole- quits (~ggole@2001:8003:8119:7200:10c6:17b0:327d:27c2) (Quit: Leaving) |
| 2020-10-04 20:46:15 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2020-10-04 20:49:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
All times are in UTC.