Logs: liberachat/#haskell
| 2021-06-18 21:54:57 | × | killsushi quits (~killsushi@cpef0f249442b03-cmf0f249442b00.cpe.net.cable.rogers.com) (Changing host) |
| 2021-06-18 21:54:57 | → | killsushi joins (~killsushi@user/killsushi) |
| 2021-06-18 21:57:43 | → | sheepduck joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-06-18 21:59:13 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection) |
| 2021-06-18 21:59:38 | × | Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-06-18 22:03:06 | × | jesus_centaur quits (~Guest91@cpe-172-89-127-163.socal.res.rr.com) (Quit: Connection closed) |
| 2021-06-18 22:06:31 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2021-06-18 22:06:44 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-06-18 22:09:51 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-18 22:09:53 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-18 22:11:01 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 22:12:58 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 22:14:32 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-18 22:14:40 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-18 22:15:13 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 272 seconds) |
| 2021-06-18 22:15:16 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 22:16:07 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-18 22:17:07 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-18 22:19:30 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-18 22:20:55 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2021-06-18 22:21:10 | × | zangi quits (~zangi@103.154.230.130) (Read error: Connection reset by peer) |
| 2021-06-18 22:23:06 | × | chrysanthematic quits (~chrysanth@user/chrysanthematic) (Ping timeout: 264 seconds) |
| 2021-06-18 22:24:32 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.1) |
| 2021-06-18 22:24:46 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-06-18 22:25:37 | → | zangi joins (~zangi@103.154.230.130) |
| 2021-06-18 22:25:37 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-18 22:29:55 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-06-18 22:30:13 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-18 22:31:20 | × | yangby quits (~secret@115.199.97.206) (Ping timeout: 245 seconds) |
| 2021-06-18 22:32:06 | × | fjmorazan quits (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2021-06-18 22:32:29 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.1) |
| 2021-06-18 22:32:42 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds) |
| 2021-06-18 22:32:42 | → | fjmorazan joins (~quassel@user/fjmorazan) |
| 2021-06-18 22:33:00 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-06-18 22:34:08 | × | caubert quits (~caubert@136.244.111.235) (Client Quit) |
| 2021-06-18 22:34:20 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-06-18 22:34:57 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-18 22:36:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-18 22:36:46 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 22:38:19 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-18 22:39:54 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-06-18 22:42:54 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-18 22:43:27 | → | chrysanthematic joins (~chrysanth@user/chrysanthematic) |
| 2021-06-18 22:46:50 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 22:47:23 | × | elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Client closed) |
| 2021-06-18 22:47:43 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-18 22:47:58 | → | elf_fortrez joins (~elf_fortr@adsl-64-237-239-58.prtc.net) |
| 2021-06-18 22:51:57 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-06-18 22:56:17 | × | lbseale_ quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-18 22:57:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-18 22:58:30 | × | involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-06-18 23:00:07 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-18 23:00:14 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 252 seconds) |
| 2021-06-18 23:00:34 | × | slice quits (~slice@user/slice) (Quit: o/) |
| 2021-06-18 23:07:21 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-18 23:07:30 | × | jlamothe quits (~jlamothe@198.251.57.81) (Ping timeout: 240 seconds) |
| 2021-06-18 23:10:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-18 23:11:06 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 2021-06-18 23:14:22 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 244 seconds) |
| 2021-06-18 23:15:24 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-18 23:15:37 | → | fabfianda joins (~fabfianda@mob-5-90-248-17.net.vodafone.it) |
| 2021-06-18 23:19:31 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 23:20:22 | × | chrysanthematic quits (~chrysanth@user/chrysanthematic) (Quit: chrysanthematic) |
| 2021-06-18 23:22:38 | × | fabfianda quits (~fabfianda@mob-5-90-248-17.net.vodafone.it) (Ping timeout: 244 seconds) |
| 2021-06-18 23:23:49 | → | fabfianda joins (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) |
| 2021-06-18 23:23:53 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-18 23:24:21 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-06-18 23:24:21 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-18 23:24:21 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-18 23:27:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-18 23:28:43 | <cdsmith> | Well, I'm stumped. In two places in my code, I have `initClassIfNeeded (Proxy :: Proxy cls)` where cls has kind `(* -> *) -> Constraint`. In one place GHC is fine with it. In the other, it says "Couldn't match kind ‘*’ with ‘(* -> *) -> Constraint’" |
| 2021-06-18 23:28:46 | → | chrysanthematic joins (~chrysanth@user/chrysanthematic) |
| 2021-06-18 23:28:50 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 252 seconds) |
| 2021-06-18 23:29:23 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-18 23:29:46 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2021-06-18 23:30:43 | <cdsmith> | Never mind... I figured it out. I needed an explicit forall to use scoped type vars |
| 2021-06-18 23:33:28 | × | azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-18 23:34:06 | × | chrysanthematic quits (~chrysanth@user/chrysanthematic) (Ping timeout: 268 seconds) |
| 2021-06-18 23:34:39 | × | kayprish quits (~kayprish@46.240.143.86) (Remote host closed the connection) |
| 2021-06-18 23:35:04 | → | renzhi joins (~xp@2607:fa49:6501:9500:5589:4dab:9f77:1a6b) |
| 2021-06-18 23:35:24 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-06-18 23:40:41 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 23:41:42 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 264 seconds) |
| 2021-06-18 23:44:34 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection) |
| 2021-06-18 23:46:17 | × | hrnz quits (~ulli@irc.plumbing) (Quit: das ist mir zu bld hier; bb) |
| 2021-06-18 23:46:43 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-06-18 23:47:02 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 268 seconds) |
| 2021-06-18 23:47:19 | × | NieDzejkob quits (~quassel@195.149.98.3) (Read error: Connection reset by peer) |
| 2021-06-18 23:47:48 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 2021-06-18 23:51:40 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-06-18 23:52:25 | × | zeenk quits (~zeenk@82.76.113.130) (Quit: Konversation terminated!) |
| 2021-06-18 23:54:25 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-18 23:58:25 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 23:59:09 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-18 23:59:40 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-18 23:59:55 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-18 23:59:56 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-19 00:00:36 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2021-06-19 00:02:10 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-19 00:03:11 | <qrpnxz> | applicative ((->) r) is SKI calculus wtf?!?! amazin! |
All times are in UTC.