2025/11/30

Newest at the top

2025-11-30 22:11:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 22:10:30 +0100ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-11-30 22:09:29 +0100bairyn(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 244 seconds)
2025-11-30 22:09:20 +0100 <[exa]> mauke: ok thanks for info, I'll try to push there a bit and see
2025-11-30 22:08:53 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-11-30 22:08:33 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-30 22:08:33 +0100karenw(~karenw@user/karenw) (Ping timeout: 250 seconds)
2025-11-30 22:08:08 +0100 <monochrom> "The side quests are more important than the destination" >:)
2025-11-30 22:07:39 +0100 <tomsmeding> iqubic: if you only want to enable it in a specific module, you can also add {-# OPTIONS -Wno-x-partial #-} at the top of the file
2025-11-30 22:07:15 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds)
2025-11-30 22:06:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-30 22:06:43 +0100 <tomsmeding> iqubic: ghc-options: -Wno-x-partial
2025-11-30 22:05:40 +0100 <monochrom> Similarly I found interesting books I didn't know I needed by going to the physical library bookshelf for the book I thought I needed but "wait a second all these other neighbouring books are way more interesting!"
2025-11-30 22:05:29 +0100 <iqubic> How do I enable that in my Cabal file?
2025-11-30 22:04:18 +0100 <monochrom> The collateral ROI being that I picked up some other options I didn't need back then but did later.
2025-11-30 22:03:48 +0100 <glguy> that warning is hacked in with an extension warning, so it's harder to find than others
2025-11-30 22:03:46 +0100 <iqubic> Thanks.
2025-11-30 22:03:33 +0100 <glguy> -Wno-x-partial
2025-11-30 22:03:22 +0100 <monochrom> There wee some other options I needed and I did not "find", I read the list of all options under a suitable category.
2025-11-30 22:02:56 +0100 <iqubic> Ah... it's '-Wno-...' for disabling a warning.
2025-11-30 22:02:55 +0100mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2025-11-30 22:02:08 +0100 <iqubic> I'm not sure how I'd find that...
2025-11-30 22:00:54 +0100 <monochrom> I think I saw it in the GHC User's Guide somewhere.
2025-11-30 22:00:13 +0100 <iqubic> Is it possible to disable warnings for partial functions, but get all other warnings?
2025-11-30 21:59:47 +0100 <iqubic> I see. That makes sense.
2025-11-30 21:59:20 +0100 <monochrom> `cabal init` will add that for you in its initial *.cabal file.
2025-11-30 21:58:36 +0100 <monochrom> Use "ghc-options: -Wall" but I haven't spellchecked that.
2025-11-30 21:58:03 +0100 <monochrom> No.
2025-11-30 21:57:54 +0100 <iqubic> Does using the cabal setting 'default-language: GHC2021' automatically turn on -Wall?
2025-11-30 21:55:50 +0100iqubic(~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) iqubic
2025-11-30 21:55:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 21:53:47 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-30 21:53:08 +0100 <haskellbridge> <loonycyborg> but it got stalled I guess? Because you'd need to turn haskell's core into calculus of constructions or something..
2025-11-30 21:52:28 +0100 <haskellbridge> <loonycyborg> There exists this proposal too: https://richarde.dev/papers/2021/exists/exists.pdf
2025-11-30 21:51:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-30 21:49:36 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 252 seconds)
2025-11-30 21:49:36 +0100wickedjargon(~user@206.108.193.26) wickedjargon
2025-11-30 21:42:16 +0100califax(~califax@user/califx) califx
2025-11-30 21:40:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 21:39:39 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-11-30 21:39:06 +0100 <monochrom> Singleton types being GADTs, the type parameter is almost as good as real dependent types. Well, almost.
2025-11-30 21:38:05 +0100 <monochrom> And Agda's or Lean's "exists x::T. foo x" becomes Haskell's existential type "data E = forall t. E (singleton type for T with type param t) (foo t)"
2025-11-30 21:36:22 +0100jreicher(~user@user/jreicher) (Quit: In transit)
2025-11-30 21:36:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-30 21:35:07 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-11-30 21:32:01 +0100lbseale_(~quassel@user/ep1ctetus) (Ping timeout: 246 seconds)
2025-11-30 21:28:38 +0100Googulator(~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed)
2025-11-30 21:24:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-30 21:21:01 +0100ss4wootehfoot
2025-11-30 21:20:50 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Killed (NickServ (GHOST command used by ss4)))