2026/02/24

Newest at the top

2026-02-24 09:00:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-02-24 08:56:33 +0100jj(~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) omentic
2026-02-24 08:55:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-24 08:52:41 +0100jj(~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Ping timeout: 248 seconds)
2026-02-24 08:47:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-24 08:44:04 +0100Enrico63(~Enrico63@host-79-19-156-232.retail.telecomitalia.it) (Quit: Client closed)
2026-02-24 08:40:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-24 08:37:13 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-24 08:36:31 +0100Enrico63(~Enrico63@host-79-19-156-232.retail.telecomitalia.it) Enrico63
2026-02-24 08:30:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-02-24 08:30:20 +0100img(~img@user/img) img
2026-02-24 08:29:48 +0100wickedjargon(~user@2605:8d80:5430:dc79:6396:7e42:d4e3:36f9) wickedjargon
2026-02-24 08:29:04 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-24 08:27:32 +0100 <gentauro> many thx
2026-02-24 08:27:01 +0100 <gentauro> Leary: now that was nifty <3
2026-02-24 08:25:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-24 08:24:47 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-24 08:23:05 +0100 <lambdabot> [Foo,Bar]
2026-02-24 08:23:04 +0100 <Leary> > [minBound .. maxBound] :: [FooBarEnum]
2026-02-24 08:22:24 +0100 <Leary> Ah, Forgot to derive `Bounded`. Well, you get the idea.
2026-02-24 08:21:58 +0100 <lambdabot> In the expression: minBound
2026-02-24 08:21:57 +0100 <lambdabot> arising from a use of ‘minBound’
2026-02-24 08:21:57 +0100 <lambdabot> No instance for ‘Bounded FooBarEnum’
2026-02-24 08:21:56 +0100 <Leary> > [minBound .. maxBound] :: [FooBarEnum]
2026-02-24 08:21:46 +0100 <lambdabot> Defined.
2026-02-24 08:21:44 +0100 <Leary> @let data FooBarEnum = Foo | Bar deriving (Eq, Show, Enum)
2026-02-24 08:20:29 +0100gentaurowhich would result in [ Foo, Bar ]
2026-02-24 08:20:09 +0100 <gentauro> Is there built-in logic in Haskell such as in F# `Enum.GetValues(typeof<tags>)` where you can get a sequence of the values for an (enum) datatype? For example for `data FooBarEnum = Foo | Bar deriving (Eq, Show)`.
2026-02-24 08:15:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-24 08:11:53 +0100 <gentauro> however, they don't work with `runghc` :-\
2026-02-24 08:11:51 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-24 08:11:36 +0100 <gentauro> there seem to be `GHC` cli flags for that -> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/safe_haskell.html#package-trust
2026-02-24 08:10:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-24 08:09:08 +0100 <gentauro> anybody know how to pass trusted packages in the `OPTIONS_GHC` pragma?
2026-02-24 08:08:39 +0100gentauroerror msg: "Unknown flag in {-# OPTIONS_GHC #-} pragma: -trust=base".
2026-02-24 08:08:15 +0100 <gentauro> adding this to a file works -> `{-# OPTIONS_GHC -Wall -Werror -fpackage-trust #-}`. However, this does not: `{-# OPTIONS_GHC -Wall -Werror -fpackage-trust -trust=base #-}`.
2026-02-24 08:00:47 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-24 07:59:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-24 07:59:21 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2026-02-24 07:54:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-24 07:51:41 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-02-24 07:45:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-24 07:44:35 +0100Googulator78(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu)
2026-02-24 07:44:34 +0100Googulator33(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed)
2026-02-24 07:40:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-24 07:38:10 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-02-24 07:29:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-24 07:26:15 +0100Googulator33(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu)
2026-02-24 07:26:09 +0100Googulator17(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed)
2026-02-24 07:24:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn