Newest at the top
| 2025-11-20 16:06:35 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-20 16:05:55 +0100 | qqe | (~qqq@185.54.21.140) |
| 2025-11-20 16:03:35 +0100 | foul_owl | (~kerry@94.156.149.94) (Ping timeout: 250 seconds) |
| 2025-11-20 15:58:37 +0100 | sshine_ | 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 +0100 | SlackCoder | (~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 +0100 | timide | (~timide@user/timide) timide |
| 2025-11-20 15:29:08 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-20 15:28:49 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-20 15:28:05 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-11-20 15:22:35 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-20 15:20:44 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-20 15:20:39 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-20 15:16:28 +0100 | trickard_ | (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 2025-11-20 15:16:14 +0100 | trickard_ | (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-20 15:08:14 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-20 15:06:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-20 15:00:33 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-20 14:55:19 +0100 | trickard_ | (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 2025-11-20 14:54:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 2025-11-20 14:51:27 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-20 14:48:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-20 14:47:57 +0100 | trickard_ | (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-20 14:44:53 +0100 | trickard_ | (~trickard@cpe-95-98-47-163.wireline.com.au) |
| 2025-11-20 14:44:40 +0100 | trickard | (~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-20 14:43:57 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-20 14:43:38 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-20 14:41:54 +0100 | trickard_ | trickard |
| 2025-11-20 14:41:25 +0100 | merijn | (~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 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-20 14:33:56 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-20 14:33:56 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-20 14:33:56 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-20 14:29:24 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-20 14:24:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e) |
| 2025-11-20 14:19:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-20 14:13:52 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-20 14:09:11 +0100 | merijn | (~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 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-11-20 13:50:40 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-20 13:45:17 +0100 | guest0x000f | (~guest0x00@182.253.240.68) (Remote host closed the connection) |
| 2025-11-20 13:41:48 +0100 | guest0x000f | (~guest0x00@182.253.240.68) |
| 2025-11-20 13:39:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |