2025/05/01

Newest at the top

2025-05-01 22:08:07 +0200 <tomsmeding> "It is important to not confuse these options with the ones listed in the build info section. ..."
2025-05-01 22:07:55 +0200 <tomsmeding> on the docs page that you linked, right below the table of programs
2025-05-01 22:07:30 +0200 <sim590> The first warning?
2025-05-01 22:07:01 +0200 <tomsmeding> (and the second one)
2025-05-01 22:07:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-01 22:06:51 +0200 <tomsmeding> sim590: see the first Warning
2025-05-01 22:06:00 +0200 <sim590> What am I doing wrong?
2025-05-01 22:05:58 +0200 <sim590> I can pass this option to cabal: --c2hs-options="-C -std=gnu18" and it works well. I can see it because it fixes an issue I'm having with c2hs. But, now I'm trying to add that to my cabal file and I looked it up here: https://cabal.readthedocs.io/en/latest/config.html#program-options, so I should be able to do this: https://paste.debian.net/1372741/, but it doesn't work. The flag is not passed.
2025-05-01 22:05:52 +0200nitrix(~nitrix@user/meow/nitrix) nitrix
2025-05-01 22:02:02 +0200sim590(~simon@209-15-185-101.resi.cgocable.ca)
2025-05-01 22:01:14 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 245 seconds)
2025-05-01 21:56:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-01 21:55:02 +0200traxex(traxex@user/traxex) traxex
2025-05-01 21:54:16 +0200 <dutchie> nice, https://paste.tomsmeding.com/lYtaNeCf typechecks
2025-05-01 21:52:31 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-01 21:52:29 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-05-01 21:52:28 +0200 <lambdabot> Applicative m => Maybe a -> MaybeT m a
2025-05-01 21:52:27 +0200 <EvanR> :t MaybeT . pure
2025-05-01 21:51:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-01 21:51:10 +0200 <lambdabot> Defined.
2025-05-01 21:51:09 +0200 <tomsmeding> @let import Control.Monad.Trans.Maybe
2025-05-01 21:51:06 +0200 <lambdabot> Unknown command, try @list
2025-05-01 21:51:06 +0200 <tomsmeding> @import Control.Monad.Trans.Maybe
2025-05-01 21:50:47 +0200 <EvanR> lambdabooooooooooooooooot
2025-05-01 21:50:40 +0200 <lambdabot> • Perhaps you meant variable ‘maybe’ (imported from Data.Maybe)
2025-05-01 21:50:40 +0200 <lambdabot> • Data constructor not in scope: MaybeT :: f0 a -> c
2025-05-01 21:50:40 +0200 <lambdabot> error:
2025-05-01 21:50:39 +0200 <EvanR> :t MaybeT . pure
2025-05-01 21:50:21 +0200nitrix(~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-01 21:49:35 +0200 <tomsmeding> (if you want Nothing to be an error)
2025-05-01 21:49:04 +0200 <mauke> MaybeT . pure
2025-05-01 21:48:56 +0200 <tomsmeding> oh, you're right
2025-05-01 21:48:44 +0200 <mauke> that looks like the wrong shape
2025-05-01 21:47:51 +0200 <lambdabot> (MonadTrans t, Monad m) => m a -> t m a
2025-05-01 21:47:50 +0200 <tomsmeding> :t Control.Monad.Trans.Class.lift
2025-05-01 21:47:04 +0200 <dutchie> now the annoying part is the non-monadic Map.lookup, heh
2025-05-01 21:46:54 +0200 <dutchie> right, yeah, I think I can put it together there
2025-05-01 21:45:02 +0200 <tomsmeding> (not quite always; there are more utility functions in Control.Monad.Trans.Maybe)
2025-05-01 21:44:33 +0200 <tomsmeding> just applying the MaybeT constructor is usually all wrapping that's required
2025-05-01 21:44:26 +0200 <mauke> wibble = MaybeT . ThirdParty.wibble
2025-05-01 21:44:11 +0200 <lambdabot> m (Maybe a) -> Control.Monad.Trans.Maybe.MaybeT m a
2025-05-01 21:44:11 +0200 <tomsmeding> :t Control.Monad.Trans.Maybe.MaybeT
2025-05-01 21:43:51 +0200 <lambdabot> • Perhaps you meant variable ‘maybe’ (imported from Data.Maybe)
2025-05-01 21:43:51 +0200 <lambdabot> • Data constructor not in scope: MaybeT
2025-05-01 21:43:51 +0200 <lambdabot> error:
2025-05-01 21:43:50 +0200 <tomsmeding> :t MaybeT
2025-05-01 21:43:28 +0200 <dutchie> hm
2025-05-01 21:43:21 +0200 <lambdabot> AppM (Maybe a)
2025-05-01 21:43:21 +0200 <tomsmeding> @unmtl MaybeT AppM a
2025-05-01 21:43:17 +0200 <dutchie> wibble/wobble come from 3rd party libs though so unless I can just wrap them that's not helpful