Logs on 2025-11-20 (liberachat/#haskell)
| 00:02:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:05:35 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:05:48 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 00:07:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:07:47 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 00:09:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:13:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:14:49 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:15:50 | × | Googulator quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 00:15:53 | → | Googulator32 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 00:19:09 | × | acidjnk quits (~acidjnk@p200300d6e7171905a0f67e02758d7dec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:23:19 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 255 seconds) |
| 00:24:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:29:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:35:37 | trickard_ | is now known as trickard |
| 00:39:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:40:20 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 00:44:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:45:19 | → | acidjnk joins (~acidjnk@p200300d6e7171953e8b0aac5d1f9ff99.dip0.t-ipconnect.de) |
| 00:48:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:a3f:66bc:6216:f05b) (Ping timeout: 264 seconds) |
| 00:52:19 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:53:48 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 265 seconds) |
| 00:55:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:58:09 | × | acidjnk quits (~acidjnk@p200300d6e7171953e8b0aac5d1f9ff99.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:58:13 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 01:00:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:02:25 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 245 seconds) |
| 01:02:55 | → | olivial joins (~benjaminl@user/benjaminl) |
| 01:07:57 | → | omidmash8 joins (~omidmash@user/omidmash) |
| 01:08:17 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 01:08:38 | → | EvanR joins (~EvanR@user/evanr) |
| 01:09:40 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 255 seconds) |
| 01:09:40 | omidmash8 | is now known as omidmash |
| 01:10:31 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 01:10:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:15:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:15:45 | × | Googulator32 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 01:15:51 | → | Googulator75 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 01:17:45 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 01:18:28 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 01:19:30 | → | trickard__ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 01:21:05 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 01:21:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 01:21:44 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:23:25 | × | trickard__ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:23:32 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 01:26:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:30:27 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 01:30:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:34:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 01:41:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:41:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 01:42:21 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:46:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:47:25 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 01:48:06 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 01:51:22 | <EvanR> | tomsmeding, two resources with their own individual lock, is beyond the pale. Jumps the shark. |
| 01:53:01 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 01:57:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:02:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:02:11 | → | Shark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 02:09:23 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:12:06 | → | Dhark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 02:12:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:15:08 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 256 seconds) |
| 02:15:10 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 02:15:32 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 02:15:43 | × | Googulator75 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 02:15:51 | → | Googulator75 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 02:17:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:22:59 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 02:23:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:23:23 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 02:28:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:32:11 | × | jreicher quits (~user@user/jreicher) (Quit: brb) |
| 02:32:51 | × | ian_ quits (~ian@81.2.99.210) (Ping timeout: 244 seconds) |
| 02:33:09 | → | Igloo joins (~ian@81.2.99.210) |
| 02:33:29 | → | jreicher joins (~user@user/jreicher) |
| 02:34:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:42:46 | × | annamalai quits (~annamalai@157.33.241.221) (Ping timeout: 244 seconds) |
| 02:44:32 | → | trickard___ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 02:45:04 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 02:46:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:50:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:59:58 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 03:00:41 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 03:01:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:03:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:06:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:07:23 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 03:13:55 | → | mange joins (~mange@user/mange) |
| 03:15:42 | → | Googulator67 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 03:16:00 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:16:10 | × | Googulator75 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 03:16:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:20:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 03:21:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 03:28:49 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 03:29:44 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 03:30:12 | → | vardhan joins (~vardhan@122.172.81.59) |
| 03:32:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:37:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:38:32 | → | aditya_an1l joins (~aditya_an@user/aditya-an1l:63825) |
| 03:41:34 | → | annamalai joins (~annamalai@157.32.219.191) |
| 03:47:15 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 244 seconds) |
| 03:47:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:48:50 | trickard___ | is now known as trickard |
| 03:49:14 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 03:52:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:01:49 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 04:03:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:04:27 | → | Square3 joins (~Square@user/square) |
| 04:06:17 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 04:08:57 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:09:10 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 04:09:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:12:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 04:15:07 | → | superstar64 joins (~superstar@2600:1700:57e0:e3c0::49) |
| 04:17:28 | × | trickard_ quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:19:34 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 04:21:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:21:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 04:23:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:26:01 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 04:26:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:34:21 | × | Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 04:36:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:38:49 | trickard_ | is now known as trickard |
| 04:41:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:50:32 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 04:52:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:53:41 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 04:54:59 | → | omidmash joins (~omidmash@user/omidmash) |
| 04:57:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:07:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:07:50 | × | bggd quits (~bgg@2a01:e0a:819:1510:5811:6b25:6842:9300) (Quit: std::move) |
| 05:12:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:15:46 | → | Googulator98 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 05:15:46 | × | Googulator67 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 05:18:41 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 264 seconds) |
| 05:21:04 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 05:21:59 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 05:23:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:25:16 | × | superstar64 quits (~superstar@2600:1700:57e0:e3c0::49) (Quit: Leaving) |
| 05:28:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:38:03 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 05:38:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:39:38 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:39:52 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 05:45:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:50:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 05:51:14 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 05:56:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:01:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:12:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:14:36 | → | michalz joins (~michalz@185.246.207.197) |
| 06:16:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:18:14 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:23:17 | × | vardhan quits (~vardhan@122.172.81.59) (Ping timeout: 244 seconds) |
| 06:25:14 | → | vardhan joins (~vardhan@122.172.85.87) |
| 06:26:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:30:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:41:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:46:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:56:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:01:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:02:29 | × | Square3 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 07:09:52 | → | chele joins (~chele@user/chele) |
| 07:12:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:13:40 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 07:16:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:27:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:32:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:43:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:48:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:48:56 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 07:50:23 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 07:57:40 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 07:58:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:00:22 | → | gf33 joins (~gf3@user/gf3) |
| 08:01:31 | × | gf3 quits (~gf3@user/gf3) (Ping timeout: 264 seconds) |
| 08:01:31 | gf33 | is now known as gf3 |
| 08:03:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:10:50 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:14:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:15:49 | → | Googulator59 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 08:15:49 | × | Googulator98 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 08:19:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:22:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:27:37 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 08:31:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:33:20 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 08:33:46 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 08:36:24 | trickard_ | is now known as trickard |
| 08:36:30 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 08:37:04 | × | Clint quits (~Clint@user/clint) (Ping timeout: 256 seconds) |
| 08:37:43 | → | Clint joins (~Clint@user/clint) |
| 08:40:04 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 08:41:02 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 256 seconds) |
| 08:41:13 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:41:27 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 08:43:13 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 08:48:03 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 08:54:03 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:58:26 | → | tromp joins (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 09:00:08 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:02:22 | → | gmg joins (~user@user/gehmehgeh) |
| 09:04:31 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 09:04:52 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 09:07:31 | × | APic quits (apic@apic.name) (Ping timeout: 264 seconds) |
| 09:11:36 | → | merijn joins (~merijn@77.242.116.146) |
| 09:12:15 | × | AlexNoo quits (~AlexNoo@178.34.162.20) (Quit: Leaving) |
| 09:12:37 | → | AlexNoo joins (~AlexNoo@178.34.162.20) |
| 09:15:36 | × | Googulator59 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 09:15:43 | → | Googulator59 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 09:19:15 | → | acidjnk joins (~acidjnk@p54ad5278.dip0.t-ipconnect.de) |
| 09:26:03 | × | trickard_ quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:26:16 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 09:37:20 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 09:39:24 | trickard_ | is now known as trickard |
| 09:49:15 | → | merijn joins (~merijn@77.242.116.146) |
| 09:50:52 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:51:06 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 09:56:06 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:59:30 | → | APic joins (apic@apic.name) |
| 10:03:07 | × | trickard_ quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:03:21 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 10:03:54 | → | merijn joins (~merijn@77.242.116.146) |
| 10:16:59 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 10:20:42 | → | Googulator80 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 10:20:48 | × | Googulator59 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 10:22:02 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 10:29:35 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:40:16 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 10:44:15 | × | trickard_ quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:44:29 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 11:00:24 | → | __monty__ joins (~toonn@user/toonn) |
| 11:03:17 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 11:03:33 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:13:32 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 11:14:29 | <kuribas> | Can I inspect TH generated code? |
| 11:14:30 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:15:03 | <kuribas> | I am getting an error about ambiguous fields when using duplicated records in a TH function. |
| 11:16:25 | <kuribas> | I don't know which of the code generates this. |
| 11:19:50 | trickard_ | is now known as trickard |
| 11:20:46 | → | Googulator6 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 11:20:47 | × | Googulator80 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 11:22:10 | → | tromp joins (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 11:25:17 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:25:30 | → | trickard joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 11:29:05 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 11:32:29 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 264 seconds) |
| 11:35:14 | <__monty__> | kuribas: -ddump-splices maybe? |
| 11:35:54 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 11:39:19 | × | deptype_ quits (~deptype@124.123.133.153) (Ping timeout: 264 seconds) |
| 11:40:22 | → | deptype joins (~deptype@124.123.133.153) |
| 11:40:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 11:43:40 | → | merijn joins (~merijn@77.242.116.146) |
| 11:50:07 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 12:01:39 | → | merijn joins (~merijn@77.242.116.146) |
| 12:04:20 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:04:34 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 12:06:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 12:18:32 | → | merijn joins (~merijn@77.242.116.146) |
| 12:22:04 | <tomsmeding> | kuribas: see also the conversation before yours https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1700223#trid1700223 |
| 12:23:23 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 12:34:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:34:26 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 12:34:42 | → | merijn joins (~merijn@77.242.116.146) |
| 12:35:05 | → | gmg joins (~user@user/gehmehgeh) |
| 12:39:00 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 12:41:48 | → | guest0x000f joins (~guest0x00@182.253.240.68) |
| 12:45:17 | × | guest0x000f quits (~guest0x00@182.253.240.68) (Remote host closed the connection) |
| 12:50:40 | → | merijn joins (~merijn@77.242.116.146) |
| 12:57:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 13:02:19 | <kuribas> | tomsmeding: I think dump-splices will do, but thanks! |
| 13:09:11 | → | merijn joins (~merijn@77.242.116.146) |
| 13:13:52 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 13:19:25 | → | merijn joins (~merijn@77.242.116.146) |
| 13:24:55 | → | xff0x joins (~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e) |
| 13:29:24 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 13:33:56 | → | haritz joins (~hrtz@140.228.70.141) |
| 13:33:56 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 13:33:56 | → | haritz joins (~hrtz@user/haritz) |
| 13:35:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 13:37:33 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:39:32 | → | __monty__ joins (~toonn@user/toonn) |
| 13:41:25 | → | merijn joins (~merijn@77.242.116.146) |
| 13:41:54 | trickard_ | is now known as trickard |
| 13:43:38 | × | Googulator6 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 13:43:57 | → | Googulator6 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 13:44:40 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:44:53 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 13:47:57 | × | trickard_ quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:48:02 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:51:27 | → | spew joins (~spew@user/spew) |
| 13:54:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 13:55:19 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 14:00:33 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 14:06:58 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:08:14 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 14:16:14 | × | trickard_ quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:16:28 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 14:20:39 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 14:20:44 | × | Googulator6 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 14:22:35 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 14:28:05 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 14:28:49 | × | Googulator84 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 14:29:08 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 14:30:17 | → | timide joins (~timide@user/timide) |
| 14:33:35 | <merijn> | kuribas: I dunno if someone answer you already while I was disconnected, but GHC has a flag to write out all generated splices to files |
| 14:34:01 | <lucabtz> | yeah someone mentions -ddump-splices |
| 14:34:07 | <merijn> | kuribas: I don't remember exactly when and you generally wanna do some fiddling with file naming/output dirs to make them findable |
| 14:36:34 | → | SlackCoder joins (~SlackCode@remote.nationalgallery.org.ky) |
| 14:39:43 | <tomsmeding> | if you just pass -ddump-splices they get written to stderr, which works fine if you apply it to just one file (hint: {-# OPTIONS -ddump-splices #-}) |
| 14:46:27 | <kuribas> | yeah, I am setting this from ghci |
| 14:58:37 | sshine_ | is now known as sshine |
| 15:03:35 | × | foul_owl quits (~kerry@94.156.149.94) (Ping timeout: 250 seconds) |
| 15:05:55 | → | qqe joins (~qqq@185.54.21.140) |
| 15:06:35 | → | Square3 joins (~Square@user/square) |
| 15:11:41 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 15:11:56 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 15:12:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:14:07 | trickard_ | is now known as trickard |
| 15:17:01 | <yin> | Learning about FRP and understanding the problam with using Monad in its context, I ask if Selective Applicative offers useful expressiveness without the downsides |
| 15:18:05 | → | foul_owl joins (~kerry@94.156.149.97) |
| 15:18:55 | <yin> | (I'm also just learning about Selective Applicatives) |
| 15:19:34 | Xe_ | is now known as Xe |
| 15:24:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 15:24:45 | → | tromp joins (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 15:26:59 | → | merijn joins (~merijn@77.242.116.146) |
| 15:53:28 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds) |
| 15:55:58 | × | merijn quits (~merijn@77.242.116.146) (Quit: Reconnecting) |
| 15:56:13 | → | merijn joins (~merijn@77.242.116.146) |
| 15:59:28 | × | SlackCoder quits (~SlackCode@remote.nationalgallery.org.ky) (Ping timeout: 244 seconds) |
| 16:00:44 | → | SlackCoder joins (~SlackCode@remote.nationalgallery.org.ky) |
| 16:05:13 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:05:27 | → | trickard_ joins (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 16:05:52 | × | Googulator84 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 16:06:09 | → | Googulator84 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 16:06:22 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:09:33 | × | Square3 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 16:12:58 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 16:29:44 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 16:30:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 16:31:04 | Lord_of_Life_ | is now known as Lord_of_Life |
| 16:31:05 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 16:31:59 | <yin> | I'm gathering yes, but limited |
| 16:38:28 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 16:44:19 | <kuribas> | Is this ambiguous? ((Database.MySQL.Hasqlator.Typed.arg . (ld_id :: LdSiteGroupXLdSiteFields -> GHC.Word.Word64)) `Database.MySQL.Hasqlator.Typed.into` F.ld_id) |
| 16:44:33 | <kuribas> | if F.ld_id is a duplicate record field? |
| 16:44:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 16:45:05 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 264 seconds) |
| 16:46:15 | <kuribas> | Since it could infer ldSiteGroupXLdSiteFields ? |
| 16:49:36 | <sam113101> | how can I do that "fnName (x:_) = access the full list here" |
| 16:53:17 | <Leary> | sam113101: `fnName xs@(x:_) = ... xs ...` |
| 16:54:26 | <kuribas> | Do I need to replace ld_id with a lambda? |
| 16:56:01 | × | vardhan quits (~vardhan@122.172.85.87) (Ping timeout: 255 seconds) |
| 16:56:06 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:8999:baad:b69b:8c3e) |
| 16:56:06 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:8999:baad:b69b:8c3e) (Changing host) |
| 16:56:06 | → | arandombit joins (~arandombi@user/arandombit) |
| 16:57:43 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 16:57:46 | trickard_ | is now known as trickard |
| 17:03:06 | × | Googulator84 quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 17:03:22 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 17:04:35 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 17:04:50 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 17:07:00 | × | jj quits (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) (Ping timeout: 245 seconds) |
| 17:07:12 | → | OWS joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 17:07:25 | → | statusbot3 joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 17:07:29 | → | Pixi` joins (~Pixi@user/pixi) |
| 17:07:49 | → | codolio joins (~dolio@130.44.140.168) |
| 17:07:54 | → | natto- joins (~natto@129.154.243.159) |
| 17:08:07 | × | ystael_ quits (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 17:08:07 | × | shr\ke quits (~shrike@user/shrke:31298) (Ping timeout: 264 seconds) |
| 17:08:08 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 17:08:08 | × | natto17 quits (~natto@129.154.243.159) (Read error: Connection reset by peer) |
| 17:08:12 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Ping timeout: 256 seconds) |
| 17:08:13 | × | down200 quits (~down200@shell.lug.mtu.edu) (Read error: Connection reset by peer) |
| 17:08:24 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 252 seconds) |
| 17:08:32 | → | jj joins (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) |
| 17:08:45 | → | mhatta_ joins (~mhatta@www21123ui.sakura.ne.jp) |
| 17:08:46 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Ping timeout: 256 seconds) |
| 17:08:54 | × | qqe quits (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 17:09:02 | → | shr\ke joins (~shrike@user/paxhumana) |
| 17:09:02 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 17:09:02 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 17:09:10 | × | divya quits (divya@140.238.251.170) (Ping timeout: 265 seconds) |
| 17:09:40 | <sam113101> | alright I'm stuck |
| 17:09:45 | → | ystael joins (~ystael@user/ystael) |
| 17:09:56 | → | divya joins (divya@140.238.251.170) |
| 17:10:01 | <sam113101> | Parse error: module header, import declaration |
| 17:10:03 | <sam113101> | or top-level declaration expected. |
| 17:10:05 | <sam113101> | what's that lol |
| 17:10:05 | → | aditya_an1l joins (~aditya_an@user/aditya-an1l:63825) |
| 17:10:11 | → | Xe_ joins (~Xe@perl/impostor/xe) |
| 17:10:12 | → | j1n37 joins (~j1n37@user/j1n37) |
| 17:10:31 | × | Dhark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 264 seconds) |
| 17:10:31 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 17:10:34 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 17:10:43 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 17:10:51 | <geekosaur> | what do you have? |
| 17:10:54 | <geekosaur> | @where paste |
| 17:10:54 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 17:10:55 | → | synchrom1 joins (~john@2406:5a00:2412:2c00:394c:fa0b:5fac:c256) |
| 17:10:57 | × | synchromesh quits (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) (Read error: Connection reset by peer) |
| 17:11:07 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 264 seconds) |
| 17:11:07 | × | tessier_ quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 264 seconds) |
| 17:11:10 | × | Googulator84 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 17:11:29 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 17:11:30 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 17:11:43 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 17:12:04 | <sam113101> | https://paste.tomsmeding.com/BaeblCYG |
| 17:12:22 | <geekosaur> | not that I'll be able to hep you but I have to run; hopefully someone else is around, but they'll need to see that as well. The whole file, please. |
| 17:12:26 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 17:12:55 | <geekosaur> | that last line is the problem |
| 17:13:27 | <geekosaur> | compiled Haskell is like C or Java, everything must be in a function or be a declaration, and the stuff you want to actually run must be in a function named main |
| 17:14:24 | <sam113101> | thanks |
| 17:15:59 | <fgarcia> | you can prefix the line with 'main = ' |
| 17:16:29 | <fgarcia> | for multiple lines, it can instead be 'main = do' with the lines under that |
| 17:18:11 | <sam113101> | do I absolutely need to write the types down? |
| 17:19:10 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:19:40 | → | poscat0x04 joins (~poscat@user/poscat) |
| 17:21:14 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 17:22:45 | <chromoblob> | no, not absolutely, though it may help |
| 17:23:01 | <mauke> | in most cases types can be inferred automatically |
| 17:23:24 | <mauke> | but top-level type declarations can help the human reader (i.e. me) figure out what's going on |
| 17:23:45 | <mauke> | they also help the type checker produce better error messages when something goes wrong |
| 17:23:51 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 17:24:19 | <chromoblob> | there was also "monomorphism restriction" thingy, or got it changed in new GHC versions? |
| 17:24:31 | <probie> | sam113101: In most cases you don't _need_ to, but it's generally a good idea. However with the code you've posted, you should probably write one for `nextCollatz` (if that's what you're still looking at) |
| 17:24:35 | <mauke> | that's still a thing |
| 17:25:16 | <mauke> | MR doesn't apply to this code, though |
| 17:28:53 | <fgarcia> | oh, there are times when i have a function and ghci gets confused with the typing. that is what mandates the signature to me. though i also have warnings i have been ignoring too hehe |
| 17:30:40 | <fgarcia> | other times if i write multiple functions without signatures and am trying to figure out why the type checker is mad, adding signatures will help narrow down the exact line causing ghc's wrath |
| 17:33:38 | <fgarcia> | i like it though. ghc can be better at figuring out the types than i am. over half the time i will add the inferences to my source |
| 17:34:46 | Googulator84 | is now known as Googulator |
| 17:35:18 | → | jzargo joins (~jzargo@user/jzargo) |
| 17:36:07 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 17:39:24 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:48:11 | × | annamalai quits (~annamalai@157.32.219.191) (Read error: Connection reset by peer) |
| 17:48:25 | → | annamalai joins (~annamalai@2409:4042:4e39:7842::9e0a:bf0a) |
| 17:51:44 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 18:06:20 | ← | SlackCoder parts (~SlackCode@remote.nationalgallery.org.ky) (Leaving) |
| 18:07:52 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 18:08:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:08:11 | → | Googulator joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 18:09:43 | → | trickard___ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 18:09:49 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 18:13:28 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 18:13:35 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:14:56 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 18:17:26 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 18:18:22 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:26:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 18:32:18 | → | Square3 joins (~Square@user/square) |
| 18:38:24 | → | Pozyomka joins (~pyon@user/pyon) |
| 18:39:19 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 18:42:00 | × | acidjnk quits (~acidjnk@p54ad5278.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 18:42:40 | → | acidjnk joins (~acidjnk@p200300d6e71719764cede409c055dd1e.dip0.t-ipconnect.de) |
| 18:46:28 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 18:48:05 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 18:58:13 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Ping timeout: 264 seconds) |
| 19:10:46 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 19:14:38 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 19:18:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:18:58 | → | Nachtgespenst joins (~user@user/siracusa) |
| 19:24:01 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:29:39 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 19:30:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:46:04 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 19:50:50 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 20:03:45 | <[exa]> | chromoblob: pls act https://github.com/vim/vim/pull/18776 |
| 20:22:06 | <mauke> | wtf is hsError |
| 20:22:12 | <mauke> | is that even defined anywhere? |
| 20:25:59 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 20:29:10 | × | myme quits (~myme@2a01:799:d5e:5f00:bda5:94b2:bf90:135b) (Ping timeout: 246 seconds) |
| 20:30:28 | → | myme joins (~myme@2a01:799:d5e:5f00:6de6:8396:5003:6575) |
| 20:31:34 | OWS | is now known as Shark8 |
| 20:33:12 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 20:36:16 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 20:38:26 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) |
| 20:41:58 | × | trickard___ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:42:12 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 20:56:24 | × | Googulator quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 20:56:42 | → | Googulator joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 20:57:06 | <[exa]> | mauke: where did you spot that? (I think that's some dark part of RTS no?) |
| 20:58:31 | <mauke> | https://github.com/vim/vim/pull/18776/files#diff-a259ffdb52394665fa95128d84680db73aa50c75a2863c14219d26a4d803740cL179 |
| 20:59:28 | <[exa]> | ahhhhhhhh |
| 20:59:40 | <[exa]> | some random internal vim label for something that should be highlighted |
| 21:00:17 | <mauke> | hsError is not an internal vim thing |
| 21:00:50 | <tomsmeding> | interesting, hsError is not linked to anything in that file |
| 21:01:47 | <[exa]> | yeah it's not really used (or generated) |
| 21:01:54 | <[exa]> | they only have cError |
| 21:02:40 | <[exa]> | I guess we can do another PR to remove these? |
| 21:02:43 | <[exa]> | :D |
| 21:03:09 | <tomsmeding> | does it matter? |
| 21:03:51 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 21:05:39 | <tomsmeding> | (I ask because there's probably people that have bound hsError to something in their config files; editors mucking around with the built-in syntax files for no good reason is annoying because every detail of that file is public API and thus breaks someone somewhere) |
| 21:06:12 | <tomsmeding> | I've had to fix the highlighting of my buftabs in vim twice already because something changed in the syntax class assignment for them |
| 21:06:45 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 21:06:45 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 21:07:10 | <mauke> | counterpoint: none of that file is public API |
| 21:07:20 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 21:07:28 | → | gmg joins (~user@user/gehmehgeh) |
| 21:07:30 | <tomsmeding> | everything is because everything is in the global namespace |
| 21:07:44 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 21:07:44 | ljdarj1 | is now known as ljdarj |
| 21:07:45 | <tomsmeding> | if a behaviour can be depended upon, it will be depended upon by someone |
| 21:07:59 | <tomsmeding> | bugs need to be fixed, but if it works, please don't touch it :p |
| 21:09:12 | × | williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
| 21:09:39 | <mauke> | the global namespace is not public |
| 21:10:12 | <[exa]> | how does one actually trigger this? it says "C comment error" but that doesn't seem to get triggered by any combo of /*/*/ I'm trying |
| 21:10:49 | <mauke> | define "trigger" |
| 21:10:53 | <mauke> | what do you expect to see? |
| 21:14:10 | <[exa]> | ah ok, `:hi hsError guibg=red` and then `#if/*/*` on a line actually shows this |
| 21:14:56 | <[exa]> | mauke: now I have seen the hsError :) |
| 21:15:06 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 21:16:57 | → | williu5 joins (~williu5@user/williu5) |
| 21:17:29 | [exa] | -> afk |
| 21:18:04 | trickard_ | is now known as trickard |
| 21:18:28 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 21:19:07 | × | williu5 quits (~williu5@user/williu5) (Client Quit) |
| 21:20:41 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 21:20:47 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 21:22:17 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 21:22:17 | ljdarj1 | is now known as ljdarj |
| 21:23:19 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 21:25:07 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Client Quit) |
| 21:25:25 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 21:32:28 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) (Ping timeout: 264 seconds) |
| 21:34:16 | → | williu5 joins (~williu5@user/williu5) |
| 21:50:06 | → | tromp joins (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 21:51:02 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 21:51:10 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 21:53:03 | → | Square2 joins (~Square4@user/square) |
| 21:55:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 21:56:07 | × | Square3 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 22:01:01 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 22:04:40 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:07:52 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 22:20:45 | → | Googulator2 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 22:20:45 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 22:25:16 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 22:34:59 | → | jreicher joins (~user@user/jreicher) |
| 22:36:41 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:36:55 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 22:38:52 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 22:39:01 | → | divlamir joins (~divlamir@user/divlamir) |
| 22:39:52 | → | haritz joins (~hrtz@140.228.70.141) |
| 22:39:53 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 22:39:53 | → | haritz joins (~hrtz@user/haritz) |
| 22:40:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:46:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:51:20 | → | oats joins (~oats@user/oats) |
| 22:54:09 | trickard_ | is now known as trickard |
| 22:58:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:02:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:06:14 | × | xff0x quits (~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e) (Ping timeout: 260 seconds) |
| 23:07:57 | × | williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 23:09:39 | Pixi` | is now known as Pixi |
| 23:10:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:13:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:17:00 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:18:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:19:29 | → | xff0x joins (~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e) |
| 23:20:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 23:20:47 | × | Googulator2 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 23:20:47 | → | Googulator87 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 23:24:26 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 23:28:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:30:44 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:33:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:37:39 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 23:42:45 | → | vardhan joins (~vardhan@122.172.85.147) |
| 23:44:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:49:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:53:23 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 23:54:48 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 23:55:52 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 23:57:12 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 23:57:12 | ChanServ | sets mode +v haskellbridge |
All times are in UTC on 2025-11-20.