Newest at the top
| 2025-05-15 16:08:28 +0200 | <c_wraith> | It sounds like whatever you're trying to do should be solved by cabal.project instead |
| 2025-05-15 16:07:16 +0200 | <Square> | hs-source-dirs |
| 2025-05-15 16:07:02 +0200 | <Square> | Ok.. to be specific. I cannot have a hs-source-dir that starts with "../some/path" |
| 2025-05-15 16:05:31 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-15 16:05:00 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-15 16:04:43 +0200 | <c_wraith> | I'm pretty sure that's what has everyone confused by the question. Of course it works with relative paths, that's the only thing anyone ever uses. |
| 2025-05-15 16:04:00 +0200 | <c_wraith> | I have never seen a non-relative path in that field |
| 2025-05-15 16:00:55 +0200 | <Square> | hellwolf, exactly. But yeah, could be a nix + haskell issue. |
| 2025-05-15 15:57:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 15:49:16 +0200 | <hellwolf> | otherwise, it doesn't make sense, since it's the basic feature. |
| 2025-05-15 15:48:52 +0200 | <hellwolf> | do you mean cannot be relative path from parent folders |
| 2025-05-15 15:48:39 +0200 | <hellwolf> | huh? |
| 2025-05-15 15:48:13 +0200 | ubert | (~Thunderbi@p200300ecdf1b8afc99002e8c4e21755f.dip0.t-ipconnect.de) (Quit: ubert) |
| 2025-05-15 15:46:46 +0200 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-05-15 15:44:49 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2025-05-15 15:41:27 +0200 | son0p | (~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) son0p |
| 2025-05-15 15:37:35 +0200 | <Square> | I thought they fixed it in cabal 3 |
| 2025-05-15 15:37:21 +0200 | <Square> | It could be a haskell + nix problem. But I remember it was a known bug in cabal 2.x |
| 2025-05-15 15:36:51 +0200 | <merijn> | They are/should be, no? |
| 2025-05-15 15:36:40 +0200 | <merijn> | Square: How so? |
| 2025-05-15 15:35:40 +0200 | <Square> | hs-source-dirs in cabal cannot be relative it seems? |
| 2025-05-15 15:31:01 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-05-15 15:24:23 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-15 15:23:27 +0200 | <yin> | https://idris2.readthedocs.io/en/latest/tutorial/index.html ? |
| 2025-05-15 15:23:03 +0200 | <yin> | merijn: just to be sure, what do you mean by *the* tutorial? |
| 2025-05-15 15:21:26 +0200 | ubert | (~Thunderbi@p200300ecdf1b8afc99002e8c4e21755f.dip0.t-ipconnect.de) ubert |
| 2025-05-15 15:20:45 +0200 | AlexZenon | (~alzenon@178.34.150.214) |
| 2025-05-15 15:17:47 +0200 | AlexNoo_ | AlexNoo |
| 2025-05-15 15:16:30 +0200 | <haskellbridge> | <yin> merijn: ty |
| 2025-05-15 15:16:04 +0200 | AlexNoo | (~AlexNoo@178.34.161.121) (Ping timeout: 252 seconds) |
| 2025-05-15 15:14:29 +0200 | AlexZenon | (~alzenon@178.34.161.121) (Ping timeout: 248 seconds) |
| 2025-05-15 15:12:37 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.214) |
| 2025-05-15 15:11:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 15:10:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-15 15:05:25 +0200 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) (Quit: Client closed) |
| 2025-05-15 15:01:45 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-15 15:00:24 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 245 seconds) |
| 2025-05-15 14:59:51 +0200 | euleritian | (~euleritia@ip2504f9f8.dynamic.kabel-deutschland.de) |
| 2025-05-15 14:59:33 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 14:59:15 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-15 14:57:16 +0200 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) |
| 2025-05-15 14:55:47 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 14:49:45 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-15 14:49:13 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-15 14:48:27 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-15 14:28:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-15 14:21:46 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 14:19:29 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-15 14:09:28 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-15 14:09:06 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |