Logs: liberachat/#haskell
| 2025-11-19 19:49:13 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1) |
| 2025-11-19 19:52:05 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-19 19:55:16 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-19 19:55:32 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-19 19:55:32 | ljdarj1 | is now known as ljdarj |
| 2025-11-19 20:05:40 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-19 20:14:15 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-19 20:15:36 | × | Googulator98 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-19 20:15:44 | → | Googulator98 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-19 20:16:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-11-19 20:16:16 | ljdarj1 | is now known as ljdarj |
| 2025-11-19 20:20:45 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-11-19 20:23:41 | × | weary-traveler quits (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-11-19 20:27:51 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-19 20:32:18 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-11-19 20:34:21 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-19 20:34:21 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-19 20:34:22 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-19 20:35:14 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-19 20:36:06 | → | Square2 joins (~Square4@user/square) |
| 2025-11-19 20:39:06 | × | Square3 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-19 20:39:06 | × | petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-11-19 20:42:07 | → | petrichor joins (~jez@user/petrichor) |
| 2025-11-19 20:43:41 | Googulator98 | is now known as Googulator |
| 2025-11-19 20:53:27 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-11-19 20:55:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 21:02:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 21:13:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 21:15:48 | → | Googulator16 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-19 21:16:33 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-19 21:18:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 21:29:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 21:33:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 21:36:17 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-19 21:39:00 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-19 21:41:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 21:44:31 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-19 21:45:51 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-19 21:46:05 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 21:46:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 21:46:52 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-11-19 21:53:07 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-19 21:56:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 21:58:15 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-11-19 22:01:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 22:12:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 22:12:47 | trickard_ | is now known as trickard |
| 2025-11-19 22:14:13 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-11-19 22:14:52 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-19 22:16:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 22:18:37 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-11-19 22:18:50 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-19 22:19:02 | → | trickard joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 22:19:44 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-11-19 22:22:25 | <Square2> | is there some way to test template haskell output except -ddump-splices? Either in ghci or using some "to text" method on a template haskell generator function? |
| 2025-11-19 22:24:59 | Googulator16 | is now known as Googulator |
| 2025-11-19 22:26:47 | <c_wraith> | So you can splice expressions into ghci, like so: |
| 2025-11-19 22:27:05 | <c_wraith> | ghci> $([| 1 |]) |
| 2025-11-19 22:27:05 | <c_wraith> | ---> 1 |
| 2025-11-19 22:27:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 22:27:54 | <c_wraith> | But if you want to introspect further, you can use runIO |
| 2025-11-19 22:28:02 | <c_wraith> | err, runQ |
| 2025-11-19 22:28:04 | <c_wraith> | ghci> runQ [| 1 |] |
| 2025-11-19 22:28:04 | <c_wraith> | LitE (IntegerL 1) |
| 2025-11-19 22:28:39 | <c_wraith> | Between the two of those, your ability to check most stuff should be good |
| 2025-11-19 22:29:31 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-11-19 22:30:59 | <Square2> | ops.. missed this. |
| 2025-11-19 22:31:24 | <Square2> | I resorted to an LLM. 1 out of 4 suggestions actually worked. |
| 2025-11-19 22:31:44 | <Square2> | `dump :: Ppr a => Q a -> IO () ; dump q = putStrLn . pprint =<< runQ q` |
| 2025-11-19 22:32:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-19 22:32:19 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-11-19 22:32:41 | <c_wraith> | You can also introspect the output of a QuasiQuoter by making use of the fact that they're just regular haskell values, and you can use their API: https://hackage-content.haskell.org/package/template-haskell-2.23.0.0/docs/Language-Haskell-TH-Quote.html |
| 2025-11-19 22:36:00 | <Square2> | c_wraith, thanks! |
| 2025-11-19 22:38:51 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-19 22:39:03 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-19 22:42:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 22:47:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-19 22:49:31 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-19 22:58:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 23:00:09 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-19 23:01:43 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-19 23:02:49 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 23:02:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-19 23:13:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 23:16:14 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-19 23:16:52 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-11-19 23:18:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-19 23:22:00 | × | jzargo quits (~jzargo@user/jzargo) (Remote host closed the connection) |
| 2025-11-19 23:29:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 23:32:14 | × | mstksg quits (~jle`@2603:8001:3b00:11:7b1b:9c2a:d864:1c7b) (Ping timeout: 256 seconds) |
| 2025-11-19 23:33:01 | → | jle` joins (~jle`@2603:8001:3b00:11:658b:1126:1485:2a54) |
| 2025-11-19 23:34:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 23:34:35 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-11-19 23:34:35 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-19 23:38:25 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-19 23:38:47 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-19 23:44:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-19 23:51:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-20 00:02:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-20 00:05:35 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.