Newest at the top
| 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) |
| 2024-05-01 22:36:54 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-01 22:31:27 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-05-01 22:28:22 +0200 | k`` | (~k``@152.1.137.158) (Remote host closed the connection) |
| 2024-05-01 22:25:21 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-05-01 22:23:01 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-05-01 22:23:01 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-05-01 22:23:01 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-05-01 22:20:23 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2024-05-01 22:16:24 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-01 22:16:01 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-05-01 22:15:26 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:d999:72f4:b788:a2bb) |
| 2024-05-01 22:15:08 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:627d:73c1:73b3:2561) (Quit: Ping timeout (120 seconds)) |
| 2024-05-01 22:13:27 +0200 | <monochrom> | (OK I am not teaching rank-2 types yet, so "caller chooses" has sufficed so far.) |