Newest at the top
2024-05-02 00:31:31 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: vnskdjkd) |
2024-05-02 00:31:05 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:7613:7f5a:3f36:628c) |
2024-05-02 00:25:20 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-02 00:22:44 +0200 | leah2 | (~leah@vuxu.org) |
2024-05-02 00:22:40 +0200 | off^ | (~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 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) |
2024-05-02 00:17:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-02 00:17:02 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
2024-05-02 00:14:52 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 268 seconds) |
2024-05-02 00:12:29 +0200 | waldo | (~waldo@user/waldo) |
2024-05-02 00:02:48 +0200 | talismanick | (~user@2601:644:937c:ed10:536b:7670:fffc:851a) |
2024-05-01 23:52:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-01 23:43:49 +0200 | <haskellbridge> | <sm> (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> | <sm> 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> | <sm> I want to include ghc-debug support, but not by default as it's not yet widely packaged |
2024-05-01 23:41:56 +0200 | acidjnk | (~acidjnk@p200300d6e714dc53acbe2cc37902b0bc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-05-01 23:41:33 +0200 | <haskellbridge> | <sm> 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 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-01 23:36:58 +0200 | <haskellbridge> | <sm> I thought so, but can't find it |
2024-05-01 23:36:13 +0200 | <haskellbridge> | <sm> 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 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-05-01 23:21:18 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
2024-05-01 23:19:42 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::9c1d) |
2024-05-01 23:16:49 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-01 23:16:39 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-01 23:14:18 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-01 23:09:31 +0200 | hseg | (~gesh@77.137.75.224) (Ping timeout: 260 seconds) |
2024-05-01 23:07:05 +0200 | xdminsy | (~xdminsy@117.147.70.233) |
2024-05-01 23:00:14 +0200 | yin | (~yin@user/zero) |
2024-05-01 22:54:21 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
2024-05-01 22:51:28 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
2024-05-01 22:49:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-01 22:47:35 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
2024-05-01 22:47:08 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Read error: Connection reset by peer) |
2024-05-01 22:46:58 +0200 | xdminsy | (~xdminsy@117.147.70.233) (Read error: Connection reset by peer) |
2024-05-01 22:46:58 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-01 22:46:41 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-01 22:43:40 +0200 | Guest67 | (~Guest67@129.170.197.127) (Ping timeout: 250 seconds) |
2024-05-01 22:42:12 +0200 | Square | (~Square@user/square) |
2024-05-01 22:39:34 +0200 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-01 22:39:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |