Logs: liberachat/#haskell
| 2025-11-17 13:46:44 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2025-11-17 13:46:44 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 13:53:09 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 13:53:28 | → | Googulator joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 13:55:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-17 13:56:25 | × | mulk quits (~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-17 13:56:41 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 13:59:17 | → | pounce joins (8a023a9e4a@user/cute/pounce) |
| 2025-11-17 13:59:47 | <pounce> | hey all, i installed ghc through ghcup on fedora aarch64, and every time it runs it gives a bunch of linker errors (even though it runs correctly) |
| 2025-11-17 14:00:03 | <pounce> | these are the errors: https://paste.sr.ht/~pounce/70a7d0a909d75aeada3dcc4db77b8673c43291f1 |
| 2025-11-17 14:00:48 | <pounce> | I've installed all ncurses libraries and ncurses compat libraries. In particular it seems like ghc wants to libtinfo5, but it keeps requesting libtinfo6 for some reason |
| 2025-11-17 14:00:56 | <haskellbridge> | <maerwald> Those are warnings |
| 2025-11-17 14:01:02 | <haskellbridge> | <maerwald> Not errors |
| 2025-11-17 14:01:13 | <pounce> | ok, I would appreciate help getting rid of the warnings |
| 2025-11-17 14:02:48 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-17 14:06:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 2025-11-17 14:10:40 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 14:10:46 | → | Googulator32 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 14:17:25 | Googulator32 | is now known as Googulator |
| 2025-11-17 14:19:42 | <haskellbridge> | <Morj> Added to my list of arguments to get rid of ncurses in ghc |
| 2025-11-17 14:29:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-17 14:29:53 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 14:30:07 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 14:49:22 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2025-11-17 14:51:41 | → | mulk joins (~mulk@pd95144c3.dip0.t-ipconnect.de) |
| 2025-11-17 14:58:46 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-17 15:06:24 | × | Taneb quits (~username@host-79-43-26-190.retail.telecomitalia.it) (Ping timeout: 244 seconds) |
| 2025-11-17 15:18:19 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-11-17 15:28:59 | OWS | is now known as Shark8 |
| 2025-11-17 15:35:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-11-17 15:36:01 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-17 15:36:46 | <Square2> | pounce, why not use cabal? I imagine 99% of haskell users do |
| 2025-11-17 15:37:00 | <pounce> | i use cabal? |
| 2025-11-17 15:37:05 | <Square2> | oh ok |
| 2025-11-17 15:37:18 | <pounce> | cabal calls ghc... |
| 2025-11-17 15:38:04 | <Square2> | your paste hinted on direct use of ghc to me. |
| 2025-11-17 15:38:20 | <pounce> | it's an example of the output of anything that calls ghc |
| 2025-11-17 15:38:30 | <pounce> | im specifically writing agda, which does call ghc directly |
| 2025-11-17 15:38:42 | <pounce> | but also using cabal or stack or anything else has the same effect |
| 2025-11-17 15:38:50 | <Square2> | okok |
| 2025-11-17 15:41:34 | <merijn> | Those look like linker errors to me |
| 2025-11-17 15:41:38 | <Square2> | A quick googling seems to yield a bunch of results that are not tied to ghc/haskell. |
| 2025-11-17 15:41:39 | × | vardhan quits (~vardhan@122.172.80.68) (Ping timeout: 265 seconds) |
| 2025-11-17 15:41:45 | <pounce> | merijn: yes, they are |
| 2025-11-17 15:42:04 | <merijn> | Sounds like the libtinfo shipping with your fedora might just be borked? |
| 2025-11-17 15:42:22 | × | m1dnight_ quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-11-17 15:43:14 | <pounce> | the only thing i can gather is it might be missing VERDEF |
| 2025-11-17 15:44:11 | <pounce> | but idk how to fix this :/ it's repo managed |
| 2025-11-17 15:44:38 | <Square2> | missing libtinfo-dev? |
| 2025-11-17 15:46:28 | <pounce> | i have ncurses-devel and ncurses-libs and ncurses-compat-libs |
| 2025-11-17 15:47:02 | <pounce> | which is where the libtinfo.so.6 mentioned comes from |
| 2025-11-17 16:01:33 | <Clint> | presumably you could just rebuild ghc against your libtinfo and it would be happy |
| 2025-11-17 16:05:10 | <pounce> | Clint: ghc was built against libtinfo on this machine |
| 2025-11-17 16:05:23 | <pounce> | ghc isn't from the repo |
| 2025-11-17 16:07:26 | <Clint> | so haskeline and terminfo require versioned symbols and libtinfo has those symbol versions and it's still complaining? |
| 2025-11-17 16:09:08 | <tomsmeding> | is it possible to #include a header file using CPP from a _different_ package? |
| 2025-11-17 16:09:34 | <merijn> | tomsmeding: "It Depends (TM)" |
| 2025-11-17 16:09:48 | <merijn> | tomsmeding: cabal explicitly supports installing header files in a findable location |
| 2025-11-17 16:09:58 | <merijn> | What that location is, is distro-dependent |
| 2025-11-17 16:10:03 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:8436:1c98:a0ff:fed8:7a71) |
| 2025-11-17 16:10:42 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 16:10:45 | → | Googulator48 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-17 16:10:45 | <merijn> | I guess that also depends whether you mean including it in C or including it in Haskell code, I suppose |
| 2025-11-17 16:10:50 | Googulator48 | is now known as Googulator |
| 2025-11-17 16:10:54 | <merijn> | In short: What are you trying to do? |
| 2025-11-17 16:11:25 | <tomsmeding> | merijn: I'm trying to write a new function on `vector` vectors that works with their fusion system |
| 2025-11-17 16:11:51 | <tomsmeding> | and they have a little header file (include/vector.h) that defines PHASE_FUSED as [1], and then they write {-# INLINE PHASE_FUSED foo #-} |
| 2025-11-17 16:12:13 | <tomsmeding> | to be robust against future changes of that header file, I'd ideally like to be able to use their macro definition |
| 2025-11-17 16:13:50 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2025-11-17 16:14:43 | <merijn> | tomsmeding: https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#pkg-field-install-includes |
| 2025-11-17 16:14:45 | <tomsmeding> | (concretely: the fromListN on vectors just ignores additional elements in the list and returns a shorter vector if the list was too short; I think that's boneheaded behaviour and want an error to be thrown instead) |
| 2025-11-17 16:15:03 | <pounce> | Clint: well, libtinfo might not have those versions. but im not an expert on linkers so im not sure |
| 2025-11-17 16:15:23 | <pounce> | if i do readelf -e /lib64/libtinfo.so.6 | grep VER the library has VERSYM and VERNEED but not VERDEF |
| 2025-11-17 16:15:35 | <merijn> | tomsmeding: That behaviour is because those functions seem like they're intended to be use with OverloadedList? |
| 2025-11-17 16:15:44 | <merijn> | tomsmeding: Which doesn't support any kind of error flow |
| 2025-11-17 16:16:14 | <tomsmeding> | possible, but I want a checked fromListN and I can't have that now, because doing a length check before calling V.fromListN forces the entire list and breaks all streaming |
| 2025-11-17 16:16:40 | <tomsmeding> | so I believe my only option is writing a fromListNChecked that does almost the same as fromListN but not quite |
| 2025-11-17 16:16:51 | <merijn> | tomsmeding: At any rate, the answer is basically IFF they include it in install-includes you can, else you're hosed |
| 2025-11-17 16:17:00 | <tomsmeding> | makes sense, thanks! |
| 2025-11-17 16:17:19 | <lucabtz> | how do you connect a matrix account to a IRC one? |
| 2025-11-17 16:17:39 | <merijn> | lucabtz: You don't, afaik? |
| 2025-11-17 16:17:53 | <tomsmeding> | merijn: it has an install-includes!!!!!! |
| 2025-11-17 16:17:59 | <tomsmeding> | I cannot believe my luck |
| 2025-11-17 16:18:01 | <lucabtz> | idk because some people on the bridge in matrix have a proper name |
| 2025-11-17 16:18:04 | <merijn> | tomsmeding: :) |
| 2025-11-17 16:18:10 | <lucabtz> | while mine looks weird |
| 2025-11-17 16:18:21 | <lucabtz> | i thought there is a way to have that |
| 2025-11-17 16:18:37 | <tomsmeding> | lucabtz: do you mean speaking with a proper irc nick instead of via haskellbridge? |
| 2025-11-17 16:18:48 | <lucabtz> | tomsmeding yeah |
| 2025-11-17 16:19:09 | <tomsmeding> | I think you can only achieve that with a proper bridge plugin on a matrix server, and public servers don't tend to run those because of abuse potential |
| 2025-11-17 16:19:17 | <tomsmeding> | you can do it with a self-hosted matrix server |
| 2025-11-17 16:19:29 | <lucabtz> | oh i see |
| 2025-11-17 16:19:35 | <lucabtz> | thx |
| 2025-11-17 16:19:40 | <tomsmeding> | matrix.org used to have one of those with libera.chat, but there were complaints about spam and they stopped offering that |
| 2025-11-17 16:19:42 | <lucabtz> | sorry for the slight off topic |
| 2025-11-17 16:20:42 | → | Googulator21 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 16:20:46 | × | Googulator quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 16:21:02 | Googulator21 | is now known as Googulator |
| 2025-11-17 16:23:05 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-17 16:25:11 | → | jmcantrell joins (~weechat@user/jmcantrell) |
All times are in UTC.