Logs: liberachat/#haskell
| 2025-10-08 12:52:46 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-08 12:53:38 | <tomsmeding> | you may need ghc 9.10 or higher to get the lexical profiling backtraces |
| 2025-10-08 12:54:11 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 12:54:30 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 12:55:01 | <tomsmeding> | @tell morj that "join/part only for users that participated recently" is built-in behaviour in weechat in the irc.look.smart_filter* settings |
| 2025-10-08 12:55:02 | <lambdabot> | Consider it noted. |
| 2025-10-08 12:56:06 | <haskellbridge> | <Morj> I really want to know how that at-tell is supposed to look without a bridge |
| 2025-10-08 12:56:15 | <tomsmeding> | oh brainfart |
| 2025-10-08 12:56:19 | <haskellbridge> | <Morj> Thanks for the info tоmsmeding and mаuke |
| 2025-10-08 12:56:33 | <tomsmeding> | that @tell is a lambdabot thing that sends that to you in a private message when you next join on irc |
| 2025-10-08 12:56:34 | <haskellbridge> | <Morj> I did think there already exist some that are reasonable, it's an old protocol |
| 2025-10-08 12:56:41 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 2025-10-08 12:56:58 | <tomsmeding> | I did that without thinking when Morj didn't autocomplete, but that was because you're over the bridge lol |
| 2025-10-08 12:57:32 | <haskellbridge> | <Morj> Lowercase morj is my irc nick, but I only use it from one PC which is not this one |
| 2025-10-08 12:58:00 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 265 seconds) |
| 2025-10-08 12:59:28 | <tomsmeding> | I consider this smart_filter stuff essential to even consider participating in a room like this :p |
| 2025-10-08 12:59:28 | <bwe> | tomsmeding: 9.12.2 |
| 2025-10-08 12:59:34 | <tomsmeding> | bwe: nice |
| 2025-10-08 13:00:11 | <bwe> | tomsmeding: Well, I just eliminated any occurence of last and I am done. That's simpler than restarting repl with profiling options… |
| 2025-10-08 13:00:19 | <tomsmeding> | :) |
| 2025-10-08 13:00:30 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Remote host closed the connection) |
| 2025-10-08 13:00:35 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 13:00:42 | <tomsmeding> | bwe: the low-tech alternative to all this is to add HasCallStack constraints to functions that call `last` |
| 2025-10-08 13:00:58 | <tomsmeding> | https://hackage.haskell.org/package/base-4.21.0.0/docs/GHC-Stack.html#t:CallStack |
| 2025-10-08 13:01:00 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 13:01:03 | <haskellbridge> | <Morj> Btw is there by chance a ghc option that will automatically collect evaluation stack in IO only? |
| 2025-10-08 13:01:26 | <haskellbridge> | <Morj> For now I have a vim macro that will insert HasCallStack everywhere and recompile |
| 2025-10-08 13:01:26 | <tomsmeding> | not that I know of |
| 2025-10-08 13:01:53 | <tomsmeding> | Morj: there is this https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html#cfg-field-profiling-detail |
| 2025-10-08 13:02:28 | <tomsmeding> | but that doesn't have the granularity that you're asking for |
| 2025-10-08 13:03:46 | <haskellbridge> | <Morj> I thought profiling is about execution time, not about error reporting, but it makes sense that annotations can work for both |
| 2025-10-08 13:03:57 | <haskellbridge> | <Morj> Cabal with their docs again :/ |
| 2025-10-08 13:04:00 | <tomsmeding> | HasCallStack is separate from profiling |
| 2025-10-08 13:04:38 | <haskellbridge> | <Morj> I know, I'm talking about error location/backtrace reporting, that's what I'm after |
| 2025-10-08 13:04:45 | <haskellbridge> | <Morj> HasCallStack is location only |
| 2025-10-08 13:04:45 | <tomsmeding> | but yeah the cost-centre annotations for execution time profiling are very nice for error reporting too |
| 2025-10-08 13:04:57 | <tomsmeding> | people realised that and made it work :p |
| 2025-10-08 13:05:17 | <tomsmeding> | in a strict language this is all moot because you have a normal call stack to work from |
| 2025-10-08 13:06:15 | <tomsmeding> | Morj: and HasCallStack is also used for error reports |
| 2025-10-08 13:06:36 | <tomsmeding> | so if you have HasCallStack _and_ profiling, you may get two backtraces for every printed exception :p |
| 2025-10-08 13:07:05 | <tomsmeding> | and those are not necessarily the same |
| 2025-10-08 13:07:09 | × | guest3860 quits (~username@2a04:27c0:0:d::e018) (Ping timeout: 250 seconds) |
| 2025-10-08 13:08:10 | <haskellbridge> | <Morj> I think i misspoke, by annotations way above i meant compiler annotations inserted by profiling flags, not HasCallStack inserted by hand |
| 2025-10-08 13:08:25 | <tomsmeding> | yeah I got that, sorry |
| 2025-10-08 13:08:45 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 2025-10-08 13:08:50 | <tomsmeding> | the terminology is a little ambiguous around this topic |
| 2025-10-08 13:10:38 | → | Googulator77 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 13:10:43 | × | Googulator53 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 13:13:45 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Remote host closed the connection) |
| 2025-10-08 13:15:04 | <tomsmeding> | oh and it's also possible to manually add cost-centre annotations with CCS pragmas |
| 2025-10-08 13:21:01 | → | Googulator76 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 13:21:03 | → | ZLima12_ joins (~zlima12@user/meow/ZLima12) |
| 2025-10-08 13:21:12 | × | Googulator77 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 13:21:35 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 13:23:49 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-10-08 13:24:08 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-10-08 13:28:17 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 13:28:43 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 13:30:16 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 13:30:37 | × | Googulator76 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 13:30:45 | → | Googulator46 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 13:32:46 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 13:33:08 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 13:37:23 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-08 13:38:28 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 13:39:13 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 13:47:23 | → | SlackCoder joins (~SlackCode@208.26.70.132) |
| 2025-10-08 13:53:14 | × | SlackCoder quits (~SlackCode@208.26.70.132) (Quit: Leaving) |
| 2025-10-08 13:54:08 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 13:54:29 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 13:54:43 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 13:55:43 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 13:56:52 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-10-08 13:57:41 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 2025-10-08 14:01:44 | → | leo2007 joins (~leo@user/leo2007) |
| 2025-10-08 14:04:45 | × | leo2007 quits (~leo@user/leo2007) (Client Quit) |
| 2025-10-08 14:14:58 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-10-08 14:19:57 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 14:20:18 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 14:21:54 | Googulator46 | is now known as Googulator |
| 2025-10-08 14:24:28 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 14:25:12 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 14:25:58 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-10-08 14:29:07 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-08 14:36:55 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 14:49:13 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-08 14:49:16 | trickard_ | is now known as trickard |
| 2025-10-08 15:04:55 | → | chenjf joins (~chenjf@104.208.72.114) |
| 2025-10-08 15:09:57 | → | stef204 joins (~stef204@user/stef204) |
| 2025-10-08 15:11:24 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 15:11:38 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 15:13:56 | × | stef204 quits (~stef204@user/stef204) (Client Quit) |
| 2025-10-08 15:14:29 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-08 15:16:59 | × | chenjf quits (~chenjf@104.208.72.114) (Remote host closed the connection) |
| 2025-10-08 15:17:24 | → | chenjf joins (~chenjf@104.208.72.114) |
| 2025-10-08 15:20:05 | × | chenjf quits (~chenjf@104.208.72.114) (Remote host closed the connection) |
| 2025-10-08 15:20:28 | → | chenjf joins (~chenjf@104.208.72.114) |
| 2025-10-08 15:25:37 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 15:25:44 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 15:37:00 | × | chenjf quits (~chenjf@104.208.72.114) (Quit: WeeChat 4.7.1) |
All times are in UTC.