| 28 Aug 2025 |
emily | we don't have that on master, though | 20:34:33 |
sterni (he/him) | Either bump it manually until the upgrade trickles through via haskell-updates or remove the warning as long as the build doesn't break either should work. | 20:34:57 |
emily | we could cherry-pick it but it feels dubious for updating an LLVM off an rc to get blocked on this when we haven't even bumped the default version yet | 20:35:01 |
sterni (he/him) | yes | 20:35:27 |
sterni (he/him) | I wrote that code when LLVM default was a few versions back, seems like now where it's practically latest we could also sync it with the default version | 20:36:03 |
sterni (he/him) | instead of latest available | 20:36:07 |
| @Las:matrix.org changed their profile picture. | 20:36:52 |
emily | right | 20:36:55 |
emily | we should be defaulting to LLVM 21 for 25.11, hopefully | 20:37:39 |
| @Las:matrix.org removed their profile picture. | 20:40:53 |
Artem | In reply to @sternenseemann:systemli.org Thibaut: we are updating to the latest version of dhall as part of https://github.com/NixOS/nixpkgs/pull/429810. We could use some help fixing build failures in the dhall-related packages: https://hydra.nixos.org/eval/1818002?filter=dhall&compare=1817909&full= I took a brief look at the hydra log linked. I only saw logs for three failed jobs and from those one is the text/show issue and another one is too strict upper bound on data-defaylt that was PRed recently but has no progress in merging :-( i pinged them on that PR: https://github.com/dhall-lang/dhall-haskell/pull/2659#issuecomment-3234999428 | 21:37:33 |
Thibaut | I think adding a data-default == 0.7.1.3 and adding it to the failed packages' override could work, I'm checking on dhall-lsp-server | 21:41:02 |
Thibaut | Redacted or Malformed Event | 23:15:20 |
Thibaut | it's not enough | 23:15:42 |
| 29 Aug 2025 |
| @luna-null:matrix.org left the room. | 02:40:19 |
| @zeorin:matrix.org left the room. | 07:03:56 |
sterni (he/him) | downgrading data-default is not a good option anyways since it is likely to cause issues elsewhere | 10:41:45 |
sterni (he/him) | We can do the bound adjustment via patches/overrides as well, we don't need to wait for upstream | 10:43:00 |
Uraraka ~ Ochaco | Ughh I've had terrible trouble with data-default-class vs data-default. Had to update bounds for another package because of the incompatible update. | 10:58:40 |
Thibaut | despite the patches, jailbreaks, I end up with this issue:
> src/Dhall/LSP/Util.hs:16:16: error: [GHC-87543]
> Ambiguous occurrence ‘show’.
> It could refer to
> either ‘Prelude.show’,
> imported from ‘Prelude’ at src/Dhall/LSP/Util.hs:3:8-21
> (and originally defined in ‘ghc-internal-9.1002.0:GHC.Internal.Show’),
> or ‘Data.Text.show’,
> imported from ‘Data.Text’ at src/Dhall/LSP/Util.hs:11:1-16.
> |
> 16 | tshow = pack . show
is it fine if I patch it as tshow = pack . Prelude.show?
| 11:15:33 |
Artem | In reply to @thibaut:fsl.sh
despite the patches, jailbreaks, I end up with this issue:
> src/Dhall/LSP/Util.hs:16:16: error: [GHC-87543]
> Ambiguous occurrence ‘show’.
> It could refer to
> either ‘Prelude.show’,
> imported from ‘Prelude’ at src/Dhall/LSP/Util.hs:3:8-21
> (and originally defined in ‘ghc-internal-9.1002.0:GHC.Internal.Show’),
> or ‘Data.Text.show’,
> imported from ‘Data.Text’ at src/Dhall/LSP/Util.hs:11:1-16.
> |
> 16 | tshow = pack . show
is it fine if I patch it as tshow = pack . Prelude.show?
This is a problem with many packages :-( | 11:22:57 |
sterni (he/him) | The best solution is probably to submit a proper patch for this to upstream, using CPP. You'd want to use Text.show for text >= 2.1.2 and keep the current code for Text < 2.1.2. | 11:32:49 |
sterni (he/him) | Prelude.show would work, I guess, though it is a bit silly to implement tshow yourself if Data.Text exposes it now | 11:33:59 |
Artem | I don't think you need any CPP: with proper qualifications it should be perfectly backwards compatible. | 13:19:25 |
sterni (he/him) | sure | 16:04:05 |
sterni (he/him) | * ~~sure~~ | 16:04:30 |
sterni (he/him) | * sure | 16:04:35 |
| magic_rb changed their profile picture. | 19:30:45 |
Artem | all this text's show fallout is due to the fact that in Haskell you can't require people to import qualified. See, certain modules, including Data.Text, are designed to be imported qualified. They will say so in the documentation. But this is only a guideline. It's impossible to enforce. So, anyone who ignored this guideline, imported Data.Text unqualified, and also happened to use show from Prelude, gets blown out... And the good fix is to import Data.Text qualified and update the usages of stuff from there. An easy fix is to update the usages of show to Prelude.show. None if these two are one-line fix in general, sadly. | 19:38:03 |
maralorn | I mean I kinda think importing without import lists or unqualified should be prevented by a linter on hackage upload. | 19:43:05 |