Logs: liberachat/#haskell
| 2025-12-11 16:35:22 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:fb9e:194f:f1d5:eb88) (Remote host closed the connection) |
| 2025-12-11 16:40:12 | → | spew_ joins (~spew@user/spew) |
| 2025-12-11 16:40:43 | × | spew quits (~spew@user/spew) (Ping timeout: 255 seconds) |
| 2025-12-11 16:41:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-11 16:41:16 | spew_ | is now known as spew |
| 2025-12-11 16:41:35 | <haskellbridge> | <matti palli> Right. At the moment there is no distinction, and thinking about it might be that typechecking levels could be an issue, i.e. when do you unify with a hole type variable in the new schema |
| 2025-12-11 16:41:38 | <haskellbridge> | interesting problem for sure |
| 2025-12-11 16:42:20 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-11 16:43:45 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-12-11 16:45:02 | <dolio> | Even if you know the provenance of type variables, I don't know that the further idea makes sense. |
| 2025-12-11 16:45:17 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 16:46:36 | yin | is now known as zero |
| 2025-12-11 16:46:40 | zero | is now known as yin |
| 2025-12-11 16:49:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-11 16:53:17 | → | Guest87 joins (~Guest87@2405:201:d006:986f:5c73:3a20:69d:7d07) |
| 2025-12-11 17:02:14 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 17:08:13 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-11 17:08:27 | → | milan joins (~milan@88.212.61.169) |
| 2025-12-11 17:08:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-11 17:09:49 | <milan> | Guyz Am I out of luck if I want to use Data.Text in application build with -XSafe? |
| 2025-12-11 17:10:47 | × | spew quits (~spew@user/spew) (Read error: Connection reset by peer) |
| 2025-12-11 17:12:55 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-12-11 17:13:09 | → | spew joins (~spew@user/spew) |
| 2025-12-11 17:15:42 | → | Googulator87 joins (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 17:15:45 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-11 17:15:58 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-11 17:17:13 | → | tv joins (~tv@user/tv) |
| 2025-12-11 17:18:27 | Googulator87 | is now known as Googulator |
| 2025-12-11 17:20:30 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 17:21:59 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-11 17:25:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-11 17:33:31 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-11 17:36:23 | × | tromp quits (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-11 17:36:36 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-11 17:37:14 | → | spew joins (~spew@user/spew) |
| 2025-12-11 17:37:25 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 17:39:29 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-11 17:41:14 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 244 seconds) |
| 2025-12-11 17:42:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-11 17:45:07 | → | tccq joins (~user@user/tccq) |
| 2025-12-11 17:46:33 | <gentauro> | I'm tryiing to build an old stack/cabal project, but I'm getting: `startProcess: posix_spawnp: does not exist`. Have anybody seen that before? |
| 2025-12-11 17:46:45 | <gentauro> | *note*: I have the newest stack installed |
| 2025-12-11 17:47:15 | <gentauro> | `Version 3.7.1, Git revision` |
| 2025-12-11 17:48:35 | × | Googulator quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 17:48:51 | → | Googulator joins (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 17:54:00 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 17:54:35 | → | skum joins (~skum@user/skum) |
| 2025-12-11 17:54:40 | × | ephemient quits (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2025-12-11 17:55:21 | <sm> | gentauro: doesn't ring a bell, but have you tried searching for that error message ? |
| 2025-12-11 17:55:58 | int-e | would look for verbosity options or maybe use strace to figure out what program it's trying to execute |
| 2025-12-11 17:56:28 | <sm> | anything at https://github.com/haskell/process/issues/247 ? |
| 2025-12-11 17:56:38 | <geekosaur> | normally it says the program |
| 2025-12-11 17:57:37 | <gentauro> | sm: it seems that the cached `Cabal-simple-…` placed in `~/.stack/setup-exe-cache/x86_64-linux-nix` become wacko. I cleansed that folder and now it works. |
| 2025-12-11 17:57:51 | → | kuribas joins (~user@2a02:1808:cd:df9d:1dcb:cff3:20e8:95d8) |
| 2025-12-11 17:58:08 | <gentauro> | geekosaur: yeah, it mentioned `Cabal-simple-…` |
| 2025-12-11 17:58:17 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-11 17:58:44 | <int-e> | (note that "not found" in an exec-like context doesn't necessarily mean that the executable itself is missing; it can also be a shared library that it depends on) |
| 2025-12-11 17:59:01 | <gentauro> | I guess it happens from time to time on NixOS when I change the main channel (recently moved from 25.05 -> 25.11) |
| 2025-12-11 17:59:32 | <int-e> | oh I suppose nix will change library paths all the time |
| 2025-12-11 18:00:06 | <int-e> | anyway, it sunds like the issue is solved :) |
| 2025-12-11 18:00:20 | <gentauro> | int-e: and sometimes remove support for old GHC. They do that cos the burden of maintaining all of it. So I do understand. |
| 2025-12-11 18:00:28 | <gentauro> | int-e: it sure is. Thx :) |
| 2025-12-11 18:00:46 | × | Googulator quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 18:00:49 | → | Googulator24 joins (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 18:00:57 | <sm> | gentauro: great. I guess "nuke things and start over" is our equivalent of "have you tried turning it off and on again" |
| 2025-12-11 18:01:10 | <gentauro> | sm: xD |
| 2025-12-11 18:01:21 | <sm> | sometimes it's the quickest thing to try |
| 2025-12-11 18:01:40 | <gentauro> | sm: back in the good old days, I sed gentoo and compiled it all locally. I'm never going back to those days again xD |
| 2025-12-11 18:01:57 | <gentauro> | I would rather spend my time producing code ;) |
| 2025-12-11 18:02:47 | <haskellbridge> | <sm> sure, but sometimes it's quicker to move some dirs aside and let cabal/stack run in another window while you continue working on things that require thought |
| 2025-12-11 18:02:56 | <geekosaur> | if that binary was left over from then, it might do it. "does not exist" can refer not to the binary, but to its ELF "interpreter" whose path might vary on different systems (well, shouldn't these days, but if it was old enough it might) |
| 2025-12-11 18:03:27 | <geekosaur> | leading to confusing error messages because `exec` has no way to pass back precisely what wasn't found |
| 2025-12-11 18:03:37 | <haskellbridge> | <sm> (not something I would do often, but sometimes the dumb hands-free test is worth doing) |
| 2025-12-11 18:03:47 | <geekosaur> | in particular, it varies on NixOS |
| 2025-12-11 18:03:55 | <geekosaur> | see `patchelf` |
| 2025-12-11 18:04:09 | × | Guest87 quits (~Guest87@2405:201:d006:986f:5c73:3a20:69d:7d07) (Quit: Client closed) |
| 2025-12-11 18:05:20 | <haskellbridge> | <sm> I guess my point is, as we work with computers and tools we are working with very complex state which will never be entirely bug free, sometimes it's more cost effective to try a state reset than to debug what's going wrong |
| 2025-12-11 18:06:33 | × | Googulator24 quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 18:06:43 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-11 18:06:45 | → | tromp joins (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-11 18:06:55 | → | Googulator24 joins (~Googulato@87-97-86-146.pool.digikabel.hu) |
| 2025-12-11 18:07:18 | Googulator24 | is now known as Googulator |
| 2025-12-11 18:09:19 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-11 18:09:21 | <gentauro> | haskellbridge: that's actually the foundation of Erlang right? We know we are gonna fail at some point, lets add that to the equation. |
| 2025-12-11 18:10:23 | <EvanR> | well, transactional semantics are a good way to deal with that assumption |
| 2025-12-11 18:10:38 | <EvanR> | which is not what erlang is usually promoting |
| 2025-12-11 18:11:05 | <haskellbridge> | <sm> I know php is a good example, you get a fresh state every request |
| 2025-12-11 18:11:46 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 18:11:49 | <haskellbridge> | <sm> that's running software rather than dev in process, but you know what I mean |
| 2025-12-11 18:12:01 | <haskellbridge> | <sm> same principle |
| 2025-12-11 18:12:45 | <haskellbridge> | <sm> I haven't used erlang, but yes that sounds right, they like to throw something away if it fails |
| 2025-12-11 18:14:31 | <haskellbridge> | <Morj> I've been learning erlang recently, and haven't seen anything about transactional semantics. Sad |
| 2025-12-11 18:14:39 | <EvanR> | ;_; |
| 2025-12-11 18:14:44 | <haskellbridge> | <Morj> Sadder still is that I thought I finished learning |
| 2025-12-11 18:15:06 | <Rembane> | Finally max level! |
| 2025-12-11 18:15:27 | → | ft joins (~ft@p508db844.dip0.t-ipconnect.de) |
| 2025-12-11 18:15:58 | <EvanR> | level 60, you're done |
| 2025-12-11 18:16:10 | <EvanR> | return to the world |
| 2025-12-11 18:18:46 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-12-11 18:28:50 | → | target_i joins (~target_i@user/target-i/x-6023099) |
All times are in UTC.