Newest at the top
2024-10-27 14:23:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 14:21:55 +0100 | Guest31 | (~Guest31@130.226.157.34) (Quit: Client closed) |
2024-10-27 14:20:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 14:19:52 +0100 | euleritian | (~euleritia@176.6.138.202) (Read error: Connection reset by peer) |
2024-10-27 14:12:50 +0100 | euleritian | (~euleritia@176.6.138.202) |
2024-10-27 14:12:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 14:09:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-10-27 14:07:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 14:06:34 +0100 | michalz | (~michalz@185.246.207.217) |
2024-10-27 14:05:06 +0100 | Everything | (~Everythin@178-133-204-231.mobile.vf-ua.net) Everything |
2024-10-27 14:04:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 13:57:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 13:53:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-27 13:50:47 +0100 | <haskellbridge> | <hellwolf> I would trace into cabel code directly. I did a quick search, nothing obvious came out, which leads me to believe that the whole freeze file syntax could be rather ad-hoc. But don't quote me on that. |
2024-10-27 13:49:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 13:46:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-27 13:42:23 +0100 | <lxsameer> | tomsmeding: cheers |
2024-10-27 13:42:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 13:41:45 +0100 | <tomsmeding> | https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html |
2024-10-27 13:41:35 +0100 | <tomsmeding> | I don't think there's much more than that |
2024-10-27 13:41:29 +0100 | <tomsmeding> | there is the cabal user guide :p |
2024-10-27 13:41:27 +0100 | <tomsmeding> | ¯\_(ツ)_/¯ |
2024-10-27 13:41:22 +0100 | <lxsameer> | tomsmeding: so is there any RFC for cabal.project ? |
2024-10-27 13:40:35 +0100 | <tomsmeding> | it's the exact same as a cabal.project file |
2024-10-27 13:40:25 +0100 | <lxsameer> | is there any spec or RFC for cabal's freeze file? |
2024-10-27 13:39:29 +0100 | <tomsmeding> | perhaps that's a useful keyword to search on? |
2024-10-27 13:39:16 +0100 | <tomsmeding> | mreh: dunno, but I recall that if you don't set -fprof-auto there are very few cost centres; and you can add your own cost centres with a CCS pragma |
2024-10-27 13:38:41 +0100 | <haskellbridge> | <hellwolf> yea, that type level programming can be the daunting task... I have grappled with them lately |
2024-10-27 13:38:31 +0100 | <tomsmeding> | i.e. try to write your program using `GHC.TypeLits.symbolSing @"0xdeadbeef"` |
2024-10-27 13:38:25 +0100 | <mreh> | should I enable -fprof-auto-calls maybe? |
2024-10-27 13:37:57 +0100 | <tomsmeding> | once you have that, OverloadedLabels just gives you the neat # syntax :p |
2024-10-27 13:37:44 +0100 | <tomsmeding> | you'd first have to program all your functionality that you want to happen on the symbols on the type level using type families |
2024-10-27 13:37:22 +0100 | <haskellbridge> | <hellwolf> And nice type error when oversized or crc check failed |
2024-10-27 13:36:58 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/zepLeGWPrekCEZnjWdobAomD/Eje5yf_QOro (4 lines) |
2024-10-27 13:36:58 +0100 | <haskellbridge> | <hellwolf> I want to do a type level syntax for address and bytes literals, e.g.: |
2024-10-27 13:34:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2024-10-27 13:33:58 +0100 | <tomsmeding> | hellwolf: I've been using it a bit for various purposes. What do you want to use it for? |
2024-10-27 13:31:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 13:22:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 13:15:19 +0100 | Guest31 | (~Guest31@130.226.157.34) |
2024-10-27 13:14:52 +0100 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
2024-10-27 13:11:07 +0100 | <mreh> | is there a way to only profile cost centres within a single closure? |
2024-10-27 13:11:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 13:08:35 +0100 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-27 13:06:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 13:00:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 13:00:23 +0100 | haskellbridge | hellwolf sees gold in OverloadedLabels. Anyone has experience of using it to share? |
2024-10-27 12:55:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 12:44:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 12:40:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |