| 2022-04-18 00:00:22 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2022-04-18 00:04:17 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 256 seconds) |
| 2022-04-18 00:04:42 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-04-18 00:07:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-18 00:08:10 +0200 | ZanpakutoB | (~Zanpakuto@2405:204:a399:44f6:7b57:7903:9fbc:7a5c) (Ping timeout: 250 seconds) |
| 2022-04-18 00:10:26 +0200 | renzhi | (~xp@2607:fa49:6500:b100::19a0) |
| 2022-04-18 00:11:07 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-04-18 00:11:39 +0200 | DNH | (~DNH@8.44.0.68) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-18 00:11:54 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-18 00:13:21 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-18 00:14:14 +0200 | <jerry99> | @hoogle (b -> m c) -> a -> m b) -> a -> m c |
| 2022-04-18 00:14:14 +0200 | <lambdabot> | package base |
| 2022-04-18 00:14:15 +0200 | <lambdabot> | package bytestring |
| 2022-04-18 00:14:15 +0200 | <lambdabot> | package containers |
| 2022-04-18 00:14:39 +0200 | DNH | (~DNH@8.44.0.68) |
| 2022-04-18 00:14:56 +0200 | <jerry99> | is there something like this? I might have gotten that type wrong . for functions returning monadic value |
| 2022-04-18 00:15:07 +0200 | <jerry99> | :t (.) |
| 2022-04-18 00:15:09 +0200 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 2022-04-18 00:15:11 +0200 | <geekosaur> | you missed a paren so it misparsed it |
| 2022-04-18 00:15:17 +0200 | rburkholder | (~blurb@96.45.2.121) |
| 2022-04-18 00:15:22 +0200 | <jerry99> | ah |
| 2022-04-18 00:15:30 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 00:15:32 +0200 | <jerry99> | @hoogle (b -> m c) -> (a -> m b) -> a -> m c |
| 2022-04-18 00:15:33 +0200 | <lambdabot> | Control.Monad (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
| 2022-04-18 00:15:33 +0200 | <lambdabot> | System.Directory.Internal.Prelude (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
| 2022-04-18 00:15:33 +0200 | <lambdabot> | Control.Monad.Compat (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
| 2022-04-18 00:15:54 +0200 | <jerry99> | :t (>=>) |
| 2022-04-18 00:15:55 +0200 | <lambdabot> | Monad m => (a -> m b) -> (b -> m c) -> a -> m c |
| 2022-04-18 00:15:58 +0200 | <jerry99> | neat |
| 2022-04-18 00:18:47 +0200 | DNH | (~DNH@8.44.0.68) (Ping timeout: 240 seconds) |
| 2022-04-18 00:19:50 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) |
| 2022-04-18 00:19:52 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 00:20:41 +0200 | <jerry99> | so this works for (\x -> f =<< g x), but and what if I have something like this? (\x -> f <$> g x)? |
| 2022-04-18 00:21:45 +0200 | <jerry99> | this worked but I'm not sure it is an improvement. ((pure . f) <=< g) |
| 2022-04-18 00:22:27 +0200 | <jerry99> | @pl (\x -> f <$> g x) |
| 2022-04-18 00:22:27 +0200 | <lambdabot> | (f <$>) . g |
| 2022-04-18 00:22:40 +0200 | <jerry99> | oh lol |
| 2022-04-18 00:23:07 +0200 | <dolio> | But use `fmap f` of course. |
| 2022-04-18 00:23:34 +0200 | <dolio> | Sectioning (<$>) (on the left) is silly. |
| 2022-04-18 00:23:40 +0200 | <jerry99> | yeah |
| 2022-04-18 00:23:51 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-18 00:25:19 +0200 | <jerry99> | too much? |
| 2022-04-18 00:25:21 +0200 | <jerry99> | hex2ip = fmap (intercalate ".") . mapM (fmap show . readAsHex) . chunksOf 2 |
| 2022-04-18 00:30:27 +0200 | abiss27 | (~abiss27@user/abiss) (Quit: Lost terminal) |
| 2022-04-18 00:30:51 +0200 | <dolio> | I think it's all right. |
| 2022-04-18 00:32:48 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 00:32:58 +0200 | <dolio> | Some people dislike that sort of thing more than I do, though. |
| 2022-04-18 00:33:47 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-04-18 00:34:19 +0200 | chomwitt | (~chomwitt@ppp-94-69-27-34.home.otenet.gr) (Ping timeout: 256 seconds) |
| 2022-04-18 00:40:04 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-18 00:40:04 +0200 | rburkholder | offtherock |
| 2022-04-18 00:40:07 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-18 00:40:21 +0200 | crazazy | (~user@2001:1c00:831:4700:87ff:c2e8:bcc3:e6aa) (Remote host closed the connection) |
| 2022-04-18 00:41:00 +0200 | RegularTetragon | (~vince@199.168.73.169) |
| 2022-04-18 00:41:36 +0200 | <RegularTetragon> | Is haskell.org/hackage/hoogle down for anyone else? |
| 2022-04-18 00:42:19 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-18 00:42:35 +0200 | offtherock | rburkholder |
| 2022-04-18 00:42:58 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-18 00:43:28 +0200 | <dolio> | hackage is up, but haskell.org seems down. |
| 2022-04-18 00:44:18 +0200 | <geekosaur> | https://mail.haskell.org/pipermail/ghc-devs/2022-April/020658.html |
| 2022-04-18 00:44:31 +0200 | yaroot_ | (~yaroot@134.27.31.150.dy.iij4u.or.jp) |
| 2022-04-18 00:44:45 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2022-04-18 00:44:46 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 00:44:57 +0200 | <geekosaur> | they're working on it, from what I've seen elsewhere |
| 2022-04-18 00:45:10 +0200 | <RegularTetragon> | Hmm gotcha |
| 2022-04-18 00:45:10 +0200 | <hpc> | maybe it's hosted on atlassian's servers :D |
| 2022-04-18 00:45:19 +0200 | <RegularTetragon> | Ohh dang is Atlassian down? |
| 2022-04-18 00:45:21 +0200 | <RegularTetragon> | I didn't notice |
| 2022-04-18 00:46:07 +0200 | <RegularTetragon> | So I'm trying to install haskell-language-server rn which is kinda hard without having ghcup |
| 2022-04-18 00:46:11 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-18 00:46:17 +0200 | <RegularTetragon> | I'm trying to do it through stack now, but I'm not sure which stack.yaml file to use |
| 2022-04-18 00:47:31 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 260 seconds) |
| 2022-04-18 00:47:32 +0200 | yaroot_ | yaroot |
| 2022-04-18 00:47:59 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-18 00:48:47 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-18 00:48:52 +0200 | <RegularTetragon> | https://haskell-language-server.readthedocs.io/en/latest/installation.html#installation-from-source is the guide I'm following, and it just says to run, in my case `stack install --yaml stack-9.0.2.yaml haskell-language-server` |
| 2022-04-18 00:49:04 +0200 | <RegularTetragon> | ofc I don't have a stack-9.0.2-yaml so |
| 2022-04-18 00:49:13 +0200 | <RegularTetragon> | Oh derp, I probably need to actually *download* the source |
| 2022-04-18 00:49:35 +0200 | cosimone` | (~user@93-47-228-79.ip115.fastwebnet.it) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-04-18 00:50:32 +0200 | kenran | (~kenran@200116b82ba94b004c8de2398adb39d3.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-04-18 00:51:35 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-18 00:53:47 +0200 | acidjnk | (~acidjnk@p200300d0c722df980150968fc3b616d7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-18 00:54:07 +0200 | slaydr | (~slaydr@193.19.109.211) (Ping timeout: 240 seconds) |
| 2022-04-18 00:55:00 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-18 00:56:39 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-18 00:57:06 +0200 | <RegularTetragon> | Yeah it's building now I'm just dumb lol |
| 2022-04-18 01:00:47 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 01:04:47 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-18 01:06:07 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-04-18 01:08:40 +0200 | slaydr | (~slaydr@75.164.21.11) |
| 2022-04-18 01:15:49 +0200 | abiss27 | (~abiss27@user/abiss) |
| 2022-04-18 01:16:23 +0200 | abiss27 | (~abiss27@user/abiss) (Client Quit) |
| 2022-04-18 01:20:41 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 01:22:00 +0200 | RegularTetragon | (~vince@199.168.73.169) (Ping timeout: 248 seconds) |
| 2022-04-18 01:25:02 +0200 | abiss27 | (~abiss27@user/abiss) |
| 2022-04-18 01:26:29 +0200 | <jerry99> | Stackage Nightly 2022-04-16 (ghc-9.2.2) <- that is the version with Record Dot Syntax, isn't it? any reason why I shouldn't use it? only care about compiling for linux and windows |
| 2022-04-18 01:27:20 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-18 01:28:53 +0200 | <sm> | 9.2.2 is pretty good now, I would use it if you can |
| 2022-04-18 01:29:28 +0200 | <jerry99> | no major issues on windows? |
| 2022-04-18 01:30:11 +0200 | <sm> | there probably are some, but they might not affect you |
| 2022-04-18 01:30:59 +0200 | <sm> | the issue tracker should have the latest |
| 2022-04-18 01:31:49 +0200 | RegularTetragon | (~vince@199.168.73.169) |
| 2022-04-18 01:36:10 +0200 | img | (~img@user/img) |
| 2022-04-18 01:37:19 +0200 | <geekosaur> | the only windows issues I'm aware of have always been there |
| 2022-04-18 01:38:11 +0200 | <geekosaur> | and the nightly's only problem is it's likely to be missing some stuff that's in the ltses that hasn't been ported over to 9.2.2 yet |
| 2022-04-18 01:40:11 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-18 01:41:58 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 01:42:16 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-18 01:43:38 +0200 | img | (~img@user/img) |
| 2022-04-18 01:46:49 +0200 | <jerry99> | neat.. I'll give it a try |
| 2022-04-18 01:47:01 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 01:49:39 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-18 01:49:39 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-18 01:49:39 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-18 01:51:13 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-04-18 01:52:10 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::85f6) (Ping timeout: 250 seconds) |
| 2022-04-18 01:54:34 +0200 | kaph | (~kaph@151.57.116.124) |
| 2022-04-18 01:57:06 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-04-18 01:57:48 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 02:03:36 +0200 | ishaanv[m] | ishaan[m] |
| 2022-04-18 02:05:13 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 02:06:05 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 02:08:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-18 02:09:22 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 02:09:56 +0200 | ishaan | (~ishaan@122.161.53.177) (Quit: Client closed) |
| 2022-04-18 02:10:27 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-18 02:10:49 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 02:10:52 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-18 02:11:06 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 02:12:27 +0200 | abiss27 | (~abiss27@user/abiss) (Quit: hasta la vista... tchau!) |
| 2022-04-18 02:12:27 +0200 | RegularTetragon | (~vince@199.168.73.169) (Ping timeout: 260 seconds) |
| 2022-04-18 02:13:16 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) (Ping timeout: 246 seconds) |
| 2022-04-18 02:15:43 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 02:20:01 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-18 02:21:08 +0200 | kaph | (~kaph@151.57.116.124) (Read error: Connection reset by peer) |
| 2022-04-18 02:21:26 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 02:21:37 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-18 02:22:07 +0200 | kaph | (~kaph@151.57.116.124) |
| 2022-04-18 02:23:25 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-18 02:26:13 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-18 02:26:44 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-18 02:26:50 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-18 02:27:38 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 02:31:52 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-18 02:34:12 +0200 | awshua | (~awshua@111.sub-174-204-193.myvzw.com) |
| 2022-04-18 02:39:08 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) |
| 2022-04-18 02:39:30 +0200 | <abastro[m]> | Yea 9.2.2 is usable |
| 2022-04-18 02:39:39 +0200 | <abastro[m]> | Unless you are me and experiencing subtle crash problems |
| 2022-04-18 02:40:00 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-04-18 02:40:08 +0200 | <jerry99> | ghc pr ghci crash, or programs that you compile with ghc? |
| 2022-04-18 02:40:11 +0200 | <jerry99> | or* |
| 2022-04-18 02:40:27 +0200 | <abastro[m]> | Programs compiled with GHC |
| 2022-04-18 02:40:38 +0200 | <jerry99> | hmm |
| 2022-04-18 02:40:43 +0200 | <jerry99> | what OS? |
| 2022-04-18 02:41:56 +0200 | <abastro[m]> | Linux |
| 2022-04-18 02:41:58 +0200 | <jerry99> | I don't think I've ever experienced my haskell program crashing (as in segfaulting without an exception), except when I fiddled with FFI |
| 2022-04-18 02:42:12 +0200 | <abastro[m]> | Well, if it matters, ubuntu |
| 2022-04-18 02:42:13 +0200 | <abastro[m]> | That is the thing |
| 2022-04-18 02:42:22 +0200 | <abastro[m]> | It is hard to pinpoint the reason |
| 2022-04-18 02:42:27 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 02:42:30 +0200 | <geekosaur> | I spent most of a day trying to reproduce it without success |
| 2022-04-18 02:42:33 +0200 | <abastro[m]> | Just somehow, some combination of program& ghc makes it crash |
| 2022-04-18 02:42:41 +0200 | <geekosaur> | it'sheap corruption detected during a gc |
| 2022-04-18 02:42:41 +0200 | <abastro[m]> | Within certain condition |
| 2022-04-18 02:43:18 +0200 | <abastro[m]> | geekosaur: Did you try loading from XMONAD_CONFIG_DIR? |
| 2022-04-18 02:43:22 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-18 02:43:25 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-18 02:43:27 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-18 02:43:52 +0200 | <geekosaur> | not yet, I had to leave shortly thereafter and haven't had a chance this evening, and probably won't get a chance tomorrow as I'll be out and about |
| 2022-04-18 02:44:40 +0200 | <abastro[m]> | I see, this bug is quite sneaky tbh |
| 2022-04-18 02:45:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 02:46:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 02:46:52 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 02:50:15 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-18 02:50:21 +0200 | <awshua> | Is www.haskel.org down? |
| 2022-04-18 02:50:38 +0200 | <awshua> | *www.haskell.org |
| 2022-04-18 02:51:02 +0200 | <exarkun> | http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/625c69cdfcbdd204d4df5603 |
| 2022-04-18 02:51:24 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-18 02:51:30 +0200 | <awshua> | Thanks |
| 2022-04-18 02:54:36 +0200 | xff0x_ | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-18 02:54:36 +0200 | stackdroid18 | (14094@user/stackdroid) () |
| 2022-04-18 02:56:56 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 02:57:51 +0200 | awshua | (~awshua@111.sub-174-204-193.myvzw.com) (Remote host closed the connection) |
| 2022-04-18 02:58:46 +0200 | <geekosaur> | just tried it, still doesn't reproduce |
| 2022-04-18 03:01:06 +0200 | mbuf | (~Shakthi@122.162.139.142) |
| 2022-04-18 03:01:13 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 03:01:36 +0200 | andrey_ | (~andrey@p200300dbcf03db006e147a6ae5b6765f.dip0.t-ipconnect.de) |
| 2022-04-18 03:03:05 +0200 | <sm> | nice to see the status page working 👍️ |
| 2022-04-18 03:03:47 +0200 | andrey | (~andrey@p200300dbcf4bfe0086461f96dc127065.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-18 03:04:13 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-04-18 03:04:48 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-18 03:05:09 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 03:07:57 +0200 | <abastro[m]> | Hmm I wonder if it is my strange system setup |
| 2022-04-18 03:08:03 +0200 | <abastro[m]> | I mean, I think my setup is normal |
| 2022-04-18 03:08:06 +0200 | cheater | (~Username@user/cheater) |
| 2022-04-18 03:08:21 +0200 | <abastro[m]> | But I guess somehow it can be considered awkward |
| 2022-04-18 03:08:36 +0200 | <abastro[m]> | Perhaps it is underlying ubuntu not liking something? |
| 2022-04-18 03:09:16 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 03:10:38 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 03:10:56 +0200 | <geekosaur> | no idea :( |
| 2022-04-18 03:12:24 +0200 | <geekosaur> | do you set any other of the XMONAD_*_DIR variables? |
| 2022-04-18 03:13:32 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.118) |
| 2022-04-18 03:14:29 +0200 | <abastro[m]> | Yep |
| 2022-04-18 03:15:11 +0200 | <abastro[m]> | All of: |
| 2022-04-18 03:15:11 +0200 | <abastro[m]> | XMONAD_CONFIG_DIR, |
| 2022-04-18 03:15:11 +0200 | <abastro[m]> | XMONAD_CACHE_DIR, |
| 2022-04-18 03:15:11 +0200 | <abastro[m]> | XMONAD_DATA_DIR |
| 2022-04-18 03:17:40 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 03:17:44 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.118) (Ping timeout: 248 seconds) |
| 2022-04-18 03:19:54 +0200 | <geekosaur> | still not reproducing :( |
| 2022-04-18 03:20:05 +0200 | <geekosaur> | can you pastebin what they're set to? |
| 2022-04-18 03:20:09 +0200 | <geekosaur> | @where paste |
| 2022-04-18 03:20:09 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-04-18 03:22:18 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-04-18 03:22:34 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 03:26:09 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-18 03:26:48 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-18 03:27:05 +0200 | <geekosaur> | aaand my sleep monitor just started whining because I'm not in bed yet. will check back tomorrow morning |
| 2022-04-18 03:28:57 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-18 03:29:19 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-18 03:29:36 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-18 03:29:56 +0200 | <abastro[m]> | Oh, I see |
| 2022-04-18 03:30:34 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 03:36:10 +0200 | jf_ | (~jf@bras-base-gtnupq1404w-grc-40-184-145-232-206.dsl.bell.ca) |
| 2022-04-18 03:47:50 +0200 | abastro | (~abab9579@220.75.216.63) () |
| 2022-04-18 03:47:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 03:48:36 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-18 03:49:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 04:01:07 +0200 | andrey__ | (~andrey@p200300dbcf08ce00369dc5da8f950839.dip0.t-ipconnect.de) |
| 2022-04-18 04:03:36 +0200 | andrey_ | (~andrey@p200300dbcf03db006e147a6ae5b6765f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-18 04:03:47 +0200 | <statusbot> | Status update: There is a hardware issue with our server. Our service provider is working on a fix, but things will likely not be resolved until Monday. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/625c69cdfcbdd204d4df5603 |
| 2022-04-18 04:03:53 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-18 04:06:38 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.118) |
| 2022-04-18 04:10:47 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2022-04-18 04:11:21 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.118) (Ping timeout: 256 seconds) |
| 2022-04-18 04:11:57 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-18 04:11:57 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-18 04:11:57 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-18 04:14:41 +0200 | frost | (~frost@user/frost) |
| 2022-04-18 04:15:06 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-18 04:16:07 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-04-18 04:17:28 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-04-18 04:19:29 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-04-18 04:23:18 +0200 | jerry99 | (~339ea5e9@cerf.good1.com) (Quit: CGI:IRC) |
| 2022-04-18 04:24:10 +0200 | jerry99 | (~339ea5e9@cerf.good1.com) |
| 2022-04-18 04:24:20 +0200 | jerry99 | (~339ea5e9@cerf.good1.com) (Client Quit) |
| 2022-04-18 04:28:44 +0200 | jerry99 | (~339ea5e9@cerf.good1.com) |
| 2022-04-18 04:28:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 04:32:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 04:33:47 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-18 04:36:15 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-04-18 04:37:18 +0200 | jf_ | (~jf@bras-base-gtnupq1404w-grc-40-184-145-232-206.dsl.bell.ca) (Quit: Leaving) |
| 2022-04-18 04:39:59 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 04:40:07 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-18 04:42:21 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-18 04:42:25 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-18 04:42:25 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-18 04:42:25 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-18 04:43:28 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.20) |
| 2022-04-18 04:43:35 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-04-18 04:45:09 +0200 | AlexNoo | (~AlexNoo@178.34.150.20) (Read error: Connection reset by peer) |
| 2022-04-18 04:45:30 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:e015:4a6a:8224:d2c6) (Remote host closed the connection) |
| 2022-04-18 04:45:55 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:5fb5:5ae2:e3c1:daee) |
| 2022-04-18 04:46:29 +0200 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds) |
| 2022-04-18 04:46:36 +0200 | alphabeta | (~kilolympu@31.205.200.235) |
| 2022-04-18 04:51:43 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 04:55:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-18 05:03:29 +0200 | kaph | (~kaph@151.57.116.124) (Read error: Connection reset by peer) |
| 2022-04-18 05:04:04 +0200 | kaph | (~kaph@151.82.145.67) |
| 2022-04-18 05:04:40 +0200 | russruss | (~russruss@my.russellmcc.com) (Quit: Ping timeout (120 seconds)) |
| 2022-04-18 05:04:59 +0200 | russruss | (~russruss@my.russellmcc.com) |
| 2022-04-18 05:13:39 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.118) |
| 2022-04-18 05:13:47 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-18 05:18:08 +0200 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-18 05:18:16 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 248 seconds) |
| 2022-04-18 05:20:24 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.118) (Ping timeout: 248 seconds) |
| 2022-04-18 05:21:44 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-18 05:22:43 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 05:24:50 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-18 05:25:08 +0200 | frost | (~frost@user/frost) |
| 2022-04-18 05:27:51 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-18 05:31:15 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-18 05:38:50 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-18 05:40:03 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-18 05:44:08 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-18 05:44:46 +0200 | cdman | (~dcm@27.2.217.49) |
| 2022-04-18 05:44:46 +0200 | cdman | (~dcm@27.2.217.49) (Changing host) |
| 2022-04-18 05:44:46 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-18 05:45:16 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-18 05:54:49 +0200 | benin | (~benin@183.82.204.110) |
| 2022-04-18 05:55:15 +0200 | <abastro[m]> | `documentation: True` in cabal.project does not provide documentation for code.. guess it is distinct from -haddock :( |
| 2022-04-18 05:55:28 +0200 | pagnol | (~user@014198154145.ctinets.com) |
| 2022-04-18 05:55:56 +0200 | <abastro[m]> | I guess I cannot have `-haddock` on by default. |
| 2022-04-18 05:58:48 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-18 06:01:20 +0200 | <dmj`> | any recommendations on a javascript generation library? |
| 2022-04-18 06:01:35 +0200 | <dmj`> | thinking jmacro is the way to go |
| 2022-04-18 06:02:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-04-18 06:02:57 +0200 | Macbethwin | Edwin |
| 2022-04-18 06:03:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 06:03:34 +0200 | <dmj`> | or language-javascript |
| 2022-04-18 06:08:52 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-04-18 06:10:33 +0200 | <zebrag> | It is incredibly powerful what can be done with plain gadts, I'm thinking to the R/B-trees. I'm wondering what circumstances necessitate the full fledged dependent types. |
| 2022-04-18 06:12:30 +0200 | <zebrag> | I say that mostly as a reminder, because I'm not sure I could understand the answer, right now |
| 2022-04-18 06:21:16 +0200 | atrptoom^ | (~atrptoom@50-192-56-193-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-04-18 06:32:37 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-04-18 06:42:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-04-18 06:45:28 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.118) |
| 2022-04-18 06:45:30 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 06:48:32 +0200 | cafkafk | (~cafkafk@user/cafkafk) |
| 2022-04-18 06:52:07 +0200 | kaph | (~kaph@151.82.145.67) (Ping timeout: 240 seconds) |
| 2022-04-18 06:56:46 +0200 | pagnol | (~user@014198154145.ctinets.com) (Ping timeout: 246 seconds) |
| 2022-04-18 07:00:49 +0200 | pagnol | (~user@014198154145.ctinets.com) |
| 2022-04-18 07:05:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 07:06:55 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-18 07:07:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-18 07:08:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 07:09:08 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-18 07:10:22 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 07:13:33 +0200 | awshua | (~awshua@035-132-189-162.res.spectrum.com) |
| 2022-04-18 07:19:29 +0200 | awshua | (~awshua@035-132-189-162.res.spectrum.com) (Quit: Igloo IRC: https://iglooirc.com) |
| 2022-04-18 07:24:14 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-04-18 07:30:41 +0200 | <mjrosenb> | Is there an equivalent to Read for Data.Text? |
| 2022-04-18 07:31:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 07:31:54 +0200 | pranaysashank | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection) |
| 2022-04-18 07:32:03 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2022-04-18 07:34:41 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-04-18 07:42:07 +0200 | cafkafk | (~cafkafk@user/cafkafk) (Quit: WeeChat 3.3) |
| 2022-04-18 07:42:34 +0200 | cafkafk | (~cafkafk@user/cafkafk) |
| 2022-04-18 07:43:48 +0200 | MasseR46 | (~MasseR@51.15.143.128) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | noctux | (~noctux@user/noctux) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | ornxka | (~ornxka@user/ornxka) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | urdh | (~urdh@user/urdh) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | w1gz | (~do@159.89.11.133) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | martin02_ | (~silas@141.84.69.76) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | [exa] | (exa@user/exa/x-3587197) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | caubert | (~caubert@136.244.111.235) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | derelict | (~derelict@user/derelict) (*.net *.split) |
| 2022-04-18 07:43:48 +0200 | koz | (~koz@121.99.240.58) (*.net *.split) |
| 2022-04-18 07:43:55 +0200 | [exa] | (exa@srv3.blesmrt.net) |
| 2022-04-18 07:43:55 +0200 | noctux | (~noctux@user/noctux) |
| 2022-04-18 07:44:05 +0200 | Dorkside6 | (~dorkside@208.190.197.222) |
| 2022-04-18 07:44:06 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-04-18 07:44:09 +0200 | caubert | (~caubert@136.244.111.235) |
| 2022-04-18 07:44:16 +0200 | koolazer | (~koo@user/koolazer) |
| 2022-04-18 07:44:17 +0200 | derelict | (~derelict@user/derelict) |
| 2022-04-18 07:44:23 +0200 | MasseR46 | (~MasseR@51.15.143.128) |
| 2022-04-18 07:44:25 +0200 | martin02_ | (~silas@141.84.69.76) |
| 2022-04-18 07:44:25 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-18 07:44:25 +0200 | ornxka | (~ornxka@user/ornxka) |
| 2022-04-18 07:44:25 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2022-04-18 07:44:28 +0200 | <cafkafk> | mjrosenb: I think so, (https://hackage.haskell.org/package/text-2.0/docs/Data-Text.html#t:Read) |
| 2022-04-18 07:44:32 +0200 | koz | (~koz@121.99.240.58) |
| 2022-04-18 07:44:35 +0200 | urdh | (~urdh@user/urdh) |
| 2022-04-18 07:44:41 +0200 | w1gz | (~do@159.89.11.133) |
| 2022-04-18 07:45:07 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-04-18 07:46:54 +0200 | <mjrosenb> | cafkafk: that's saying that you can convert a String to Text via read, e.g. read "hello" :: Text == pack "hello" |
| 2022-04-18 07:47:27 +0200 | deadmarshal_ | (~deadmarsh@95.38.117.118) (Ping timeout: 240 seconds) |
| 2022-04-18 07:47:36 +0200 | <mjrosenb> | I want textRead :: TextRead a => Text -> a |
| 2022-04-18 07:48:15 +0200 | noiobeforebed | (~noiobefor@2001:470:69fc:105::1:3c2d) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | Adran | (adran@botters/adran) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | remexre | (~remexre@user/remexre) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | nckx | (~nckx@tobias.gr) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | cln | (sid336875@id-336875.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | rune | (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | Hash | (~Hash@hey.howstoned.ru) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | Deide | (~deide@user/deide) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | tafa | (~tafa@user/tafa) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | noddy | (~user@user/noddy) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | corisco[m] | (~coriscokd@2001:470:69fc:105::1:dea6) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | AdamS[m] | (~adamvalko@2001:470:69fc:105::1:d5f0) (*.net *.split) |
| 2022-04-18 07:48:15 +0200 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | euphrates[m] | (~euphrates@2001:470:69fc:105::fbb5) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | jakalx | (~jakalx@base.jakalx.net) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | thonkpod_ | (~thonkpod@user/thonkpod) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | gonz_____ | (sid304396@id-304396.lymington.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | supersven | (sid501114@id-501114.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | ehamberg | (sid18208@id-18208.hampstead.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | Arsen | (arsen@managarm/dev/Arsen) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | cls | (~cls@chalk.lubutu.com) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | TMA | (tma@twin.jikos.cz) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | telser | (~quassel@user/telser) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | tureba | (~tureba@tureba.org) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | ikke | (~kevin@alpine/developer/ikke) (*.net *.split) |
| 2022-04-18 07:48:16 +0200 | reda_ | (~reda@user/reda) (*.net *.split) |
| 2022-04-18 07:48:23 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2022-04-18 07:48:25 +0200 | rune | (sid21167@id-21167.ilkley.irccloud.com) |
| 2022-04-18 07:48:25 +0200 | Arsen | (arsen@managarm/dev/Arsen) |
| 2022-04-18 07:48:26 +0200 | supersven | (sid501114@id-501114.ilkley.irccloud.com) |
| 2022-04-18 07:48:27 +0200 | cls | (~cls@chalk.lubutu.com) |
| 2022-04-18 07:48:28 +0200 | reda | (~reda@user/reda) |
| 2022-04-18 07:48:30 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2022-04-18 07:48:30 +0200 | ehamberg | (sid18208@id-18208.hampstead.irccloud.com) |
| 2022-04-18 07:48:30 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2022-04-18 07:48:31 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
| 2022-04-18 07:48:32 +0200 | TMA | (tma@twin.jikos.cz) |
| 2022-04-18 07:48:39 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) |
| 2022-04-18 07:48:39 +0200 | gonz_____ | (sid304396@id-304396.lymington.irccloud.com) |
| 2022-04-18 07:48:43 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
| 2022-04-18 07:48:50 +0200 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2022-04-18 07:48:52 +0200 | telser | (~quassel@user/telser) |
| 2022-04-18 07:48:54 +0200 | cln | (sid336875@id-336875.ilkley.irccloud.com) |
| 2022-04-18 07:48:55 +0200 | thonkpod_ | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 2022-04-18 07:48:57 +0200 | tureba | (~tureba@tureba.org) |
| 2022-04-18 07:48:59 +0200 | thonkpod_ | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Changing host) |
| 2022-04-18 07:48:59 +0200 | thonkpod_ | (~thonkpod@user/thonkpod) |
| 2022-04-18 07:49:08 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
| 2022-04-18 07:49:09 +0200 | tafa | (~tafa@user/tafa) |
| 2022-04-18 07:49:10 +0200 | Hash | (~Hash@hey.howstoned.ru) |
| 2022-04-18 07:49:16 +0200 | nckx | (~nckx@tobias.gr) |
| 2022-04-18 07:49:21 +0200 | ikke | (~kevin@alpine/developer/ikke) |
| 2022-04-18 07:49:28 +0200 | remexre | (~remexre@user/remexre) |
| 2022-04-18 07:50:13 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2022-04-18 07:50:30 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
| 2022-04-18 07:51:02 +0200 | euphrates[m] | (~euphrates@2001:470:69fc:105::fbb5) |
| 2022-04-18 07:51:11 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2022-04-18 07:51:13 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
| 2022-04-18 07:51:16 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
| 2022-04-18 07:51:25 +0200 | Adran | (adran@botters/adran) |
| 2022-04-18 07:52:54 +0200 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) |
| 2022-04-18 07:52:54 +0200 | AdamS[m] | (~adamvalko@2001:470:69fc:105::1:d5f0) |
| 2022-04-18 07:52:55 +0200 | corisco[m] | (~coriscokd@2001:470:69fc:105::1:dea6) |
| 2022-04-18 07:53:40 +0200 | noiobeforebed | (~noiobefor@2001:470:69fc:105::1:3c2d) |
| 2022-04-18 07:54:06 +0200 | Deide | (~deide@user/deide) |
| 2022-04-18 07:54:07 +0200 | pagnol | (~user@014198154145.ctinets.com) (Ping timeout: 240 seconds) |
| 2022-04-18 07:55:08 +0200 | cafkafk | (~cafkafk@user/cafkafk) (Quit: WeeChat 3.3) |
| 2022-04-18 07:56:49 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2022-04-18 07:57:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-18 07:57:10 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) |
| 2022-04-18 08:02:27 +0200 | dlromw^ | (~dlromw@50-192-56-193-static.hfc.comcastbusiness.net) |
| 2022-04-18 08:02:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-18 08:03:09 +0200 | califax | (~califax@user/califx) |
| 2022-04-18 08:14:48 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-18 08:18:25 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Read error: Connection reset by peer) |
| 2022-04-18 08:18:44 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-18 08:19:24 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Max SendQ exceeded) |
| 2022-04-18 08:19:49 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-18 08:34:03 +0200 | mmhat | (~mmh@55d48a03.access.ecotel.net) |
| 2022-04-18 08:34:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-18 08:35:54 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-18 08:40:08 +0200 | acidjnk | (~acidjnk@p200300d0c722df20b0b4ee78edd3ba7a.dip0.t-ipconnect.de) |
| 2022-04-18 08:42:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 08:47:45 +0200 | fendor | (~fendor@178.165.176.112.wireless.dyn.drei.com) |
| 2022-04-18 08:49:00 +0200 | <energizer> | is there a catalog of applications of monoids somewhere? |
| 2022-04-18 08:57:01 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:4900:2e92:53e5:cedf:6bf7) |
| 2022-04-18 09:06:07 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-18 09:08:42 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-18 09:09:47 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 09:13:04 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-18 09:13:12 +0200 | <dragestil> | hi does anyone know how to configure haskell-language-server to use dynamic linking when generating ghc compiling error / warning diagnostics? I'm on arch btw |
| 2022-04-18 09:13:16 +0200 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-04-18 09:13:50 +0200 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) |
| 2022-04-18 09:17:28 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-04-18 09:21:44 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-18 09:22:16 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 09:24:18 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-18 09:28:41 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-18 09:30:53 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-18 09:32:39 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 09:36:33 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-18 09:38:38 +0200 | <abastro[m]> | Why do you think error/warning diagnostics require dynamic linking? Unless you mean the dependencies |
| 2022-04-18 09:39:12 +0200 | timCF | (~timCF@200-149-20-81.sta.estpak.ee) |
| 2022-04-18 09:39:30 +0200 | <abastro[m]> | I guess you can modify cabal.project to change the dependencies to be linked dynamically. |
| 2022-04-18 09:39:45 +0200 | <abastro[m]> | Tho that also modifies how it will be built. |
| 2022-04-18 09:40:03 +0200 | <dragestil> | It's some typical error pointing to a missing -dynamic, something about files missing in base-4.15.1.0 |
| 2022-04-18 09:40:28 +0200 | <dragestil> | reading hls docs it seems I need to fiddle with hie.yaml |
| 2022-04-18 09:40:38 +0200 | <abastro[m]> | Uhm that sounds more like some bug caused elsewhere |
| 2022-04-18 09:40:46 +0200 | <abastro[m]> | Oh. |
| 2022-04-18 09:40:50 +0200 | <abastro[m]> | Which platform? |
| 2022-04-18 09:40:56 +0200 | <dragestil> | huh? |
| 2022-04-18 09:40:58 +0200 | <abastro[m]> | (OS) |
| 2022-04-18 09:41:07 +0200 | <dragestil> | gnu/linux |
| 2022-04-18 09:42:19 +0200 | <abastro[m]> | Strange, I never faced the error involving base missing -dynamic |
| 2022-04-18 09:42:41 +0200 | <abastro[m]> | I think I heard of having to link dynamically in Windows, but not in linux |
| 2022-04-18 09:42:52 +0200 | <dragestil> | it's a perk with arch ;) |
| 2022-04-18 09:43:02 +0200 | <abastro[m]> | Wait |
| 2022-04-18 09:43:11 +0200 | <abastro[m]> | You using system ghc? |
| 2022-04-18 09:43:17 +0200 | <dragestil> | yeah |
| 2022-04-18 09:43:19 +0200 | <abastro[m]> | Installed by arch? |
| 2022-04-18 09:43:25 +0200 | <abastro[m]> | Ye don't do that |
| 2022-04-18 09:43:25 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2022-04-18 09:43:49 +0200 | <abastro[m]> | Build tools have hard time dealing with those package-installed binaries. |
| 2022-04-18 09:44:24 +0200 | <c_wraith> | also, arch installs ghc broken |
| 2022-04-18 09:44:44 +0200 | <abastro[m]> | Is it inherently broken? Meh |
| 2022-04-18 09:44:51 +0200 | <dragestil> | hmm ok, don't really feel like installing two sets of haskell libraries |
| 2022-04-18 09:44:52 +0200 | <timCF> | Hello! I have an issue with one Haskell package, which has large auto-generated Haskell file (from protobuf document) which is bigger than 3MB. When I'm trying to compile this package on machine with RAM < 32GB then compiler fails because of lack of RAM. Maybe there is some easy way how I can fix that without manual job of splitting this auto-generated file into multiple? |
| 2022-04-18 09:45:03 +0200 | <abastro[m]> | I should link ghcup but ghcup is not responding |
| 2022-04-18 09:45:14 +0200 | <abastro[m]> | :ohno: |
| 2022-04-18 09:46:30 +0200 | <abastro[m]> | dragestil: Well I mean, you should never touch arch-shipped ghc. I.e. you should remove that one |
| 2022-04-18 09:47:02 +0200 | <dragestil> | abastro[m]: why? |
| 2022-04-18 09:49:13 +0200 | <c_wraith> | it doesn't include the whole compiler. they removed everything that is needed to support any use case other than compiling haskell tools that arch supplies |
| 2022-04-18 09:50:01 +0200 | <abastro[m]> | Oh, so arch ghc package at least works for building some tools on arch. |
| 2022-04-18 09:50:29 +0200 | <abastro[m]> | Where is ghcup mirror download link.. |
| 2022-04-18 09:51:54 +0200 | <abastro[m]> | It seems arch supplies `ghcup-hs-bin` at least. Maybe that would work |
| 2022-04-18 09:56:00 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-18 09:57:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2022-04-18 10:00:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-18 10:02:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-18 10:04:56 +0200 | jerry99 | (~339ea5e9@cerf.good1.com) (Quit: CGI:IRC) |
| 2022-04-18 10:08:08 +0200 | kaph | (~kaph@151.57.96.74) |
| 2022-04-18 10:19:26 +0200 | <dragestil> | abastro[m]: yeah looks like the git repo is still up https://gitlab.haskell.org/haskell/ghcup-hs |
| 2022-04-18 10:20:38 +0200 | S_Cat | CATS |
| 2022-04-18 10:20:42 +0200 | CATS | S_Cat |
| 2022-04-18 10:20:44 +0200 | kaph | (~kaph@151.57.96.74) (Read error: Connection reset by peer) |
| 2022-04-18 10:23:54 +0200 | <abastro[m]> | Git repo is okay, but haskell.org is ded |
| 2022-04-18 10:25:47 +0200 | Typedfern | (~Typedfern@13.red-88-16-189.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-04-18 10:34:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-18 10:38:49 +0200 | Typedfern | (~Typedfern@27.red-83-37-28.dynamicip.rima-tde.net) |
| 2022-04-18 10:41:08 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-18 10:41:49 +0200 | <albet70> | how that @(->)_ use to limited m? |
| 2022-04-18 10:43:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 10:44:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 10:46:26 +0200 | <abastro[m]> | Uhm sorry I do not understand you, albet |
| 2022-04-18 10:49:07 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-18 10:50:17 +0200 | ZanpakutoB | (~Zanpakuto@2405:204:a399:44f6:4fbd:ca4a:e6c4:c103) |
| 2022-04-18 10:50:27 +0200 | <albet70> | type application |
| 2022-04-18 10:50:43 +0200 | <albet70> | found it, :t fmap @((->) _) |
| 2022-04-18 10:50:47 +0200 | neceve | (~quassel@2.29.116.221) |
| 2022-04-18 10:51:56 +0200 | <dragestil> | in this time of crisis, do people look up docs from local hoogle? |
| 2022-04-18 10:53:02 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 10:56:49 +0200 | frost | (~frost@user/frost) |
| 2022-04-18 10:58:30 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-18 10:58:45 +0200 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-04-18 10:58:50 +0200 | <abastro[m]> | Hackage is alive |
| 2022-04-18 10:59:12 +0200 | <abastro[m]> | So I guess you could search hackage - requires a bit more effort |
| 2022-04-18 11:00:12 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: You have been kicked for being idle) |
| 2022-04-18 11:00:12 +0200 | ThadeuPaula[m] | (~thadeudep@2001:470:69fc:105::1:ded7) (Quit: You have been kicked for being idle) |
| 2022-04-18 11:00:13 +0200 | S_Cat | (apic@brezn3.muc.ccc.de) () |
| 2022-04-18 11:00:17 +0200 | <dragestil> | pacman -S hoogle && hoogle generate && hoogle server |
| 2022-04-18 11:00:30 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 2022-04-18 11:00:30 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) () |
| 2022-04-18 11:00:42 +0200 | ThadeuPaula[m] | (~thadeudep@2001:470:69fc:105::1:ded7) |
| 2022-04-18 11:01:33 +0200 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) |
| 2022-04-18 11:02:26 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-18 11:02:32 +0200 | S_Cat | (apic@brezn3.muc.ccc.de) |
| 2022-04-18 11:02:56 +0200 | <dragestil> | would be nice to have a local hackage too :) |
| 2022-04-18 11:03:17 +0200 | S_Cat | (apic@brezn3.muc.ccc.de) (Client Quit) |
| 2022-04-18 11:03:41 +0200 | mbuf | (~Shakthi@122.162.139.142) (Quit: Leaving) |
| 2022-04-18 11:03:52 +0200 | <albet70> | "dragestil :pacman -S hoogle && hoogle generate && hoogle server", but archlinux is terrible to ghc |
| 2022-04-18 11:04:00 +0200 | CAT_S | (~apic@brezn3.muc.ccc.de) |
| 2022-04-18 11:04:12 +0200 | fciocan | (~fciocan@5.2.198.221) |
| 2022-04-18 11:04:17 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-18 11:05:16 +0200 | <dragestil> | https://github.com/ndmitchell/hoogle/blob/master/docs/Install.md |
| 2022-04-18 11:05:20 +0200 | <abastro[m]> | Oh, I did not know local hoogle was also possible |
| 2022-04-18 11:05:35 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-18 11:07:50 +0200 | <fciocan> | I have some questions regarding GSoC. |
| 2022-04-18 11:08:48 +0200 | <fciocan> | Is the site working for anyone? |
| 2022-04-18 11:08:51 +0200 | <fciocan> | https://summer.haskell.org/ |
| 2022-04-18 11:13:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 11:15:04 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-18 11:17:58 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-18 11:20:33 +0200 | <fciocan> | found nvm |
| 2022-04-18 11:20:35 +0200 | <fciocan> | https://status.haskell.org |
| 2022-04-18 11:22:39 +0200 | acidjnk | (~acidjnk@p200300d0c722df20b0b4ee78edd3ba7a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-18 11:24:23 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Remote host closed the connection) |
| 2022-04-18 11:26:21 +0200 | frost | (~frost@user/frost) |
| 2022-04-18 11:26:41 +0200 | <albet70> | what instance need to implement 'join'? |
| 2022-04-18 11:27:08 +0200 | <abastro[m]> | Monad? |
| 2022-04-18 11:27:19 +0200 | <abastro[m]> | :t join |
| 2022-04-18 11:27:20 +0200 | <lambdabot> | Monad m => m (m a) -> m a |
| 2022-04-18 11:27:27 +0200 | <abastro[m]> | Ye |
| 2022-04-18 11:27:51 +0200 | <abastro[m]> | I wish I had time to participate in GSoC.. |
| 2022-04-18 11:27:53 +0200 | <albet70> | monad requires fmap, ap, bind |
| 2022-04-18 11:28:04 +0200 | neverwas | (jpneverwas@swissbox.unperson.link) (ERC 5.4.1.49860.0.20220416.450 (IRC client for GNU Emacs 28.1)) |
| 2022-04-18 11:28:20 +0200 | <albet70> | and return |
| 2022-04-18 11:28:34 +0200 | <fciocan> | matrix it s also on GSoC? |
| 2022-04-18 11:29:57 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-18 11:32:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 11:32:48 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-18 11:34:25 +0200 | <albet70> | :t join @((->)_) |
| 2022-04-18 11:34:27 +0200 | <lambdabot> | error: parse error on input ‘->’ |
| 2022-04-18 11:35:00 +0200 | odnes | (~odnes@5-203-197-64.pat.nym.cosmote.net) |
| 2022-04-18 11:35:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 11:35:48 +0200 | <abastro[m]> | Hmm |
| 2022-04-18 11:36:02 +0200 | <abastro[m]> | % :t join @((->) _) |
| 2022-04-18 11:36:03 +0200 | <yahb> | abastro[m]: (w -> (w -> a)) -> w -> a |
| 2022-04-18 11:36:22 +0200 | <albet70> | join :: (_ -> _ -> a) -> _ -> a, this is really weird, which case would use this? |
| 2022-04-18 11:37:04 +0200 | <albet70> | join an unary and a value |
| 2022-04-18 11:38:20 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-18 11:39:21 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 11:40:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 11:40:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 11:41:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 11:41:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 11:42:03 +0200 | <abastro[m]> | > join (*) <$> [1..] |
| 2022-04-18 11:42:05 +0200 | <lambdabot> | [1,4,9,16,25,36,49,64,81,100,121,144,169,196,225,256,289,324,361,400,441,484... |
| 2022-04-18 11:42:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 11:42:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 11:43:00 +0200 | <abastro[m]> | > join bimap (+3) (2, 6) |
| 2022-04-18 11:43:03 +0200 | <lambdabot> | (5,9) |
| 2022-04-18 11:44:51 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-04-18 11:47:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 11:48:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 11:48:39 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-18 11:48:47 +0200 | <albet70> | "abastro[m] :> join (*) <$> [1..]", I don't understand why this join has three parameter, but its type only require two |
| 2022-04-18 11:50:43 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-18 11:51:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 11:51:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 11:52:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 11:52:46 +0200 | DNH | (~DNH@2a09:bac0:67::82c:44) |
| 2022-04-18 11:54:46 +0200 | <mjrosenb> | Similar to my previous quesion about read, is there an equivalent for Show that will render a value into a Text? |
| 2022-04-18 11:55:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 11:55:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 11:58:07 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2022-04-18 11:58:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 11:59:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 12:00:05 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 12:04:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 12:04:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 12:05:00 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-18 12:06:13 +0200 | xff0x_ | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2022-04-18 12:10:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 12:10:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 12:11:34 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 12:13:31 +0200 | DNH | (~DNH@2a09:bac0:67::82c:44) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-18 12:15:44 +0200 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-04-18 12:20:01 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-18 12:22:08 +0200 | <dibblego> | albet70: all Haskell functions take one argument, always |
| 2022-04-18 12:22:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 12:22:58 +0200 | acidjnk | (~acidjnk@p200300d0c722df2060ad2e552287866a.dip0.t-ipconnect.de) |
| 2022-04-18 12:23:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2022-04-18 12:24:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 12:26:03 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-18 12:26:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 12:27:57 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-18 12:32:20 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 12:32:44 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 12:32:48 +0200 | robosexual | (~robosexua@77.223.90.202) |
| 2022-04-18 12:33:44 +0200 | robosexual | (~robosexua@77.223.90.202) (Client Quit) |
| 2022-04-18 12:35:17 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-18 12:36:32 +0200 | <maerwald> | dibblego: the Haskell report itself talks of "multiple parameters" in several places |
| 2022-04-18 12:36:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-18 12:37:48 +0200 | <dibblego> | yes so do I, when approximating |
| 2022-04-18 12:39:48 +0200 | fciocan | (~fciocan@5.2.198.221) (Ping timeout: 250 seconds) |
| 2022-04-18 12:40:08 +0200 | <maerwald> | I don't think that's approximation. Those are just different mental models. |
| 2022-04-18 12:40:25 +0200 | <dibblego> | clearly not, see above |
| 2022-04-18 12:40:50 +0200 | <dibblego> | where the approximation is causing confusion |
| 2022-04-18 12:41:38 +0200 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) |
| 2022-04-18 12:42:37 +0200 | <maerwald> | you can regard a function as having multiple parameters and explain that behind the scenes it produces a new function after applying one parameter |
| 2022-04-18 12:42:42 +0200 | <maerwald> | that's not approximation |
| 2022-04-18 12:43:30 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-18 12:45:19 +0200 | <maerwald> | the confusion probably comes from not understanding that `a -> (a -> a)` is `a -> a -> a` |
| 2022-04-18 12:45:48 +0200 | <abastro[m]> | Currying by default! |
| 2022-04-18 12:45:51 +0200 | <maerwald> | `a -> a -> a` is not an approximation |
| 2022-04-18 12:45:54 +0200 | <maerwald> | yes |
| 2022-04-18 12:46:18 +0200 | <abastro[m]> | Btw how do I access ghcup in this darkness of outage |
| 2022-04-18 12:46:48 +0200 | <maerwald> | abastro[m]: try https://mirror.sjtu.edu.cn/docs/ghcup |
| 2022-04-18 12:47:11 +0200 | <abastro[m]> | Oh interesting |
| 2022-04-18 12:47:24 +0200 | <abastro[m]> | (the chinese letters are scart tho) |
| 2022-04-18 12:47:49 +0200 | <abastro[m]> | I wonder how it is also hosted in... well, China |
| 2022-04-18 12:48:46 +0200 | <maerwald> | I can't speak for the safety of that mirror, but afaik it's hosted by university students |
| 2022-04-18 12:50:19 +0200 | <abastro[m]> | Brave uni students |
| 2022-04-18 12:53:59 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-18 12:56:01 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Quit: WeeChat 3.4) |
| 2022-04-18 12:58:25 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-18 12:58:57 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-18 13:00:00 +0200 | <abastro> | Does cabal have an option to replace `-haddock` ghc option? |
| 2022-04-18 13:00:12 +0200 | <abastro> | `Documentation: True` apparently does sth else |
| 2022-04-18 13:04:19 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-18 13:06:13 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 13:07:12 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-18 13:08:48 +0200 | Edwin | edw_afk |
| 2022-04-18 13:11:18 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-18 13:15:49 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-18 13:23:52 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.4.1) |
| 2022-04-18 13:25:55 +0200 | DNH | (~DNH@8.44.0.68) |
| 2022-04-18 13:27:37 +0200 | andrey_ | (~andrey@p508d5b8f.dip0.t-ipconnect.de) |
| 2022-04-18 13:28:57 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-18 13:29:35 +0200 | acidjnk | (~acidjnk@p200300d0c722df2060ad2e552287866a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-18 13:30:07 +0200 | andrey__ | (~andrey@p200300dbcf08ce00369dc5da8f950839.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-18 13:30:25 +0200 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-04-18 13:30:59 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-18 13:32:20 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-18 13:33:13 +0200 | kaph | (~kaph@151.57.105.107) |
| 2022-04-18 13:33:17 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-18 13:33:27 +0200 | <bahamas> | hi. is haskell.org down for anyone else? |
| 2022-04-18 13:34:51 +0200 | kaph | (~kaph@151.57.105.107) (Read error: Connection reset by peer) |
| 2022-04-18 13:35:21 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) |
| 2022-04-18 13:35:24 +0200 | <abastro> | Yes it is having issues |
| 2022-04-18 13:35:57 +0200 | <abastro> | Check https://status.haskell.org |
| 2022-04-18 13:36:38 +0200 | kaph | (~kaph@151.57.105.107) |
| 2022-04-18 13:38:31 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 13:40:28 +0200 | frost | (~frost@user/frost) (Ping timeout: 250 seconds) |
| 2022-04-18 13:42:46 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 13:42:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-18 13:44:18 +0200 | kaph | (~kaph@151.57.105.107) (Read error: Connection reset by peer) |
| 2022-04-18 13:45:10 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-18 13:45:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 13:45:45 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-18 13:46:19 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 13:47:03 +0200 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) |
| 2022-04-18 13:47:35 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 13:48:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 13:49:53 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-18 13:49:58 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 2022-04-18 13:55:23 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-18 13:56:43 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-18 14:04:46 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-18 14:04:59 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-18 14:05:40 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-18 14:05:43 +0200 | <Inst> | Inst> btw, has everyone seen www.haskellcosm.com yet? |
| 2022-04-18 14:05:45 +0200 | <Inst> | < |
| 2022-04-18 14:05:48 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-18 14:05:51 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-18 14:05:56 +0200 | <Inst> | also, data Nada = Nada is not a monad, right? |
| 2022-04-18 14:06:00 +0200 | <Inst> | but it is a functor |
| 2022-04-18 14:06:06 +0200 | <bahamas> | abastro: thanks! |
| 2022-04-18 14:06:11 +0200 | <abastro> | np! |
| 2022-04-18 14:06:26 +0200 | <abastro> | Inst: `data Nada = Nada` lacks the type parameter |
| 2022-04-18 14:06:37 +0200 | <abastro> | So it is not a functor/applicative/monad. |
| 2022-04-18 14:06:42 +0200 | <Inst> | it can't be made into an applicative |
| 2022-04-18 14:06:49 +0200 | <Inst> | it can be a functor, though |
| 2022-04-18 14:07:41 +0200 | <hpc> | it can't be Functor, the kind doesn't match |
| 2022-04-18 14:07:52 +0200 | <hpc> | Functor :: (Type -> Type) -> Constraint |
| 2022-04-18 14:07:53 +0200 | <Inst> | :( |
| 2022-04-18 14:07:54 +0200 | <hpc> | and Nada :: Type |
| 2022-04-18 14:08:04 +0200 | <hpc> | it can be Monoid |
| 2022-04-18 14:08:09 +0200 | <hpc> | Monoid :: Type -> Constraint |
| 2022-04-18 14:08:30 +0200 | <hpc> | btw, Nada = () |
| 2022-04-18 14:11:45 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-18 14:15:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-04-18 14:16:41 +0200 | AlexNoo_ | AlexNoo |
| 2022-04-18 14:22:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-18 14:22:26 +0200 | <shapr> | hpc: did you write hpc? :-) |
| 2022-04-18 14:23:56 +0200 | <abastro> | What is \hpc? |
| 2022-04-18 14:23:58 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-18 14:24:30 +0200 | <shapr> | abastro: https://wiki.haskell.org/Haskell_program_coverage |
| 2022-04-18 14:24:55 +0200 | <shapr> | I got distracted last week, did not get it hooked up to QuickCheck. |
| 2022-04-18 14:25:07 +0200 | <shapr> | But I made a bunch of progress and expect to get it working this week. |
| 2022-04-18 14:27:22 +0200 | dlromw^ | (~dlromw@50-192-56-193-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-04-18 14:33:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-18 14:34:39 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-18 14:34:54 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-18 14:35:06 +0200 | <abastro> | Lol I was trying to click the link, instead I closed it.. |
| 2022-04-18 14:37:36 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 14:38:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-18 14:39:16 +0200 | edw_afk | Edw_zzz |
| 2022-04-18 14:39:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-18 14:40:13 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-18 14:41:47 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 14:45:33 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-04-18 14:46:51 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-18 14:49:52 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-18 14:50:26 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 14:55:44 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-18 14:56:57 +0200 | odnes_ | (~odnes@5-203-240-200.pat.nym.cosmote.net) |
| 2022-04-18 14:59:33 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 15:00:19 +0200 | odnes | (~odnes@5-203-197-64.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 2022-04-18 15:04:36 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-18 15:12:20 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 15:16:06 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 276 seconds) |
| 2022-04-18 15:16:55 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-18 15:17:19 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2022-04-18 15:17:34 +0200 | coot | (~coot@213.134.190.95) (Read error: Connection reset by peer) |
| 2022-04-18 15:17:41 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-18 15:17:45 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-18 15:18:15 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-18 15:21:40 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-04-18 15:23:09 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Remote host closed the connection) |
| 2022-04-18 15:29:29 +0200 | Edw_zzz | chargen |
| 2022-04-18 15:31:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-18 15:32:03 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 15:32:28 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-18 15:34:10 +0200 | timCF | (~timCF@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2022-04-18 15:36:27 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-18 15:37:08 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-18 15:37:08 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-18 15:37:08 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-18 15:38:32 +0200 | ZanpakutoB | (~Zanpakuto@2405:204:a399:44f6:4fbd:ca4a:e6c4:c103) (Ping timeout: 250 seconds) |
| 2022-04-18 15:38:54 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-18 15:42:50 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-18 15:42:56 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-18 15:51:32 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 15:51:53 +0200 | cdman | (~dcm@27.2.217.49) |
| 2022-04-18 15:51:53 +0200 | cdman | (~dcm@27.2.217.49) (Changing host) |
| 2022-04-18 15:51:53 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-18 15:52:37 +0200 | slaydr | (~slaydr@75.164.21.11) (Read error: Connection reset by peer) |
| 2022-04-18 15:55:43 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-18 15:56:21 +0200 | slaydr | (~slaydr@173.239.197.74) |
| 2022-04-18 15:56:51 +0200 | <slaydr> | is haskell.org down? |
| 2022-04-18 15:57:19 +0200 | <geekosaur> | yes. https://status.haskell.org |
| 2022-04-18 15:57:32 +0200 | <slaydr> | thanks |
| 2022-04-18 15:58:11 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 15:59:38 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 16:03:20 +0200 | machinedgod | (~machinedg@24.105.81.50) (Quit: leaving) |
| 2022-04-18 16:03:49 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-18 16:03:59 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-18 16:04:26 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-18 16:04:41 +0200 | yahb | (xsbot@user/mniip/bot/yahb) (Ping timeout: 252 seconds) |
| 2022-04-18 16:06:38 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-18 16:07:08 +0200 | [Leary] | Leary |
| 2022-04-18 16:07:39 +0200 | Leary | Lears |
| 2022-04-18 16:09:01 +0200 | yahb | (xsbot@user/mniip/bot/yahb) |
| 2022-04-18 16:09:47 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-18 16:16:00 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-18 16:17:33 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 16:18:15 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-18 16:20:47 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-18 16:21:40 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-18 16:24:37 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-18 16:24:56 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-18 16:25:19 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-18 16:26:16 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-18 16:28:32 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-18 16:28:34 +0200 | sander | (~sander@user/sander) |
| 2022-04-18 16:34:11 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 16:34:59 +0200 | <shapr> | How do I add a git repo to a cabal file? I want to include a package as a dependency, but it's not on hackage. |
| 2022-04-18 16:35:33 +0200 | <geekosaur> | you use cabal.project to specify the dependency's location |
| 2022-04-18 16:35:52 +0200 | ZanpakutoB | (~Zanpakuto@2405:204:a399:44f6:e15a:1525:40c4:d6a) |
| 2022-04-18 16:36:15 +0200 | <geekosaur> | https://cabal.readthedocs.io/en/3.6/cabal-project.html#specifying-packages-from-remote-version-con… |
| 2022-04-18 16:37:07 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-04-18 16:37:17 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-04-18 16:38:19 +0200 | <shapr> | geekosaur: thank you! |
| 2022-04-18 16:38:47 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-18 16:38:57 +0200 | jinsun__ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-04-18 16:39:32 +0200 | <shapr> | oh, I was putting it into the cabal file for the actual project, oops |
| 2022-04-18 16:40:16 +0200 | <shapr> | hmm |
| 2022-04-18 16:42:30 +0200 | <geekosaur> | yes, this is a bit weird. it makes more sense when you realize that your cabal file becomes the library registration in the package database |
| 2022-04-18 16:42:49 +0200 | <shapr> | I'm still doing something wrong ... |
| 2022-04-18 16:43:00 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-18 16:44:09 +0200 | <shapr> | oh, builds fine without the -eventlog flag in ghc-options |
| 2022-04-18 16:44:23 +0200 | <shapr> | or not :-| |
| 2022-04-18 16:45:44 +0200 | <shapr> | ohh, repo name doesn't match package name, doh! |
| 2022-04-18 16:47:24 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 2022-04-18 16:51:24 +0200 | <shapr> | ok, next question is how to pass multiple default RTS options. I have ghc-options: -eventlog -threaded -rtsopts -with-rtsopts="+RTS -l -N" |
| 2022-04-18 16:51:37 +0200 | <shapr> | but that gives me an ld error |
| 2022-04-18 16:51:49 +0200 | <geekosaur> | I think you have to quote the whole thing |
| 2022-04-18 16:52:04 +0200 | <geekosaur> | "-with-rtsopts=+RTS -l -N" |
| 2022-04-18 16:52:07 +0200 | <shapr> | oh! |
| 2022-04-18 16:52:13 +0200 | <geekosaur> | it's not shell parsing |
| 2022-04-18 16:52:43 +0200 | <shapr> | looks like that works, thanks |
| 2022-04-18 16:53:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-18 16:55:48 +0200 | <shapr> | Hm, I'll have to read the source or bother bgamari, I don't see an eventlog socket created. |
| 2022-04-18 16:56:58 +0200 | <bgamari> | shapr, have you set GHC_EVENTLOG_SOCKET? |
| 2022-04-18 16:57:53 +0200 | <shapr> | yes, via export GHC_EVENTLOG_SOCKET=/tmp/eventlog.sock |
| 2022-04-18 16:58:52 +0200 | <bgamari> | hmm |
| 2022-04-18 16:58:59 +0200 | <shapr> | I'd bet on user error |
| 2022-04-18 16:59:10 +0200 | <bgamari> | what happens if you pass +RTS -l manually? |
| 2022-04-18 16:59:14 +0200 | <bgamari> | to the process |
| 2022-04-18 16:59:15 +0200 | <shapr> | ah, I'll try that |
| 2022-04-18 16:59:57 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 17:00:35 +0200 | <geekosaur> | actually I think you should not be passing +RTS there |
| 2022-04-18 17:00:47 +0200 | <geekosaur> | because it's already RTS options. +RTS is for the command line |
| 2022-04-18 17:01:21 +0200 | <geekosaur> | which may mean the RTS is aborting option parsing from the internal rtsopts |
| 2022-04-18 17:01:43 +0200 | <geekosaur> | so just "-with-rtsopts=-l -N" |
| 2022-04-18 17:02:06 +0200 | drewr | (~drew@user/drewr) (Remote host closed the connection) |
| 2022-04-18 17:03:24 +0200 | <shapr> | Is there a separate binary for tests? |
| 2022-04-18 17:03:29 +0200 | akegalj | (~akegalj@89-172-76-53.adsl.net.t-com.hr) |
| 2022-04-18 17:04:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-18 17:04:39 +0200 | <shapr> | can I use cabal list-bin to find the binary for the test-suite stanza? |
| 2022-04-18 17:05:15 +0200 | <geekosaur> | I think you can specify test:exename |
| 2022-04-18 17:05:28 +0200 | <bgamari> | yes, I believe that geekosaur is right |
| 2022-04-18 17:05:32 +0200 | <bgamari> | you want to drop +RTS |
| 2022-04-18 17:05:39 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:4900:2e92:53e5:cedf:6bf7) (Ping timeout: 240 seconds) |
| 2022-04-18 17:05:43 +0200 | <bgamari> | although I'm not sure why though would cause the flags to be ignored |
| 2022-04-18 17:06:18 +0200 | <geekosaur> | becuase + isn't a valid flag introducer |
| 2022-04-18 17:06:43 +0200 | <geekosaur> | I have no idea how the parsing for those options works thoiugh, it might output a warning message that it found an invalid rtsopt |
| 2022-04-18 17:06:53 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-18 17:09:57 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-18 17:10:04 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 17:10:32 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 17:14:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-18 17:15:37 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-18 17:16:50 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-18 17:19:46 +0200 | <shapr> | maybe I should try this on the main binary first, instead of the test |
| 2022-04-18 17:22:27 +0200 | chomwitt | (~chomwitt@ppp-94-67-221-107.home.otenet.gr) |
| 2022-04-18 17:24:07 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-18 17:25:34 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 250 seconds) |
| 2022-04-18 17:26:08 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-18 17:26:18 +0200 | <shapr> | I wish list-bin would tell me all the targets I could list :-| |
| 2022-04-18 17:26:59 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-04-18 17:29:01 +0200 | <shapr> | I'm making a list of tasks where I can help out, this looks like one https://github.com/haskell/cabal/pull/7500 |
| 2022-04-18 17:32:27 +0200 | DNH | (~DNH@8.44.0.68) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-18 17:33:50 +0200 | <maerwald[m]> | shapr: yeah, cabal autocompletion could do that easily if it was using optparse-applicative |
| 2022-04-18 17:34:43 +0200 | phma | (phma@2001:5b0:212a:f9a8:e995:81c4:a7fc:5c82) (Read error: Connection reset by peer) |
| 2022-04-18 17:35:06 +0200 | <shapr> | looks like manually passing +RTS -l does not wait for socket to be read, hmm |
| 2022-04-18 17:35:29 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-18 17:35:41 +0200 | phma | (~phma@host-67-44-208-158.hnremote.net) |
| 2022-04-18 17:36:22 +0200 | shapr | moves to #haskell-in-depth for rubber duck purposes |
| 2022-04-18 17:38:23 +0200 | <shapr> | bgamari: perhaps I need to use the custom event log writer command line param? |
| 2022-04-18 17:40:06 +0200 | <bgamari> | shapr, are you calling GHC.Eventlog.Socket.start at the beginning of your program? |
| 2022-04-18 17:40:22 +0200 | <shapr> | oh, I didn't know about that! |
| 2022-04-18 17:40:35 +0200 | <bgamari> | oh dear, I suppose we ought to advertise this more clearly |
| 2022-04-18 17:40:37 +0200 | <bgamari> | sorry about that |
| 2022-04-18 17:41:06 +0200 | bgamari | also needs to look through phadej's rewrite as well |
| 2022-04-18 17:41:09 +0200 | <shapr> | I can submit a PR for a complete working example once I have it all sewed together |
| 2022-04-18 17:42:51 +0200 | odnes_ | (~odnes@5-203-240-200.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-18 17:43:23 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-18 17:43:31 +0200 | <bgamari> | that would be great, thanks |
| 2022-04-18 17:43:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-18 17:43:50 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-18 17:43:57 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 17:44:02 +0200 | <bgamari> | shapr, actually, I may try to have a look at Oleg's rewrite now |
| 2022-04-18 17:44:08 +0200 | <bgamari> | shapr, so perhaps base off of that |
| 2022-04-18 17:44:39 +0200 | <shapr> | ok! |
| 2022-04-18 17:44:47 +0200 | <bgamari> | cheesr |
| 2022-04-18 17:45:00 +0200 | adnaahm | (~adnaahm@119.160.64.140) |
| 2022-04-18 17:45:22 +0200 | <c_wraith> | typo or new app for rating cheeses? the world may never know |
| 2022-04-18 17:47:27 +0200 | <bgamari> | hah |
| 2022-04-18 17:52:44 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Read error: Connection reset by peer) |
| 2022-04-18 17:54:15 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-18 17:55:18 +0200 | <geekosaur> | ok, having just trawled RtsFlags.c, that +RTS should have caused the program to abort with an RTS options usage message, not continue without rtsopts |
| 2022-04-18 17:58:09 +0200 | Arsen | (arsen@managarm/dev/Arsen) (Quit: Quit.) |
| 2022-04-18 17:58:27 +0200 | Arsen | (arsen@managarm/dev/Arsen) |
| 2022-04-18 18:00:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-18 18:00:11 +0200 | ThadeuPaula[m] | (~thadeudep@2001:470:69fc:105::1:ded7) (Quit: You have been kicked for being idle) |
| 2022-04-18 18:01:30 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-18 18:12:36 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 18:14:58 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-18 18:15:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 18:17:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 18:17:59 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-18 18:18:34 +0200 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-18 18:19:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-18 18:29:07 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 18:33:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-18 18:34:12 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-18 18:37:02 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-18 18:37:45 +0200 | bgamari | (~bgamari@2001:470:e438::1) (Ping timeout: 248 seconds) |
| 2022-04-18 18:40:40 +0200 | RevoGen | (~RevoGen@c-76-24-25-81.hsd1.ma.comcast.net) |
| 2022-04-18 18:41:52 +0200 | <RevoGen> | I'm in the middle of reading about functor laws. Is there a case where (fmap id = id) holds but (fmap f . fmap g = fmap (f.g)) does not hold? |
| 2022-04-18 18:42:03 +0200 | <c_wraith> | no |
| 2022-04-18 18:42:11 +0200 | <c_wraith> | At least, not in Haskell |
| 2022-04-18 18:42:17 +0200 | <RevoGen> | by that I mean, is there to break the laws? |
| 2022-04-18 18:42:22 +0200 | <c_wraith> | That's a necessary consequence of parametricity |
| 2022-04-18 18:42:57 +0200 | <RevoGen> | Could you elaborate? |
| 2022-04-18 18:44:57 +0200 | bgamari | (~bgamari@64.223.157.187) |
| 2022-04-18 18:45:12 +0200 | <RevoGen> | I was wondering because you can break both laws like so: https://paste.tomsmeding.com/2dKkmghn |
| 2022-04-18 18:45:30 +0200 | <c_wraith> | parametricity is the property that that functions that have parametric polymorphism in their types must behave uniformly regardless of what type is chosen |
| 2022-04-18 18:48:24 +0200 | <c_wraith> | A paper called "Theorems for free" goes into a lot of detail for how to use parametricity to derive theorems about a type automatically |
| 2022-04-18 18:48:48 +0200 | <c_wraith> | https://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9875 for the record |
| 2022-04-18 18:49:10 +0200 | <RevoGen> | thank you, will read |
| 2022-04-18 18:49:21 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-18 18:49:53 +0200 | akegalj_ | (~akegalj@89-172-76-53.adsl.net.t-com.hr) |
| 2022-04-18 18:50:00 +0200 | akegalj | (~akegalj@89-172-76-53.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
| 2022-04-18 18:51:19 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-18 18:52:31 +0200 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 260 seconds) |
| 2022-04-18 18:53:47 +0200 | DNH | (~DNH@8.44.0.68) |
| 2022-04-18 18:54:34 +0200 | <zzz> | RevoGen: laws are not enforced by the compiler, so you can create your own illegal instances (like thr one you pasted) if that's what you're asking |
| 2022-04-18 18:57:44 +0200 | <zzz> | but you shouldn't |
| 2022-04-18 19:00:31 +0200 | werneta | (~werneta@137.79.218.82) |
| 2022-04-18 19:04:27 +0200 | <lyxia> | the question is whether you can choose which of the functor laws to break |
| 2022-04-18 19:10:30 +0200 | <abastro[m]> | Hmm I feel like I am overcomplicating setup by making haskell scripts |
| 2022-04-18 19:16:13 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-18 19:16:22 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2022-04-18 19:16:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-18 19:18:15 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-18 19:20:19 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-18 19:21:04 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-18 19:24:20 +0200 | nil | (~user@2001:da8:d800:611:2ca6:fa07:fb5d:af81) |
| 2022-04-18 19:25:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-18 19:26:03 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-18 19:27:24 +0200 | <nil> | My Cabal is finding older versions of Hackage packages, instead of the latest version. Any idea why? |
| 2022-04-18 19:27:39 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-18 19:27:50 +0200 | <geekosaur> | did you run cabal update? |
| 2022-04-18 19:28:15 +0200 | <geekosaur> | otherwise, it usually means some other package has restrictive version dependencies |
| 2022-04-18 19:28:37 +0200 | <nil> | yep, and I purged my .cabal and .ghc it still happens. |
| 2022-04-18 19:29:10 +0200 | <nil> | Oh, I'm using a Hackage mirror, and the problem is gone once I changed back to hackage.haskell.org |
| 2022-04-18 19:30:28 +0200 | <nil> | weird, the mirror is up-to-date.. hmmm |
| 2022-04-18 19:31:39 +0200 | <nil> | What's the difference between 01-index and 00-index? |
| 2022-04-18 19:33:24 +0200 | <geekosaur> | I think 00-index was used by cabal v1 and is more limited? |
| 2022-04-18 19:33:41 +0200 | <geekosaur> | I only have 01-index and the products generated from it |
| 2022-04-18 19:34:00 +0200 | <sclv> | there's a rather obscure hack by which 00-index doesn't have cabal files past a certain cabal spec version |
| 2022-04-18 19:34:10 +0200 | <sclv> | i'm not particularly fond of that hack |
| 2022-04-18 19:34:16 +0200 | <nil> | Okay, this seems like the problem. 00-index is much more outdated. It does not contain e.g. primitive >= 0.7 |
| 2022-04-18 19:34:40 +0200 | <sclv> | but also yeah, its not clear to my why a mirror would not provide an 01-index |
| 2022-04-18 19:35:02 +0200 | <nil> | the mirror provides 01-index, but cabal somehow ignores it |
| 2022-04-18 19:35:13 +0200 | <nil> | (01-index is not downloaded) |
| 2022-04-18 19:36:18 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-18 19:36:48 +0200 | <nil> | ugh, it's my fault |
| 2022-04-18 19:37:13 +0200 | <nil> | I set `secure: False` in my cabal config. It should be true, or the new index won't be downloaded |
| 2022-04-18 19:41:33 +0200 | <sclv> | here's the patch. we should probably just get rid of it https://github.com/haskell/hackage-server/commit/9a6be09342095dda621c39ed3189904240a458e4 |
| 2022-04-18 19:41:48 +0200 | <sclv> | cabal 1.x versions are well out of suport range imho |
| 2022-04-18 19:42:39 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) |
| 2022-04-18 19:46:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-18 19:47:48 +0200 | yauhsien | (~yauhsien@61-231-24-129.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-04-18 19:47:54 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-18 19:48:51 +0200 | <abastro[m]> | Was its release 10 years ago |
| 2022-04-18 19:53:14 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::7e6a) |
| 2022-04-18 19:54:51 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-18 19:55:52 +0200 | nil | (~user@2001:da8:d800:611:2ca6:fa07:fb5d:af81) (Remote host closed the connection) |
| 2022-04-18 19:57:09 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-18 20:02:58 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-18 20:05:31 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::7e6a) (Quit: Client closed) |
| 2022-04-18 20:06:02 +0200 | ZanpakutoB | (~Zanpakuto@2405:204:a399:44f6:e15a:1525:40c4:d6a) (Quit: Leaving) |
| 2022-04-18 20:06:34 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-18 20:08:37 +0200 | Hash | (~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in) |
| 2022-04-18 20:09:50 +0200 | Hash | (~Hash@hey.howstoned.ru) |
| 2022-04-18 20:12:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-18 20:12:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-18 20:14:36 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 20:15:01 +0200 | sander | (~sander@user/sander) |
| 2022-04-18 20:15:45 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2022-04-18 20:18:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-18 20:19:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 20:19:15 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2022-04-18 20:21:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-18 20:24:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-18 20:29:46 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-18 20:30:33 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-18 20:33:26 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-18 20:33:36 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-04-18 20:34:01 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-18 20:34:45 +0200 | <romesrf> | Hey everyone, I'm getting some errors on all cabal installations/builds, I've even deleted .cabal and .ghc in desperation, has anyone seen this before?: |
| 2022-04-18 20:34:50 +0200 | <romesrf> | "ar: @dist/build/objs-22489/ar22489-2.rsp: No such file or directory" |
| 2022-04-18 20:35:55 +0200 | <romesrf> | ar is llvm related right? |
| 2022-04-18 20:37:09 +0200 | <geekosaur> | ar is toolchain related, it's how you build a static archive (.a file) whether llvm ornot |
| 2022-04-18 20:37:48 +0200 | <geekosaur> | it'slooking for a response file, which is used to avoid command lines that are too long for various OSes |
| 2022-04-18 20:38:00 +0200 | <romesrf> | hmm. |
| 2022-04-18 20:38:24 +0200 | <romesrf> | I'm currently downgrading llvm, shot in the dark |
| 2022-04-18 20:40:19 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 246 seconds) |
| 2022-04-18 20:43:57 +0200 | econo | (uid147250@user/econo) |
| 2022-04-18 20:44:17 +0200 | abiss27 | (~abiss27@user/abiss) |
| 2022-04-18 20:45:56 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-18 20:46:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-18 20:46:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-18 20:48:39 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-18 20:49:46 +0200 | jlamothe | (~jlamothe@198.251.61.229) (Ping timeout: 272 seconds) |
| 2022-04-18 20:49:48 +0200 | <romesrf> | no luck |
| 2022-04-18 20:50:02 +0200 | Hash | (~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in) |
| 2022-04-18 20:53:34 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-04-18 20:53:44 +0200 | <romesrf> | I don't know how to proceed |
| 2022-04-18 20:54:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-18 20:54:39 +0200 | <romesrf> | maybe I'll try a different cabal version (different ghc versions don't solve it) |
| 2022-04-18 21:01:40 +0200 | Hash | (~Hash@hey.howstoned.ru) |
| 2022-04-18 21:02:19 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-04-18 21:02:22 +0200 | DNH | (~DNH@8.44.0.68) (Read error: Connection reset by peer) |
| 2022-04-18 21:02:43 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-18 21:03:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-04-18 21:03:52 +0200 | jerry99 | (~330f3e76@cerf.good1.com) |
| 2022-04-18 21:04:59 +0200 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-04-18 21:07:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-18 21:07:28 +0200 | cheater | cheategg |
| 2022-04-18 21:07:46 +0200 | raehik | (~raehik@78.129.150.254) |
| 2022-04-18 21:08:04 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-18 21:09:52 +0200 | califax | (~califax@user/califx) |
| 2022-04-18 21:10:02 +0200 | Hash | (~Hash@hey.howstoned.ru) (Ping timeout: 250 seconds) |
| 2022-04-18 21:11:48 +0200 | <romesrf> | Is there some way to nuke cabal? |
| 2022-04-18 21:12:10 +0200 | raehik | (~raehik@78.129.150.254) (Ping timeout: 246 seconds) |
| 2022-04-18 21:12:28 +0200 | <sclv> | i don't think cabal calls ar directly -- ghc would |
| 2022-04-18 21:12:36 +0200 | <sclv> | are you on windows or something |
| 2022-04-18 21:13:25 +0200 | <sclv> | or mac or..? |
| 2022-04-18 21:13:29 +0200 | <romesrf> | sclv: I'm on macOS, and use haskell very regularly :) |
| 2022-04-18 21:13:48 +0200 | <romesrf> | I was 1 week or so away, and the last thing I remember is not being able to compile anything with cabal |
| 2022-04-18 21:13:55 +0200 | <romesrf> | Oh, let me try compiling just with ghc |
| 2022-04-18 21:14:03 +0200 | <sclv> | do you have some sort of homebrew setup? |
| 2022-04-18 21:14:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-18 21:14:14 +0200 | <romesrf> | sclv: yes |
| 2022-04-18 21:14:17 +0200 | <sclv> | that's probably it |
| 2022-04-18 21:14:39 +0200 | <sclv> | as i recall, response file support is sort of dodgy among different tools at different versions |
| 2022-04-18 21:14:51 +0200 | <sclv> | and if you have something that stomps the versions that support it with versions that don't |
| 2022-04-18 21:15:02 +0200 | <romesrf> | my troubleshooting went well: ghc fails a main = putStrLn compilation |
| 2022-04-18 21:15:17 +0200 | <sclv> | you can run with verbosity flags and see where what gets invoked |
| 2022-04-18 21:15:30 +0200 | <romesrf> | lol; what a nice error message: "Cannot open macos: No such file or directory" |
| 2022-04-18 21:15:44 +0200 | <romesrf> | I wonder what tries to open *macos** |
| 2022-04-18 21:16:06 +0200 | <sclv> | a ghc you get by any other means than homebrew will not play well with any homebrew tools iirc |
| 2022-04-18 21:16:33 +0200 | <romesrf> | Hm. However I've been using ghcup this whole time. I'll be back, let me follow up on this lead |
| 2022-04-18 21:16:37 +0200 | <jerry99> | when I am migrating to a new stack version, how can I delete all the libraries downloaded for the stack snapshot that I no longer use? I could find directory with ghc that I can just delete, but not sure how I'd track all the libraries, and there doesn't seem to be any automatic option that would remove things that are no longer needed |
| 2022-04-18 21:17:14 +0200 | <sclv> | i recommend you stick to ghc from ghcup |
| 2022-04-18 21:17:23 +0200 | <sclv> | its going to be if you have any nonstandard anything else that ghc uses in your path |
| 2022-04-18 21:17:29 +0200 | <romesrf> | sclv: I do |
| 2022-04-18 21:17:35 +0200 | <sclv> | well that's your problem |
| 2022-04-18 21:17:59 +0200 | even4void | (even4void@came.here.for-some.fun) |
| 2022-04-18 21:18:02 +0200 | <romesrf> | I see |
| 2022-04-18 21:18:13 +0200 | <romesrf> | brb |
| 2022-04-18 21:18:15 +0200 | romesrf | (~romes@185.5.8.134) (Quit: WeeChat 3.4.1) |
| 2022-04-18 21:20:36 +0200 | <sclv> | ah they quit |
| 2022-04-18 21:20:53 +0200 | <sclv> | was going to point out that ~/.ghcup/ghc/9.2.1/lib/ghc-9.2.1/lib/settings or the like will have a setting like "ar supports at file" which can be tweaked |
| 2022-04-18 21:24:23 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Quit: brb) |
| 2022-04-18 21:26:54 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-04-18 21:27:04 +0200 | <romesrf> | Fixed it by reinstalling ghc itself. Should have tried just ghc compilation sooner |
| 2022-04-18 21:27:13 +0200 | <romesrf> | thanks all |
| 2022-04-18 21:27:40 +0200 | <geekosaur> | that prpobably made it recompute the "ar supports at file" setting in lib/settings |
| 2022-04-18 21:27:58 +0200 | <geekosaur> | you left too quickly to see sclv suggest it |
| 2022-04-18 21:29:28 +0200 | fendor | (~fendor@178.165.176.112.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-18 21:30:37 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-18 21:32:55 +0200 | <romesrf> | geekosaur: :) |
| 2022-04-18 21:32:58 +0200 | <romesrf> | sclv: thakm you |
| 2022-04-18 21:33:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-18 21:35:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-18 21:40:34 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-18 21:42:48 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-18 21:44:55 +0200 | romesrf | (~romes@185.5.8.134) (Quit: WeeChat 3.4.1) |
| 2022-04-18 21:45:14 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-04-18 21:45:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 21:46:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-04-18 21:48:29 +0200 | <sm> | jerry99: stack-clean-old, from hackage, is good for that |
| 2022-04-18 21:52:14 +0200 | romesrf | (~romes@185.5.8.134) (Quit: WeeChat 3.4.1) |
| 2022-04-18 21:55:23 +0200 | Hash | (~Hash@hey.howstoned.ru) |
| 2022-04-18 21:55:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-18 21:55:45 +0200 | <shapr> | dons: Is your PhD thesis available somewhere? The link from your website is broken. |
| 2022-04-18 21:58:36 +0200 | acidjnk | (~acidjnk@p200300d0c722df2060ad2e552287866a.dip0.t-ipconnect.de) |
| 2022-04-18 22:00:18 +0200 | <davean> | shapr: Look who is talking about someone's website being broken! |
| 2022-04-18 22:00:23 +0200 | <davean> | *glare* |
| 2022-04-18 22:02:21 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 2022-04-18 22:02:56 +0200 | <shapr> | uhhh, you have a point |
| 2022-04-18 22:03:12 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-18 22:03:47 +0200 | <davean> | shapr: I'm sitting you down early next month and fixing this |
| 2022-04-18 22:04:07 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-18 22:05:20 +0200 | <shapr> | ha, works for me |
| 2022-04-18 22:05:45 +0200 | <janus> | how can i run a script in ghci such that it exits with code 1 if there is e.g. an unbound name in there? |
| 2022-04-18 22:06:08 +0200 | <davean> | janus: uh, what do you mean "run a script in ghci" and "exit"? |
| 2022-04-18 22:06:34 +0200 | <janus> | like, currently i pipe into 'stack ghci' but it doesn't fail when there is e.g. an unknown function |
| 2022-04-18 22:07:15 +0200 | <janus> | so currently it's like 'echo "import A; functionFromA" | stack ghci mycomponent' |
| 2022-04-18 22:07:38 +0200 | <davean> | pipe into ... thats not what ghci is at all for |
| 2022-04-18 22:07:51 +0200 | <davean> | thats crazy talk. theres runghc for stuff like that. |
| 2022-04-18 22:08:30 +0200 | <davean> | ghci is "i", interactive |
| 2022-04-18 22:12:00 +0200 | <davean> | https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=env#cabal-v2-run for the version that handles enviroments. |
| 2022-04-18 22:16:53 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-18 22:19:29 +0200 | <janus> | ok, but i don't use cabal on this project, and 'stack runghc' only takes a module name or source file, not a component |
| 2022-04-18 22:21:12 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-18 22:21:37 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-18 22:22:55 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-18 22:22:58 +0200 | drewr | (~drew@user/drewr) |
| 2022-04-18 22:23:53 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-18 22:24:02 +0200 | <Macbethwin> | eeesebeth |
| 2022-04-18 22:24:16 +0200 | cheategg | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-04-18 22:24:38 +0200 | Macbethwin | Ieeesebeth |
| 2022-04-18 22:26:00 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:d49:457:7f2b:1073) (Ping timeout: 248 seconds) |
| 2022-04-18 22:27:25 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-18 22:28:19 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-18 22:30:42 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-18 22:32:02 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 22:34:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-18 22:35:47 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-18 22:36:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-18 22:37:26 +0200 | cheategg | (~Username@user/cheater) |
| 2022-04-18 22:37:30 +0200 | schuelermine | (~anselmsch@user/schuelermine) |
| 2022-04-18 22:37:31 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2022-04-18 22:37:39 +0200 | <energizer> | :t (->) |
| 2022-04-18 22:37:40 +0200 | <lambdabot> | error: parse error on input ‘->’ |
| 2022-04-18 22:37:43 +0200 | <schuelermine> | Does anybody know if there’s a mirror of cabal documentation somewhere? |
| 2022-04-18 22:37:49 +0200 | <schuelermine> | haskell.org is down for me |
| 2022-04-18 22:38:06 +0200 | <sclv> | cabal.readthedocs.io isn't on haskell.org |
| 2022-04-18 22:39:01 +0200 | <sclv> | janus: use ghc -e instead? |
| 2022-04-18 22:39:29 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (WeeChat 3.3) |
| 2022-04-18 22:39:42 +0200 | <schuelermine> | sclv: oh ok, I was linked to http://www.haskell.org/cabal/users-guide |
| 2022-04-18 22:40:19 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-18 22:40:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-04-18 22:42:29 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 2022-04-18 22:43:39 +0200 | <geekosaur> | :k (->) |
| 2022-04-18 22:43:40 +0200 | <lambdabot> | * -> * -> * |
| 2022-04-18 22:44:34 +0200 | <mjrosenb> | trying again now that there are more people awake... Are there equivalents to Show / Read, which produce and consume Text, respectively? |
| 2022-04-18 22:45:00 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds) |
| 2022-04-18 22:45:13 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-18 22:45:42 +0200 | <schuelermine> | best match basic hoogling finds me is: |
| 2022-04-18 22:45:44 +0200 | <schuelermine> | Text.Pandoc.Shared.stringify :: Walkable Inline a => a -> Text |
| 2022-04-18 22:45:51 +0200 | <schuelermine> | Debian.Pretty.ppText :: Pretty (PP a) => a -> Text |
| 2022-04-18 22:46:01 +0200 | <geekosaur> | not currently, and I think many people would prefer for Read to go away because it's pretty lousy |
| 2022-04-18 22:46:55 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-18 22:48:11 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-18 22:49:26 +0200 | <geekosaur> | janus, https://paste.tomsmeding.com/2ePZ4088 |
| 2022-04-18 22:49:55 +0200 | <geekosaur> | doesn't help with stdin though |
| 2022-04-18 22:50:09 +0200 | <energizer> | why does haskell have functions instead of only types? |
| 2022-04-18 22:50:26 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-18 22:50:34 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-18 22:51:13 +0200 | <energizer> | i guess it's performance |
| 2022-04-18 22:51:29 +0200 | <geekosaur> | that quuestion does not make sense to me |
| 2022-04-18 22:51:41 +0200 | <schuelermine> | energizer: Haskell has values and types |
| 2022-04-18 22:51:49 +0200 | <schuelermine> | There is a function type which is the type of function values |
| 2022-04-18 22:52:02 +0200 | <schuelermine> | Functions’ only special property is that they can be applied |
| 2022-04-18 22:52:09 +0200 | <schuelermine> | Perhaps you are thinking of types as classes? |
| 2022-04-18 22:52:19 +0200 | <geekosaur> | janus, and ghci won't accept /dev/stdin or equivalents apparently |
| 2022-04-18 22:53:46 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-18 22:54:00 +0200 | xkuru | (~xkuru@user/xkuru) (Client Quit) |
| 2022-04-18 22:54:29 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-18 22:54:58 +0200 | <schuelermine> | Would you recommend using cabal’s simple test system or the detailed one, and if the latter, would you recommend using it directly or using something like QuickCheck? |
| 2022-04-18 22:55:30 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-18 22:55:38 +0200 | <sclv> | everyone only really uses the simple system |
| 2022-04-18 22:55:41 +0200 | <geekosaur> | doesn't like -x hs either |
| 2022-04-18 22:55:55 +0200 | <sclv> | and they tend to drive it with a library like tasty, which lets you plug in quickcheck, hspec, etc tests |
| 2022-04-18 22:56:36 +0200 | <schuelermine> | sclv: ok |
| 2022-04-18 22:58:14 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-04-18 23:00:12 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-18 23:03:20 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
| 2022-04-18 23:05:03 +0200 | abiss27 | (~abiss27@user/abiss) (Quit: hasta la vista... tchau!) |
| 2022-04-18 23:06:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-04-18 23:08:59 +0200 | Ieeesebeth | chargen |
| 2022-04-18 23:09:13 +0200 | schuelermine | (~anselmsch@user/schuelermine) (Ping timeout: 256 seconds) |
| 2022-04-18 23:09:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-18 23:15:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-18 23:18:12 +0200 | schuelermine | (~anselmsch@user/schuelermine) |
| 2022-04-18 23:19:10 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-18 23:20:57 +0200 | schuelermine | (~anselmsch@user/schuelermine) (Client Quit) |
| 2022-04-18 23:21:35 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-18 23:23:21 +0200 | <zzz> | energizer: mind that type constructors are functions |
| 2022-04-18 23:24:47 +0200 | <hpc> | shapr: nope, it's short for something else |
| 2022-04-18 23:25:01 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-18 23:25:17 +0200 | <hpc> | its true expansion can be found on hackage though |
| 2022-04-18 23:26:13 +0200 | akegalj_ | (~akegalj@89-172-76-53.adsl.net.t-com.hr) (Ping timeout: 256 seconds) |
| 2022-04-18 23:26:23 +0200 | <RevoGen> | Is there an intuitive way to understand functions as applicatives? I get how to evaluate "f <*> g = \x -> f x (g x)" on paper, I just don't get how something like this would be used |
| 2022-04-18 23:27:47 +0200 | <hpc> | RevoGen: think Reader |
| 2022-04-18 23:27:51 +0200 | <hpc> | @unmtl Reader e a |
| 2022-04-18 23:27:51 +0200 | <lambdabot> | e -> a |
| 2022-04-18 23:28:18 +0200 | <hpc> | the intuition here is that f and g are both getting x as the first argument |
| 2022-04-18 23:28:43 +0200 | <hpc> | mentally erase x, which is the "environment", and what do you get |
| 2022-04-18 23:29:02 +0200 | <RevoGen> | function composition? |
| 2022-04-18 23:29:30 +0200 | <hpc> | almost |
| 2022-04-18 23:29:55 +0200 | <hpc> | if it helps, copy into vim and do some backspacing |
| 2022-04-18 23:31:05 +0200 | <hpc> | the general type of (<*>) is also a clue |
| 2022-04-18 23:31:56 +0200 | <hpc> | as you mentally erase x, also erase f in the type |
| 2022-04-18 23:34:26 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-04-18 23:34:43 +0200 | dextaa | (~dextaa@user/dextaa) (Ping timeout: 256 seconds) |
| 2022-04-18 23:35:27 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2022-04-18 23:36:18 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-18 23:36:49 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-18 23:37:05 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-18 23:38:03 +0200 | Hash | (~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in) |
| 2022-04-18 23:38:35 +0200 | Hash | (~Hash@hey.howstoned.ru) |
| 2022-04-18 23:41:16 +0200 | <janus> | can i get stack to write ghc environment files somehow? |
| 2022-04-18 23:46:10 +0200 | <jerry99> | I have data X = X Y, and data Y = A | B | C <- is there a way to ensure that only X A and X B compile, and that X C gives compile-time error? |
| 2022-04-18 23:46:43 +0200 | <hpc> | there are ways if you don't mind changing Y |
| 2022-04-18 23:47:17 +0200 | <hpc> | for instance, with GADTs/DataKinds data Y where A :: Y False; B :: Y False; C :: Y True |
| 2022-04-18 23:47:18 +0200 | adnaahm | (~adnaahm@119.160.64.140) (Read error: Connection reset by peer) |
| 2022-04-18 23:47:21 +0200 | <jerry99> | C is valid and legal in every other context where A and B would be used |
| 2022-04-18 23:47:23 +0200 | <hpc> | data X = X (Y False) |
| 2022-04-18 23:48:13 +0200 | <hpc> | there's also the possibility that you don't want Y at all |
| 2022-04-18 23:48:23 +0200 | <jerry99> | so I'd rather keep Y as is, and make this requirement part of X type, since X restricts what Y values are valid. is that possibe? |
| 2022-04-18 23:48:42 +0200 | adnaahm | (~adnaahm@119.160.64.140) |
| 2022-04-18 23:48:50 +0200 | <hpc> | maybe you don't expose the ability to manipulate X values outside the module |
| 2022-04-18 23:48:59 +0200 | adnaahm | (~adnaahm@119.160.64.140) (Client Quit) |
| 2022-04-18 23:49:03 +0200 | <hpc> | then provide an api that guarantees the properties you want |
| 2022-04-18 23:49:18 +0200 | <hpc> | Handle is a good example of how that might work |
| 2022-04-18 23:49:27 +0200 | <jerry99> | mkX :: Y -> Maybe X? |
| 2022-04-18 23:49:36 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-18 23:49:37 +0200 | <jerry99> | and don't expose constructor |
| 2022-04-18 23:50:14 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-18 23:50:43 +0200 | <hpc> | yeah |
| 2022-04-18 23:50:58 +0200 | <hpc> | and mkX can have as interesting a type as you want |
| 2022-04-18 23:52:09 +0200 | <jerry99> | ok I think that will do. not the compile-time safety I was looking for, but I'd rather keep Y as is. out of curiosity, if haskell had dependent types, we could put this constraint in the X type, while leaving Y as is? |
| 2022-04-18 23:52:45 +0200 | <hpc> | you still have to change Y |
| 2022-04-18 23:53:09 +0200 | <hpc> | or hmm, you don't but it's still kind of awkward |
| 2022-04-18 23:53:34 +0200 | <jerry99> | just looked at your GADTs example. I don't quite get what this means. data Y where A :: Y False; B :: Y False; C :: Y True |
| 2022-04-18 23:54:08 +0200 | <hpc> | basically, Y :: Bool -> Type, instead of just Y :: Type |
| 2022-04-18 23:54:16 +0200 | <hpc> | a value of type (Y a) can be A, B, or C |
| 2022-04-18 23:54:22 +0200 | <hpc> | a value of type Y False can be A or B |
| 2022-04-18 23:54:29 +0200 | <hpc> | a value of type Y True can be C only |
| 2022-04-18 23:54:56 +0200 | <jerry99> | what if there was Z, that contains different subset of Y? we would use sum type with 3 values instead of bool? |
| 2022-04-18 23:54:58 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-04-18 23:55:06 +0200 | <hpc> | yeah |
| 2022-04-18 23:55:20 +0200 | <hpc> | at that point you might define your own thing |
| 2022-04-18 23:55:32 +0200 | <hpc> | or if you enjoy terrible code you might use Ord :D |
| 2022-04-18 23:55:46 +0200 | <jerry99> | :) |
| 2022-04-18 23:55:59 +0200 | <hpc> | i have thought about crawling hackage for all the enums and seeing how high i can get in an acme-typenats package |
| 2022-04-18 23:56:15 +0200 | <jerry99> | and how could we accept all the Y values, we can just use Y as before? |
| 2022-04-18 23:56:25 +0200 | <hpc> | parametric polymorphism |
| 2022-04-18 23:56:35 +0200 | <jerry99> | ah ok |
| 2022-04-18 23:56:37 +0200 | <hpc> | if the type parameter can be True or False, the constructor can be anything that satisfies either |
| 2022-04-18 23:56:58 +0200 | <hpc> | but then maybe you end up with more troubles, because that 'a' needs to stay the same everywhere it's used |
| 2022-04-18 23:57:18 +0200 | <hpc> | you might end up with lots of (Y a -> Y b) functions that are no longer usable with respect to X |
| 2022-04-18 23:58:30 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-18 23:58:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-18 23:59:05 +0200 | coot | (~coot@213.134.190.95) |