Logs on 2024-06-04 (liberachat/#haskell)
| 00:04:25 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 00:14:39 | → | k_hachig joins (~k_hachig@65.94.221.127) |
| 00:24:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 00:24:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:28:24 | × | k_hachig quits (~k_hachig@65.94.221.127) (Ping timeout: 268 seconds) |
| 00:28:46 | → | mIRC-rockcavera joins (~mirc-rc@187.114.208.27) |
| 00:41:44 | → | k_hachig joins (~k_hachig@65.94.221.127) |
| 00:46:38 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 00:49:04 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 255 seconds) |
| 01:03:21 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 01:05:37 | → | Square joins (~Square@user/square) |
| 01:05:59 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 01:09:13 | → | euleritian joins (~euleritia@dynamic-176-000-195-129.176.0.pool.telefonica.de) |
| 01:12:55 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 01:13:58 | × | xff0x quits (~xff0x@2405:6580:b080:900:75ce:7dd6:5a9:4d8a) (Ping timeout: 246 seconds) |
| 01:20:07 | × | RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Ping timeout: 256 seconds) |
| 01:29:09 | × | k_hachig quits (~k_hachig@65.94.221.127) (Ping timeout: 268 seconds) |
| 01:33:04 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 01:43:20 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 01:50:11 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 01:50:37 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 01:58:52 | → | joeyadams joins (~joeyadams@38.48.105.67) |
| 02:00:51 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:10:48 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 02:18:57 | → | k_hachig joins (~k_hachig@65.94.221.127) |
| 02:19:36 | × | joeyadams quits (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 02:31:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:34:49 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 246 seconds) |
| 02:40:46 | × | mIRC-rockcavera quits (~mirc-rc@187.114.208.27) (Quit: Estou usando mIRC-rockcavera / Seu script sem frescura! / Baixe já em www.rockcavera.tk) |
| 02:47:52 | → | danse-nr3 joins (~danse-nr3@151.43.53.81) |
| 02:48:28 | × | td_ quits (~td@i53870924.versanet.de) (Ping timeout: 246 seconds) |
| 02:50:28 | → | td_ joins (~td@i53870908.versanet.de) |
| 02:57:41 | × | danse-nr3 quits (~danse-nr3@151.43.53.81) (Ping timeout: 240 seconds) |
| 02:58:26 | → | xdminsy joins (~xdminsy@117.147.70.212) |
| 02:58:43 | → | danse-nr3 joins (~danse-nr3@151.57.182.112) |
| 03:09:57 | × | shailangsa quits (~shailangs@host86-186-127-241.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 03:12:24 | → | Guest76 joins (~Guest76@2408:8656:458:400::2) |
| 03:31:14 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 03:45:30 | → | billchenchina joins (~billchenc@103.118.42.229) |
| 03:50:26 | → | xtabentun joins (uid491929@id-491929.tinside.irccloud.com) |
| 03:53:49 | × | ak-1 quits (~ak-1@149.50.189.44) (Ping timeout: 256 seconds) |
| 03:54:00 | → | ak-1 joins (~ak-1@149.50.189.144) |
| 03:54:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 03:54:34 | → | systemhalted joins (~systemhal@130.51.137.77) |
| 03:54:37 | × | aforemny_ quits (~aforemny@2001:9e8:6ced:6800:13d6:de3b:fcd:8fe6) (Ping timeout: 246 seconds) |
| 03:55:00 | → | aforemny joins (~aforemny@2001:9e8:6cd2:1a00:9deb:d35d:a335:43ec) |
| 03:58:00 | → | pavonia joins (~user@user/siracusa) |
| 03:59:09 | → | billchenchina- joins (~billchenc@113.57.152.160) |
| 03:59:23 | × | systemhalted quits (~systemhal@130.51.137.77) (Ping timeout: 264 seconds) |
| 03:59:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:01:41 | × | billchenchina quits (~billchenc@103.118.42.229) (Ping timeout: 252 seconds) |
| 04:01:55 | × | euleritian quits (~euleritia@dynamic-176-000-195-129.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 04:02:13 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:14:31 | × | k_hachig quits (~k_hachig@65.94.221.127) (Quit: WeeChat 4.2.2) |
| 04:16:34 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 04:17:03 | → | qhong joins (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 04:25:58 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 04:29:52 | → | billchenchina joins (~billchenc@103.118.42.229) |
| 04:32:18 | × | billchenchina- quits (~billchenc@113.57.152.160) (Ping timeout: 268 seconds) |
| 04:42:16 | → | causal joins (~eric@50.35.88.207) |
| 04:47:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:08:34 | → | michalz joins (~michalz@185.246.207.201) |
| 05:16:21 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:17:47 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 05:18:21 | → | danza joins (~francesco@151.57.182.112) |
| 05:22:33 | × | danse-nr3 quits (~danse-nr3@151.57.182.112) (Ping timeout: 268 seconds) |
| 05:31:11 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 05:33:37 | × | michalz quits (~michalz@185.246.207.201) (Quit: ZNC 1.9.0 - https://znc.in) |
| 05:35:08 | → | euleritian joins (~euleritia@dynamic-176-000-195-129.176.0.pool.telefonica.de) |
| 05:36:22 | → | michalz joins (~michalz@185.246.207.205) |
| 05:41:09 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:44:08 | → | acidjnk joins (~acidjnk@p200300d6e714dc62f5676ef887ec870d.dip0.t-ipconnect.de) |
| 05:45:22 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
| 05:53:53 | × | yin quits (~yin@user/zero) (Ping timeout: 252 seconds) |
| 06:01:47 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 06:06:39 | × | danza quits (~francesco@151.57.182.112) (Ping timeout: 268 seconds) |
| 06:15:20 | × | bontaq quits (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 06:26:58 | × | bollu quits (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
| 06:27:27 | → | bollu joins (~bollu@159.65.151.13) |
| 06:29:53 | → | cfricke joins (~cfricke@user/cfricke) |
| 06:30:41 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 06:31:00 | → | puke joins (~puke@user/puke) |
| 06:31:52 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:40:30 | → | CiaoSen joins (~Jura@2a05:5800:2b4:b00:e6b9:7aff:fe80:3d03) |
| 06:48:03 | → | cfricke_ joins (~cfricke@user/cfricke) |
| 06:49:30 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 06:54:29 | → | titibandit joins (e33ffbab65@user/titibandit) |
| 06:56:40 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:57:39 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 07:04:25 | → | kenran joins (~user@user/kenran) |
| 07:05:16 | × | cfricke_ quits (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 07:06:16 | × | Guest76 quits (~Guest76@2408:8656:458:400::2) (Quit: Client closed) |
| 07:14:00 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 07:14:26 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 07:15:17 | × | tv quits (~tv@user/tv) (Ping timeout: 252 seconds) |
| 07:16:22 | → | tv joins (~tv@user/tv) |
| 07:27:07 | × | paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 07:28:04 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:28:30 | → | andrei_n joins (~andrei_n@2001:6a8:3081:6f02:4755:5d23:fdc2:90e3) |
| 07:33:01 | × | andrei_n quits (~andrei_n@2001:6a8:3081:6f02:4755:5d23:fdc2:90e3) (Changing host) |
| 07:33:01 | → | andrei_n joins (~andrei_n@user/andrei-n:62396) |
| 07:39:37 | → | gmg joins (~user@user/gehmehgeh) |
| 07:40:22 | → | paddymahoney joins (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) |
| 07:46:18 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:04:15 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 08:06:28 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 08:07:37 | → | danza joins (~francesco@151.57.115.179) |
| 08:19:22 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:21:43 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:24:33 | × | euleritian quits (~euleritia@dynamic-176-000-195-129.176.0.pool.telefonica.de) (Remote host closed the connection) |
| 08:24:52 | → | euleritian joins (~euleritia@dynamic-176-000-195-129.176.0.pool.telefonica.de) |
| 08:25:04 | × | ft quits (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:25:12 | × | euleritian quits (~euleritia@dynamic-176-000-195-129.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 08:32:03 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:35:23 | × | andrei_n quits (~andrei_n@user/andrei-n:62396) (Quit: Leaving) |
| 08:41:37 | × | Square quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 08:44:13 | → | danse-nr3 joins (~danse-nr3@151.57.115.179) |
| 08:47:08 | × | danza quits (~francesco@151.57.115.179) (Ping timeout: 252 seconds) |
| 08:53:23 | → | andrei_n joins (~andrei_n@2001:6a8:3081:6f02:156a:5706:2971:5437) |
| 08:54:31 | → | chele joins (~chele@user/chele) |
| 08:58:01 | × | andrei_n quits (~andrei_n@2001:6a8:3081:6f02:156a:5706:2971:5437) (Changing host) |
| 08:58:01 | → | andrei_n joins (~andrei_n@user/andrei-n:62396) |
| 08:58:19 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:00:17 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 09:02:55 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 09:06:06 | × | CiaoSen quits (~Jura@2a05:5800:2b4:b00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 09:06:14 | × | rosco quits (~rosco@173.150.68.85.rev.sfr.net) (Read error: Connection reset by peer) |
| 09:06:19 | → | Core7740 joins (~rosco@205.86.95.79.rev.sfr.net) |
| 09:06:40 | × | Core7740 quits (~rosco@205.86.95.79.rev.sfr.net) (Read error: Connection reset by peer) |
| 09:06:54 | → | rosco joins (~rosco@173.150.68.85.rev.sfr.net) |
| 09:10:13 | × | xtabentun quits (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:17:33 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:1fbb:a465:b8f0:bb6a) |
| 09:27:17 | × | danse-nr3 quits (~danse-nr3@151.57.115.179) (Ping timeout: 240 seconds) |
| 09:27:49 | × | rosco quits (~rosco@173.150.68.85.rev.sfr.net) (Ping timeout: 246 seconds) |
| 09:28:06 | → | danse-nr3 joins (~danse-nr3@151.57.115.179) |
| 09:29:30 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 09:37:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:49:13 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:51:09 | → | rosco joins (~rosco@2a02-8440-7155-0678-fd99-c8d7-f5f1-3f14.rev.sfr.net) |
| 09:52:16 | → | __monty__ joins (~toonn@user/toonn) |
| 09:53:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 09:54:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 09:58:52 | → | takuan_dozo joins (~takuan@178-116-218-225.access.telenet.be) |
| 09:59:11 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 10:01:36 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 10:07:11 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 10:07:55 | × | rosco quits (~rosco@2a02-8440-7155-0678-fd99-c8d7-f5f1-3f14.rev.sfr.net) (Read error: Connection reset by peer) |
| 10:08:11 | → | rosco joins (~rosco@85.68.150.173) |
| 10:09:35 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 10:15:55 | × | billchenchina quits (~billchenc@103.118.42.229) (Quit: Leaving) |
| 10:16:14 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 10:20:24 | × | andrei_n quits (~andrei_n@user/andrei-n:62396) (Ping timeout: 268 seconds) |
| 10:21:16 | → | emergeavudn joins (~user@75.89.56.218) |
| 10:23:18 | × | emergeavudn quits (~user@75.89.56.218) (Client Quit) |
| 10:24:07 | → | emergeavudn joins (~user@75.89.56.218) |
| 10:24:30 | ← | emergeavudn parts (~user@75.89.56.218) () |
| 10:37:41 | × | malte quits (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 10:37:44 | → | malte_ joins (~malte@mal.tc) |
| 10:37:49 | malte_ | is now known as malte |
| 10:40:33 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:44:23 | → | mreh joins (~matthew@host86-160-168-107.range86-160.btcentralplus.com) |
| 10:50:00 | × | rosco quits (~rosco@85.68.150.173) (Ping timeout: 268 seconds) |
| 10:52:02 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 10:58:47 | × | danse-nr3 quits (~danse-nr3@151.57.115.179) (Ping timeout: 264 seconds) |
| 10:59:03 | → | danse-nr3 joins (~danse-nr3@ba-19-132-56.service.infuturo.it) |
| 10:59:19 | → | andrei_n joins (~andrei_n@2a02:a03f:c091:a800:627b:7802:a18b:6c89) |
| 11:01:45 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 11:05:03 | × | rdcdr_ quits (~rdcdr@97-113-199-193.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 11:05:07 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 11:05:33 | → | rdcdr joins (~rdcdr@user/rdcdr) |
| 11:15:54 | × | danse-nr3 quits (~danse-nr3@ba-19-132-56.service.infuturo.it) (Ping timeout: 268 seconds) |
| 11:16:05 | × | andrei_n quits (~andrei_n@2a02:a03f:c091:a800:627b:7802:a18b:6c89) (Quit: Leaving) |
| 11:16:51 | → | xff0x joins (~xff0x@2405:6580:b080:900:f043:6bfd:fd66:1310) |
| 11:23:54 | → | cfricke joins (~cfricke@user/cfricke) |
| 11:28:47 | × | mreh quits (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 264 seconds) |
| 11:32:35 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 11:33:12 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 11:36:35 | → | mreh joins (~matthew@host86-160-168-107.range86-160.btcentralplus.com) |
| 11:36:50 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 11:42:33 | → | danse-nr3 joins (~danse-nr3@ba-19-132-56.service.infuturo.it) |
| 11:55:19 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 12:00:37 | → | CiaoSen joins (~Jura@2a05:5800:2b4:b00:e6b9:7aff:fe80:3d03) |
| 12:08:29 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 12:09:27 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 12:13:52 | × | mreh quits (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 12:14:40 | → | yin joins (~yin@user/zero) |
| 12:22:27 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:25:31 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 12:27:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:31:12 | → | mreh joins (~matthew@host86-160-168-107.range86-160.btcentralplus.com) |
| 12:31:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:33:19 | → | Square joins (~Square@user/square) |
| 12:42:49 | → | dmj` joins (uid72307@id-72307.hampstead.irccloud.com) |
| 12:43:38 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 12:54:40 | × | mreh quits (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 12:56:17 | × | yin quits (~yin@user/zero) (Ping timeout: 252 seconds) |
| 13:22:43 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 13:28:33 | → | ystael joins (~ystael@user/ystael) |
| 13:35:56 | → | yin joins (~yin@user/zero) |
| 13:41:29 | <yin> | so i have an old project and i want to update my dependencies. what's the most convenient way of doing this? |
| 13:42:47 | <tomsmeding> | yin: `cabal outdated` might get you started |
| 13:42:56 | <tomsmeding> | or `cabal gen-bounds` |
| 13:54:12 | <yin> | ah. i had incompatibilites with ghc version |
| 13:54:17 | <yin> | ty |
| 13:57:20 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 13:58:12 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 13:59:38 | × | danse-nr3 quits (~danse-nr3@ba-19-132-56.service.infuturo.it) (Ping timeout: 268 seconds) |
| 14:07:52 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 14:10:59 | → | danse-nr3 joins (~danse-nr3@ba-19-132-56.service.infuturo.it) |
| 14:13:04 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 14:29:08 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 14:40:14 | → | Guest7677 joins (~user@72.2.12.179) |
| 14:50:49 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 14:51:18 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:58:51 | × | danse-nr3 quits (~danse-nr3@ba-19-132-56.service.infuturo.it) (Ping timeout: 272 seconds) |
| 14:59:46 | → | danse-nr3 joins (~danse-nr3@151.37.135.175) |
| 15:04:30 | mjacob_ | is now known as mjacob |
| 15:05:53 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:11:43 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 15:12:17 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 15:17:08 | × | CiaoSen quits (~Jura@2a05:5800:2b4:b00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 15:24:09 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 15:28:25 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 15:30:26 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 15:32:35 | × | cross quits (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
| 15:34:37 | × | Square quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 15:36:01 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 15:47:20 | → | gmg joins (~user@user/gehmehgeh) |
| 15:47:34 | × | danse-nr3 quits (~danse-nr3@151.37.135.175) (Ping timeout: 246 seconds) |
| 15:55:06 | → | cfricke joins (~cfricke@user/cfricke) |
| 15:58:14 | × | Guest7677 quits (~user@72.2.12.179) (Remote host closed the connection) |
| 16:01:25 | × | dmj` quits (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:05:59 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 16:11:43 | → | rosco joins (~rosco@2a02-8440-b146-661c-0e88-4605-2de5-8141.rev.sfr.net) |
| 16:13:58 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:16:50 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 16:19:11 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 16:20:45 | → | Batzy_ joins (~quassel@user/batzy) |
| 16:24:14 | × | Batzy quits (~quassel@user/batzy) (Ping timeout: 268 seconds) |
| 16:28:52 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 16:30:39 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 16:31:21 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:1fbb:a465:b8f0:bb6a) (Quit: ubert) |
| 16:42:03 | → | joeyadams joins (~joeyadams@38.48.105.67) |
| 17:09:02 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 17:12:49 | × | joeyadams quits (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 17:18:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:30:38 | → | Core3875 joins (~rosco@2a02-8440-b133-217e-4702-1867-7c25-f7bc.rev.sfr.net) |
| 17:30:39 | × | Vajb quits (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 17:31:29 | → | Vajb joins (~Vajb@mobile-access-56736b-219.dhcp.inet.fi) |
| 17:35:09 | × | rosco quits (~rosco@2a02-8440-b146-661c-0e88-4605-2de5-8141.rev.sfr.net) (Ping timeout: 268 seconds) |
| 17:35:22 | → | danse-nr3 joins (~danse-nr3@151.37.135.175) |
| 17:39:15 | × | billchenchina quits (~billchenc@103.152.35.21) (Quit: Leaving) |
| 17:43:33 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:52:10 | × | Vajb quits (~Vajb@mobile-access-56736b-219.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 17:53:05 | → | Vajb joins (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) |
| 17:56:26 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 18:05:22 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 18:08:26 | × | sawilagar quits (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 18:09:04 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
| 18:27:12 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 18:34:36 | → | ft joins (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 18:36:52 | → | TactfulCitrus joins (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
| 18:41:50 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:46:08 | × | Hobbyboy quits (Hobbyboy@hobbyboy.co.uk) (Quit: The BNC has broken!) |
| 18:46:33 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 18:47:38 | → | Hobbyboy joins (Hobbyboy@hobbyboy.co.uk) |
| 18:48:27 | × | danse-nr3 quits (~danse-nr3@151.37.135.175) (Ping timeout: 256 seconds) |
| 18:52:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:56:30 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 18:56:59 | × | xdminsy quits (~xdminsy@117.147.70.212) (Ping timeout: 264 seconds) |
| 18:58:37 | → | xdminsy joins (~xdminsy@117.147.70.212) |
| 19:08:00 | ← | ak-1 parts (~ak-1@149.50.189.144) () |
| 19:08:52 | → | GlenK joins (~glenk@syn-050-089-026-031.res.spectrum.com) |
| 19:10:33 | <GlenK> | hi there. just getting started on this learn you a haskell book. It's telling me I could put "a = 1" in a script. Or I could do "let a = 1" if I'm running ghci. but it seems to work fine either way with ghci. Maybe the text is just a tad outdated? |
| 19:10:43 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:10:48 | <c_wraith> | yes, ghci has been changed quite a lot |
| 19:10:50 | × | xdminsy quits (~xdminsy@117.147.70.212) (Ping timeout: 252 seconds) |
| 19:10:56 | <c_wraith> | you can put in bare declarations now |
| 19:11:02 | <GlenK> | I see |
| 19:11:14 | <GlenK> | think I should try and find a more current text then? |
| 19:11:21 | × | TactfulCitrus quits (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 268 seconds) |
| 19:11:30 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:11:33 | <c_wraith> | that one *is* pretty old now. I don't think it's seen updates in more than 10 years. |
| 19:11:35 | → | anpad joins (~pandeyan@user/anpad) |
| 19:12:02 | <GlenK> | gotcha. thanks |
| 19:12:19 | <c_wraith> | But most criticisms I see of it are more of the form "it needs more exercises". If you're comfortable testing things on your own (which it seems like you are), you can probably still get a decent way with it. |
| 19:15:49 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 19:16:27 | <EvanR> | what would be the more current LYAH |
| 19:16:30 | <EvanR> | thing |
| 19:18:54 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 19:19:36 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:21:46 | → | gmg joins (~user@user/gehmehgeh) |
| 19:22:35 | × | y04nn quits (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 19:22:49 | → | y04nn joins (~username@2a03:1b20:8:f011::e10d) |
| 19:23:49 | <yin> | this one seems popular https://haskellbook.com/ |
| 19:24:09 | <EvanR> | oh yeah he was in this channel for a while |
| 19:24:09 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 19:24:24 | <ncf> | https://en.wikibooks.org/wiki/Haskell |
| 19:24:44 | <EvanR> | oooo wikibooks |
| 19:26:05 | <geekosaur> | @where PiH |
| 19:26:05 | <lambdabot> | "Programming in Haskell" by Graham Hutton in 2007-01-15,2016-09-01 at <http://www.cs.nott.ac.uk/~pszgmh/pih.html> |
| 19:27:28 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:32:05 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 19:33:36 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 19:41:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:44:15 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:47:31 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 19:50:30 | <monochrom> | A decade ago I recommended haskellbook.com. Then I saw one the authors Christopher complaining that people recommend things they haven't read. So I realized I haven't read his book, so I apply his principle and I don't recommend it any more. >:) |
| 19:52:20 | <monochrom> | http://www.vex.net/~trebla/haskell/learn-sources.html have things I have at least took an enough look and can describe to you want they do and don't, so you can decide whether they suit you. |
| 19:55:19 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 256 seconds) |
| 19:56:03 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 19:57:30 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 19:58:17 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 19:58:19 | → | gdl_ joins (~gdl__@151.49.35.217) |
| 20:00:17 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 20:02:45 | <gdl_> | Hi! I'm trying to write a monadic parser with happy using the monadUserState wrapper. I'd like to collect var names during the parsing in a list inside the state monad, and the same time building the parsing tree. All works well but I don't know how to execute the function that modifies the state of the monad and returning the correct object representing the variable declaration. I mean inside the parser rule code. Maybe someone have a hint on this? :) thank |
| 20:02:45 | <gdl_> | you very much |
| 20:04:03 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:04:25 | <gdl_> | (i know how to do the function individually but have no clue how to execute them together inside the parser rule) |
| 20:06:00 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:07:43 | <lxsameer> | hey folks, I have a record like { foo :: !(Maybe Text) } is it possible to pattern match against that maybe when defining a function from that record to other types? |
| 20:08:57 | <ncf> | try it and see? |
| 20:09:03 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 20:10:43 | <lxsameer> | ncf: hmmm like bar { foo = x } = x? |
| 20:11:04 | <lxsameer> | or like bar { foo = Nothing } = x? |
| 20:12:12 | <ncf> | compose whatever syntax you use to match on a record constructor with the syntax for matching on Maybe |
| 20:13:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:15:46 | <lxsameer> | thank you |
| 20:26:13 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 20:26:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:26:57 | <mauke> | gdl_: I've never used happy, but from the manual it seems simple enough |
| 20:27:08 | <mauke> | where are you stuck? do you have an example? |
| 20:43:32 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 20:51:49 | × | michalz quits (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
| 20:52:02 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 20:57:53 | <gdl_> | mauke, https://paste.tomsmeding.com/Y41aLpfN I'd like this to execute, so when the production is triggered addvar is executed and then also the object Assign returned |
| 21:01:07 | → | Batzy joins (~quassel@user/batzy) |
| 21:01:07 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 21:04:12 | × | Batzy_ quits (~quassel@user/batzy) (Ping timeout: 268 seconds) |
| 21:06:55 | <mauke> | gdl_: oh, are you using alex? |
| 21:07:08 | <mauke> | because I don't see monadUserState in happy |
| 21:07:12 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 21:07:42 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:07:50 | <gdl_> | Yes I'm using alex too |
| 21:08:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:09:05 | <mauke> | what is addVar? |
| 21:10:07 | <mauke> | also, why do you need a stateful lexer? |
| 21:10:11 | × | yin quits (~yin@user/zero) (Ping timeout: 252 seconds) |
| 21:10:22 | × | takuan_dozo quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:10:55 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 21:23:23 | → | notzmv joins (~daniel@user/notzmv) |
| 21:26:10 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:36:36 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 21:38:26 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 21:40:29 | → | joeyadams joins (~joeyadams@38.48.105.67) |
| 21:41:07 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 21:46:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:48:34 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:48:45 | → | yin joins (~yin@user/zero) |
| 21:52:05 | × | Batzy quits (~quassel@user/batzy) (Ping timeout: 240 seconds) |
| 21:52:18 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 21:52:42 | <yin> | performance wise can there be any difference between `tail` and `drop 1` ? |
| 21:53:34 | <monochrom> | Probably not noticeable. |
| 21:54:11 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 21:54:40 | <Rembane> | I wonder if they compile to the same thing, especially with -O2. |
| 21:57:50 | <geekosaur> | they can't, can they? `tail` has to throw if it's an empty list, `drop 1` produces `[]` |
| 21:58:19 | <yin> | my thoughts |
| 21:58:44 | <Rembane> | That's true, for some reason I forgot how they differed. |
| 21:58:55 | <yin> | and you cant know at compile time |
| 22:00:11 | <yin> | i guess you could optimize in cases where pattern matching is exhaustive |
| 22:02:25 | × | GlenK quits (~glenk@syn-050-089-026-031.res.spectrum.com) (Ping timeout: 246 seconds) |
| 22:03:47 | → | GlenK joins (~glenk@syn-050-089-026-031.res.spectrum.com) |
| 22:05:08 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-170.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 22:07:46 | <Rembane> | yin: Since I'm curious and confused I wonder: how would exhaustive pattern matching help optimize this? |
| 22:08:10 | <yin> | wait |
| 22:09:31 | <yin> | https://paste.tomsmeding.com/bwoGmazQ |
| 22:10:55 | <yin> | exhaustiveDrop could be rewritten as exhaustiveTail, no? |
| 22:14:14 | <Rembane> | yin: At a glance, yes. |
| 22:14:43 | <yin> | nonExhaustiveDrop is the same, of course |
| 22:15:31 | <Rembane> | Yup, an alias for drop 1. |
| 22:15:56 | <yin> | yes, redundant |
| 22:17:14 | <yin> | well, i guess this whole exercise is redundant |
| 22:17:17 | <yin> | but still |
| 22:17:20 | <yin> | this is what i meant |
| 22:17:56 | <Rembane> | I think it's very clarifying code. So it was good. |
| 22:18:04 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:19:53 | <yin> | a better example would be if the match returned something other than [] i guess |
| 22:20:29 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 22:23:26 | <yin> | so the optimization would be `~(_:xs) = xs` in the second case |
| 22:24:03 | <yin> | making it irrefutable? |
| 22:25:06 | <yin> | unfortunately i can't read compiled code |
| 22:27:12 | <Rembane> | Can you compile it to core or some other IR? |
| 22:28:37 | <geekosaur> | click the "playground" link and add either a `main` or a `module` |
| 22:28:39 | × | acidjnk quits (~acidjnk@p200300d6e714dc62f5676ef887ec870d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 22:29:28 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 22:33:08 | <yin> | like this? https://paste.tomsmeding.com/Dcav2oJo |
| 22:33:54 | <yin> | irrefutableDrop should be just irrefutable but whatever |
| 22:34:26 | <Rembane> | yin: I tried playing around with the optimization levels too and I have a hard time to read -O2 but it looks cool. :D |
| 22:34:51 | × | GlenK quits (~glenk@syn-050-089-026-031.res.spectrum.com) (Ping timeout: 268 seconds) |
| 22:34:52 | → | GlenK_ joins (~glenk@syn-050-089-026-031.res.spectrum.com) |
| 22:35:21 | <geekosaur> | I think it inlines Prelude.drop, which isn't irrefutable because you might pass a negative number |
| 22:35:52 | <yin> | geekosaur: oh that's a good point |
| 22:38:20 | <yin> | the curse of Int |
| 22:39:15 | yin | https://www.youtube.com/watch?v=jFk1qpr1ytk |
| 22:44:05 | <EvanR> | tell ghc I pinky promise not to pass a negative Int |
| 22:44:44 | <EvanR> | (which by murphy's law, at least, would ensure a negative int suddenly gets through when it didn't before) |
| 22:46:49 | × | gdl_ quits (~gdl__@151.49.35.217) (Remote host closed the connection) |
| 22:47:47 | <Rembane> | Pinky promise is to run the argument through abs first, right? |
| 22:48:14 | <yin> | EvanR: `default (Word)` |
| 22:48:35 | × | joeyadams quits (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 22:51:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:58:58 | <geekosaur> | won't work because it insists on an `Int`1 |
| 23:05:00 | <yin> | drop n xs returns the suffix of xs after the first n elements, or [] if n >= length xs. |
| 23:05:30 | <yin> | ok |
| 23:05:40 | <yin> | but i can just use genericDrop |
| 23:06:58 | <yin> | drop ignores negative numbers |
| 23:08:34 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 23:11:11 | × | yin quits (~yin@user/zero) (Ping timeout: 252 seconds) |
| 23:24:18 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:29:18 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 23:36:13 | → | pieguy128 joins (~pieguy128@bas1-quebec14-67-70-102-44.dsl.bell.ca) |
| 23:39:50 | → | pieguy128_ joins (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-105.dsl.bell.ca) |
| 23:40:53 | × | pieguy128 quits (~pieguy128@bas1-quebec14-67-70-102-44.dsl.bell.ca) (Ping timeout: 240 seconds) |
All times are in UTC on 2024-06-04.