2024/05/01

Newest at the top

2024-05-02 01:48:11 +0200xff0x(~xff0x@softbank219059019218.bbtec.net)
2024-05-02 01:45:31 +0200xff0x(~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 268 seconds)
2024-05-02 01:39:40 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-02 01:34:30 +0200as_(~as@2800:a4:2f2:ee00:2a7d:f1f0:f562:40ce)
2024-05-02 01:33:17 +0200destituion(~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Ping timeout: 272 seconds)
2024-05-02 01:25:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-02 01:24:30 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 245 seconds)
2024-05-02 01:22:59 +0200aforemny(~aforemny@2001:9e8:6cea:d00:aab5:d1b:ca3e:df36) (Ping timeout: 260 seconds)
2024-05-02 01:22:11 +0200aforemny_(~aforemny@i59F516D1.versanet.de)
2024-05-02 01:17:53 +0200xff0x(~xff0x@softbank219059019218.bbtec.net)
2024-05-02 01:08:30 +0200waldo(~waldo@user/waldo) (Quit: waldo)
2024-05-02 01:06:17 +0200sprout(~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds)
2024-05-02 01:03:48 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-02 00:46:14 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-02 00:44:48 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds)
2024-05-02 00:43:40 +0200Square(~Square@user/square) (Ping timeout: 245 seconds)
2024-05-02 00:38:38 +0200gmg(~user@user/gehmehgeh)
2024-05-02 00:37:50 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-02 00:35:51 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds)
2024-05-02 00:31:31 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: vnskdjkd)
2024-05-02 00:31:05 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:7613:7f5a:3f36:628c)
2024-05-02 00:25:20 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-02 00:22:44 +0200leah2(~leah@vuxu.org)
2024-05-02 00:22:40 +0200off^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-05-02 00:21:16 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-02 00:19:10 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de)
2024-05-02 00:17:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-02 00:17:02 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io)
2024-05-02 00:14:52 +0200leah2(~leah@vuxu.org) (Ping timeout: 268 seconds)
2024-05-02 00:12:29 +0200waldo(~waldo@user/waldo)
2024-05-02 00:02:48 +0200talismanick(~user@2601:644:937c:ed10:536b:7670:fffc:851a)
2024-05-01 23:52:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-01 23:43:49 +0200 <haskellbridge> <s​m> (I couldn't see a lot of source symbols, even when I built for profiling and with that info-tables ghc option)
2024-05-01 23:42:58 +0200 <haskellbridge> <s​m> because ghc-debug-brick looked pretty powerful, even if I couldn't figure out a whole lot
2024-05-01 23:42:21 +0200 <haskellbridge> <s​m> I want to include ghc-debug support, but not by default as it's not yet widely packaged
2024-05-01 23:41:56 +0200acidjnk(~acidjnk@p200300d6e714dc53acbe2cc37902b0bc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-05-01 23:41:33 +0200 <haskellbridge> <s​m> I guess you're right, thank you
2024-05-01 23:41:28 +0200 <tomsmeding> of course you can name this define suggestively, like FLAG_yourthing
2024-05-01 23:41:04 +0200 <tomsmeding> e.g. search for 'if flag(debug)' here https://hackage.haskell.org/package/accelerate-1.3.0.0/accelerate.cabal
2024-05-01 23:40:49 +0200 <c_wraith> sm: I think the typical thing is to put -DFLAGNAME in a cpp-options field when the flag is set
2024-05-01 23:40:18 +0200 <tomsmeding> sm: I don't think so
2024-05-01 23:39:16 +0200ocra8(ocra8@user/ocra8)
2024-05-01 23:36:58 +0200 <haskellbridge> <s​m> I thought so, but can't find it
2024-05-01 23:36:13 +0200 <haskellbridge> <s​m> g'day all. Isn't there a CPP macro for checking the value of a cabal package flag ?
2024-05-01 23:35:58 +0200 <tomsmeding> never mind that haskell notates both with 'forall'
2024-05-01 23:35:48 +0200 <tomsmeding> that's another instance of this idea, except "producer chooses" vs "consumer chooses"
2024-05-01 23:35:26 +0200 <tomsmeding> data Exists f where Exists :: f a -> Exists f
2024-05-01 23:35:17 +0200 <tomsmeding> monochrom: are you teaching existentials in data types?
2024-05-01 23:33:27 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-01 23:21:18 +0200tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds)