2026/02/24

Newest at the top

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
2026-02-24 07:17:29 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-02-24 07:13:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-24 07:09:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-24 07:05:55 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds)
2026-02-24 07:03:34 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2026-02-24 07:03:04 +0100p3n_(~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-24 06:58:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-24 06:53:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-24 06:53:45 +0100Square3(~Square@user/square) (Ping timeout: 248 seconds)
2026-02-24 06:50:57 +0100Square2(~Square4@user/square) Square
2026-02-24 06:43:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-24 06:40:31 +0100emaczen(~user@user/emaczen) (Ping timeout: 264 seconds)