Newest at the top
| 2025-11-30 22:11:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 22:10:30 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-11-30 22:09:29 +0100 | bairyn | (~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 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-30 22:08:33 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-30 22:08:33 +0100 | karenw | (~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 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-30 22:06:53 +0100 | merijn | (~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 +0100 | mreh | (~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 +0100 | iqubic | (~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) iqubic |
| 2025-11-30 21:55:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 21:53:47 +0100 | peterbecich | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 21:49:36 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 252 seconds) |
| 2025-11-30 21:49:36 +0100 | wickedjargon | (~user@206.108.193.26) wickedjargon |
| 2025-11-30 21:42:16 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-30 21:40:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 21:39:39 +0100 | califax | (~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 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-30 21:36:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 21:35:07 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-11-30 21:32:01 +0100 | lbseale_ | (~quassel@user/ep1ctetus) (Ping timeout: 246 seconds) |
| 2025-11-30 21:28:38 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-30 21:24:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 21:21:01 +0100 | ss4 | wootehfoot |
| 2025-11-30 21:20:50 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Killed (NickServ (GHOST command used by ss4))) |