2024/12/28

Newest at the top

2024-12-28 12:12:54 +0100 <mauke> heh, that readme is functionally meaningless
2024-12-28 12:12:01 +0100 <mauke> also, why are you running 'cabal install' during development?
2024-12-28 12:11:53 +0100 <mauke> but which part of 'cabal install' is taking the most time? compiling, linking, installing, something else?
2024-12-28 12:11:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 12:11:16 +0100euleritian(~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-12-28 12:09:00 +0100 <SrPx> runhaskell cant be used in a project?
2024-12-28 12:07:37 +0100 <SrPx> so whenever I make a change in HVM3, I need to wait 20s to run a hvml file and test it.
2024-12-28 12:07:22 +0100 <SrPx> which isn't even a big project
2024-12-28 12:07:19 +0100 <SrPx> doing 'cabal install' on https://github.com/HigherOrderCO/HVM3...
2024-12-28 12:05:33 +0100 <mauke> what is taking 20s?
2024-12-28 12:04:40 +0100 <Leary> SrPx: ghcid/ghciwatch
2024-12-28 12:03:43 +0100 <int-e> Hmm maybe `cabal repl` and :r gets you close enough?
2024-12-28 12:03:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-28 12:02:40 +0100 <SrPx> tips and tricks to make cabal install not take 20s when developing / debugging? i just want to edit my haskell project and run it without having to wait 20s every damn time. that is completely killing my productivity. i wonder if runghc can be used for that perhaps?
2024-12-28 11:58:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 11:55:17 +0100__monty__(~toonn@user/toonn) toonn
2024-12-28 11:51:06 +0100alp(~alp@2001:861:8ca0:4940:8d4c:5a22:6b11:16da) (Remote host closed the connection)
2024-12-28 11:47:03 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-12-28 11:45:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-28 11:40:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 11:30:41 +0100CiaoSen(~Jura@2a05:5800:2ca:8300:ca4b:d6ff:fec1:99da) CiaoSen
2024-12-28 11:28:55 +0100euleritian(~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de)
2024-12-28 11:26:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-28 11:22:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 11:20:02 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-28 11:19:58 +0100acidjnk_new3(~acidjnk@p200300d6e7283f42bc4ebb891d7561a4.dip0.t-ipconnect.de) acidjnk
2024-12-28 11:17:49 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-12-28 11:17:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-28 11:11:59 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-12-28 11:10:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 11:07:04 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-12-28 11:05:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-28 11:00:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 10:49:35 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-12-28 10:47:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-28 10:45:13 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-12-28 10:42:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 10:35:05 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-12-28 10:32:30 +0100manwithluck(~manwithlu@194.177.28.164) manwithluck
2024-12-28 10:32:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-28 10:31:20 +0100euleritian(~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-12-28 10:27:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 10:21:03 +0100Square(~Square@user/square) Square
2024-12-28 10:20:22 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2024-12-28 10:17:37 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-12-28 10:16:55 +0100euleritian(~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de)
2024-12-28 10:14:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-28 10:08:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-28 09:56:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-28 09:56:37 +0100euleritian(~euleritia@dynamic-176-006-141-001.176.6.pool.telefonica.de) (Read error: Connection reset by peer)