2025/11/20

Newest at the top

2025-11-20 16:14:07 +0100trickard_trickard
2025-11-20 16:12:49 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-20 16:11:56 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-11-20 16:11:41 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2025-11-20 16:06:35 +0100Square3(~Square@user/square) Square
2025-11-20 16:05:55 +0100qqe(~qqq@185.54.21.140)
2025-11-20 16:03:35 +0100foul_owl(~kerry@94.156.149.94) (Ping timeout: 250 seconds)
2025-11-20 15:58:37 +0100sshine_sshine
2025-11-20 15:46:27 +0100 <kuribas> yeah, I am setting this from ghci
2025-11-20 15:39:43 +0100 <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 #-})
2025-11-20 15:36:34 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) SlackCoder
2025-11-20 15:34:07 +0100 <merijn> kuribas: I don't remember exactly when and you generally wanna do some fiddling with file naming/output dirs to make them findable
2025-11-20 15:34:01 +0100 <lucabtz> yeah someone mentions -ddump-splices
2025-11-20 15:33:35 +0100 <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
2025-11-20 15:30:17 +0100timide(~timide@user/timide) timide
2025-11-20 15:29:08 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 15:28:49 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 15:28:05 +0100tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-11-20 15:22:35 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-20 15:20:44 +0100Googulator6(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 15:20:39 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 15:16:28 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 15:16:14 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 15:08:14 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-11-20 15:06:58 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-11-20 15:00:33 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-20 14:55:19 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 14:54:43 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)
2025-11-20 14:51:27 +0100spew(~spew@user/spew) spew
2025-11-20 14:48:02 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-20 14:47:57 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 14:44:53 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 14:44:40 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 14:43:57 +0100Googulator6(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 14:43:38 +0100Googulator6(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 14:41:54 +0100trickard_trickard
2025-11-20 14:41:25 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 14:39:32 +0100__monty__(~toonn@user/toonn) toonn
2025-11-20 14:37:33 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-11-20 14:35:19 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-11-20 14:33:56 +0100haritz(~hrtz@user/haritz) haritz
2025-11-20 14:33:56 +0100haritz(~hrtz@140.228.70.141) (Changing host)
2025-11-20 14:33:56 +0100haritz(~hrtz@140.228.70.141)
2025-11-20 14:29:24 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-20 14:24:55 +0100xff0x(~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e)
2025-11-20 14:19:25 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 14:13:52 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-20 14:09:11 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 14:02:19 +0100 <kuribas> tomsmeding: I think dump-splices will do, but thanks!
2025-11-20 13:57:36 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)