Logs: freenode/#haskell
| 2021-05-07 19:30:06 | × | hiredman quits (~hiredman@138.68.1.198) (Ping timeout: 240 seconds) |
| 2021-05-07 19:31:31 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-07 19:31:44 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-05-07 19:32:02 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-05-07 19:32:48 | → | o1lo01ol1o joins (~o1lo01ol1@205.220.128.197) |
| 2021-05-07 19:32:52 | × | o1lo01ol1o quits (~o1lo01ol1@205.220.128.197) (Read error: Connection reset by peer) |
| 2021-05-07 19:36:29 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-07 19:36:43 | <Gurkenglas> | uhh maybe it would say more if "globalLogLevel global == LevelDebug" evaluated to true? https://github.com/commercialhaskell/stack/blob/255cd830627870cdef34b5e54d670ef07882523e/src/main/Main.hs#L136 |
| 2021-05-07 19:38:49 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-07 19:39:39 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-07 19:39:49 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:cc13:5292:6bd3:1cef) |
| 2021-05-07 19:41:13 | → | proofofkeags__ joins (~proofofke@205.209.28.54) |
| 2021-05-07 19:42:17 | <hyperisco> | it might say more with -v … well maybe … it looks like that global handler in particular goes to the Left branch for exit codes |
| 2021-05-07 19:43:12 | <hyperisco> | or it could be hitting line 147 which also has no message |
| 2021-05-07 19:43:44 | <hyperisco> | I am just going to see if exit code 2 is okay to live with |
| 2021-05-07 19:45:06 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-07 19:50:20 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.105) |
| 2021-05-07 19:51:44 | <Gurkenglas> | Why isn't alga's Graph a subclass of Num? |
| 2021-05-07 19:52:06 | × | m_shiraeeshi quits (~shiraeesh@5.101.59.1) (Ping timeout: 240 seconds) |
| 2021-05-07 19:52:09 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2021-05-07 19:53:06 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 19:55:02 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-07 19:55:21 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 2021-05-07 19:56:33 | <Gurkenglas> | ":k AC.Vertex (Algebra.Graph.AdjacencyMap.AdjacencyMap Int)" in ghci says *, how do I get the resulting type? |
| 2021-05-07 19:59:51 | × | kingmaker quits (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) (Quit: Connection closed) |
| 2021-05-07 20:00:31 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-05-07 20:02:51 | → | magthe joins (~magthe@c83-252-48-230.bredband.comhem.se) |
| 2021-05-07 20:03:07 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-07 20:06:24 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-05-07 20:07:13 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-05-07 20:07:55 | <tomsmeding> | Gurkenglas: use the 'process' package? |
| 2021-05-07 20:08:12 | <tomsmeding> | or perhaps 'typed-process' though I haven't tried that one yet |
| 2021-05-07 20:09:07 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-07 20:09:19 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid) |
| 2021-05-07 20:09:22 | <tomsmeding> | Gurkenglas: I believe since ghc 9.2, :k! evaluates type families |
| 2021-05-07 20:09:29 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-07 20:09:45 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-jfnenignxbjtugzo) |
| 2021-05-07 20:09:49 | <tomsmeding> | it used to do that in the past but at some point it changed because it was never intended behaviour; since a very recent release notes (I believe 9.2) it does it again |
| 2021-05-07 20:10:02 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-07 20:11:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-07 20:11:27 | <tomsmeding> | yeah 9.2 https://gitlab.haskell.org/ghc/ghc/-/blob/master/docs/users_guide/9.2.1-notes.rst |
| 2021-05-07 20:11:37 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-05-07 20:11:37 | <tomsmeding> | (search for :kind!) |
| 2021-05-07 20:11:46 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-07 20:12:37 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-07 20:12:53 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-07 20:13:03 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-07 20:13:40 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-07 20:13:46 | → | ADG1089 joins (~aditya@27.58.164.109) |
| 2021-05-07 20:14:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-07 20:15:24 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Client Quit) |
| 2021-05-07 20:17:33 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-05-07 20:19:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 20:21:54 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-07 20:29:22 | <Gurkenglas> | yeah process and :k! worked, thanks |
| 2021-05-07 20:33:09 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-07 20:33:22 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-07 20:34:14 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-07 20:34:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-07 20:35:12 | × | cheater1 quits (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 2021-05-07 20:35:37 | → | justBull joins (~justache@unaffiliated/justache) |
| 2021-05-07 20:37:37 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-07 20:38:30 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-07 20:38:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 2021-05-07 20:40:33 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-07 20:41:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-07 20:41:06 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-07 20:42:30 | × | alx741 quits (~alx741@186.178.108.37) (Ping timeout: 265 seconds) |
| 2021-05-07 20:43:12 | → | knupfer joins (~Thunderbi@200116b82b63890044fc23d4c571cb42.dip.versatel-1u1.de) |
| 2021-05-07 20:45:01 | × | magthe quits (~magthe@c83-252-48-230.bredband.comhem.se) (Quit: WeeChat 3.1) |
| 2021-05-07 20:45:40 | → | sjack joins (~noneofurb@104.244.208.206) |
| 2021-05-07 20:46:04 | × | justBull quits (~justache@unaffiliated/justache) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-07 20:46:37 | → | justBull joins (~justache@unaffiliated/justache) |
| 2021-05-07 20:47:06 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-07 20:47:16 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-07 20:47:31 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-07 20:47:35 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-07 20:49:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-07 20:49:48 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-07 20:52:19 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-05-07 20:53:12 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-07 20:55:01 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-07 20:55:05 | → | alx741 joins (~alx741@181.196.69.254) |
| 2021-05-07 20:55:20 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 2021-05-07 20:56:54 | → | slack1256 joins (~slack1256@200.112.86.100) |
| 2021-05-07 21:01:05 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-07 21:01:14 | × | sjack quits (~noneofurb@104.244.208.206) (Quit: Leaving) |
| 2021-05-07 21:03:14 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-05-07 21:03:20 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b952810c296d938beffd8.dip0.t-ipconnect.de) |
| 2021-05-07 21:03:23 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-07 21:03:50 | × | iMast777 quits (~iMast777@185.204.1.185) (Remote host closed the connection) |
| 2021-05-07 21:05:00 | × | LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (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-05-07 21:05:28 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-07 21:08:32 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-05-07 21:08:46 | × | _xft0 quits (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: leaving) |
| 2021-05-07 21:09:21 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-07 21:09:32 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 2021-05-07 21:10:43 | × | antoniotrkdz quits (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) (Ping timeout: 252 seconds) |
| 2021-05-07 21:11:10 | → | son0p joins (~ff@181.136.122.143) |
| 2021-05-07 21:18:06 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
All times are in UTC.