Newest at the top
2025-05-01 22:09:18 +0200 | <int-e> | sim590: that should work in ~/.cabal/config (or whatever the location is), but not in .cabal files, which has a different field name for this |
2025-05-01 22:09:16 +0200 | <sim590> | I see it. |
2025-05-01 22:09:13 +0200 | <sim590> | It's in the table? |
2025-05-01 22:08:57 +0200 | <tomsmeding> | oh, I don't see c2hs in that list |
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 +0200 | merijn | (~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 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
2025-05-01 22:02:02 +0200 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) |
2025-05-01 22:01:14 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 245 seconds) |
2025-05-01 21:56:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-01 21:55:02 +0200 | traxex | (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 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-01 21:52:29 +0200 | j1n37 | (~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 +0200 | merijn | (~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 +0200 | nitrix | (~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 |