| 2023-07-12 00:00:01 +0200 | <Hecate> | du hast verdammt recht |
| 2023-07-12 00:00:37 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 00:01:40 +0200 | <ph88> | i have a functor and i want to check in a monad if i can convert it's elements. Either i would like to have the errors of elements that could not be converted, or i want all the converted elements back. Something like (a -> m (Either Text b)) -> f a -> m (Either [Text] (f b)) how can i make this function ? |
| 2023-07-12 00:01:51 +0200 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) (Quit: Leaving) |
| 2023-07-12 00:03:02 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-07-12 00:05:25 +0200 | jonathan | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 240 seconds) |
| 2023-07-12 00:05:41 +0200 | <ph88> | it's not possible right ? do i need to implement another typeclass on this type ? |
| 2023-07-12 00:06:03 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-07-12 00:06:47 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-07-12 00:08:12 +0200 | mei | (~mei@user/mei) |
| 2023-07-12 00:08:22 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-12 00:09:33 +0200 | <danse-nr3> | ph88, yeah i think it should be easy. A fmap to act in the monad and another to act on the Either's Right ... although i do not know how to use the prompt here to run examples and show the types |
| 2023-07-12 00:09:40 +0200 | slack1256 | (~slack1256@186.11.22.183) (Ping timeout: 250 seconds) |
| 2023-07-12 00:10:28 +0200 | <danse-nr3> | also i am not sure about the a -> at the beginning of your type and ... maybe an (a -> f a) would be needed? |
| 2023-07-12 00:11:58 +0200 | <danse-nr3> | % () |
| 2023-07-12 00:11:58 +0200 | <yahb2> | () |
| 2023-07-12 00:12:33 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-07-12 00:12:44 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-12 00:12:46 +0200 | <ph88> | danse-nr3, (a -> f a) is `pure` or `return` right ? so i would have to implement the Applicative typeclass for that |
| 2023-07-12 00:12:47 +0200 | <danse-nr3> | % fmap (fmap (+1)) [Either 1 2] |
| 2023-07-12 00:12:47 +0200 | <yahb2> | <interactive>:213:19: error: ; • Illegal term-level use of the type constructor ‘Either’ ; imported from ‘Prelude’ (and originally defined in ‘Data.Either’) ; • In the expression: E... |
| 2023-07-12 00:12:54 +0200 | <mauke> | f = IO, m = Identity: (a -> Either Text b) -> IO a -> Either [Text] (IO b) |
| 2023-07-12 00:12:56 +0200 | <danse-nr3> | % fmap (fmap (+1)) [Right 2] |
| 2023-07-12 00:12:56 +0200 | <yahb2> | [Right 3] |
| 2023-07-12 00:13:27 +0200 | <geekosaur> | this smells like eithyer These or Chronicle |
| 2023-07-12 00:16:29 +0200 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) (Quit: Konversation terminated!) |
| 2023-07-12 00:18:37 +0200 | <tomsmeding> | % :t \f l -> (\r -> case sequence r of Right res -> Right res ; _ -> Left (lefts (toList r))) <$> traverse f l -- ph88 |
| 2023-07-12 00:18:37 +0200 | <yahb2> | <interactive>:1:71: error: Variable not in scope: lefts :: t0 -> a3 ; ; <interactive>:1:78: error: ; Variable not in scope: toList :: t (Either a1 a2) -> t0 |
| 2023-07-12 00:18:48 +0200 | <tomsmeding> | % :m +Data.Either Data.Foldable |
| 2023-07-12 00:18:48 +0200 | <yahb2> | <no output> |
| 2023-07-12 00:18:49 +0200 | <tomsmeding> | % :t \f l -> (\r -> case sequence r of Right res -> Right res ; _ -> Left (lefts (toList r))) <$> traverse f l -- ph88 |
| 2023-07-12 00:18:50 +0200 | <yahb2> | \f l -> (\r -> case sequence r of Right res -> Right res ; _ -> Left (lefts (toList r))) <$> traverse f l -- ph88 ; :: (Traversable t, Applicative f) => ; (a1 -> f (Either a2 b)) -> t a1 ->... |
| 2023-07-12 00:19:01 +0200 | <tomsmeding> | :t \f l -> (\r -> case sequence r of Right res -> Right res ; _ -> Left (lefts (toList r))) <$> traverse f l |
| 2023-07-12 00:19:02 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a1 -> f (Either a2 b)) -> t a1 -> f (Either [a2] (t b)) |
| 2023-07-12 00:19:04 +0200 | <tomsmeding> | better |
| 2023-07-12 00:19:29 +0200 | <tomsmeding> | using Data.Either.lefts |
| 2023-07-12 00:20:59 +0200 | <tomsmeding> | no need for Monad :) |
| 2023-07-12 00:21:47 +0200 | <ph88> | thanks tomsmeding i'll have a look :) |
| 2023-07-12 00:22:09 +0200 | <ph88> | by the way i need monad because of the check i need to do |
| 2023-07-12 00:22:22 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-243-191.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-12 00:22:35 +0200 | <ph88> | hmm actually i don't .. the check is also pure code ^^ |
| 2023-07-12 00:25:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 00:26:06 +0200 | <danse-nr3> | oh i missed the parens at the beginning of your type, apologies |
| 2023-07-12 00:32:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-12 00:32:55 +0200 | <ph88> | np <3 |
| 2023-07-12 00:34:25 +0200 | dsrt^ | (~cd@24.125.210.85) (Ping timeout: 240 seconds) |
| 2023-07-12 00:36:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 00:37:41 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-12 00:37:55 +0200 | ph88 | (~ph88@ltea-178-013-121-150.pools.arcor-ip.net) (Ping timeout: 240 seconds) |
| 2023-07-12 00:38:35 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 00:40:21 +0200 | nick3 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 00:41:50 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 00:42:17 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds) |
| 2023-07-12 00:43:02 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 00:44:46 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) (Quit: Client closed) |
| 2023-07-12 00:45:51 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 245 seconds) |
| 2023-07-12 00:49:47 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2023-07-12 00:52:46 +0200 | dsrt^ | (~cd@24.125.210.85) |
| 2023-07-12 00:56:09 +0200 | ph88 | (~ph88@ltea-178-013-121-150.pools.arcor-ip.net) |
| 2023-07-12 00:59:25 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-07-12 01:01:17 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 01:02:26 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-07-12 01:02:31 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-07-12 01:03:04 +0200 | danse-nr3 | (~francesco@151.43.248.110) (Ping timeout: 252 seconds) |
| 2023-07-12 01:05:41 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 246 seconds) |
| 2023-07-12 01:06:43 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-07-12 01:07:47 +0200 | falafel_ | (~falafel@2603-7000-a700-8710-5f49-cb4b-40df-fc3d.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-12 01:08:24 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-07-12 01:08:29 +0200 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 01:10:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-07-12 01:13:18 +0200 | ph88 | (~ph88@ltea-178-013-121-150.pools.arcor-ip.net) (Quit: Leaving) |
| 2023-07-12 01:13:38 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 01:16:11 +0200 | liminal | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-12 01:18:08 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 01:30:00 +0200 | lainon | (~textual@2601:7c0:cb00:c0a0:68c0:c255:9c8b:3dd) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-07-12 01:34:03 +0200 | Guest|11 | (~Guest|11@51-171-234-195-dynamic.agg2.kle.prp-wtd.eircom.net) |
| 2023-07-12 01:34:13 +0200 | Guest|11 | (~Guest|11@51-171-234-195-dynamic.agg2.kle.prp-wtd.eircom.net) (Client Quit) |
| 2023-07-12 01:38:58 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-12 01:46:17 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
| 2023-07-12 01:46:32 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-12 01:48:02 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 250 seconds) |
| 2023-07-12 01:48:02 +0200 | mauke_ | mauke |
| 2023-07-12 01:48:15 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-07-12 01:49:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-12 01:51:10 +0200 | nick3 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 01:54:23 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-12 01:55:42 +0200 | nick3 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 260 seconds) |
| 2023-07-12 01:58:57 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-07-12 02:01:13 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-12 02:01:50 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) |
| 2023-07-12 02:05:32 +0200 | Wojciech_K | (~Wojciech_@2a01:4f9:6a:18a8::239) (Ping timeout: 240 seconds) |
| 2023-07-12 02:11:21 +0200 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2023-07-12 02:18:32 +0200 | vulpine | (xfnw@tilde.team) |
| 2023-07-12 02:18:33 +0200 | Wojciech_K | (~Wojciech_@maluch.mikr.us) |
| 2023-07-12 02:19:05 +0200 | myxokephale | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-07-12 02:22:55 +0200 | Wojciech_K | (~Wojciech_@maluch.mikr.us) (Ping timeout: 240 seconds) |
| 2023-07-12 02:26:32 +0200 | ryantrinkle | (~ryantrink@204.2.90.61) (Ping timeout: 246 seconds) |
| 2023-07-12 02:27:13 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 02:28:38 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-07-12 02:38:58 +0200 | Vajb | (~Vajb@2001:999:480:2329:e191:822:3665:ff4f) |
| 2023-07-12 02:41:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-07-12 02:45:59 +0200 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) |
| 2023-07-12 02:48:25 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-07-12 02:48:37 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 02:49:28 +0200 | zzz | yin |
| 2023-07-12 02:50:15 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-07-12 02:52:12 +0200 | razetime | (~quassel@117.193.6.156) |
| 2023-07-12 02:52:14 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-12 02:53:02 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 02:55:27 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-12 02:55:27 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-12 02:55:27 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 02:58:51 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 03:01:42 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-07-12 03:02:42 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf8:b700:495f:b4e5:4ed5:d51) |
| 2023-07-12 03:03:55 +0200 | aforemny | (~aforemny@i59F516CB.versanet.de) (Ping timeout: 240 seconds) |
| 2023-07-12 03:04:27 +0200 | mei | (~mei@user/mei) |
| 2023-07-12 03:10:45 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-12 03:12:52 +0200 | yin | onion |
| 2023-07-12 03:12:56 +0200 | onion | yin |
| 2023-07-12 03:16:00 +0200 | ryantrinkle | (~ryantrink@204.2.90.61) |
| 2023-07-12 03:16:51 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-12 03:21:18 +0200 | danza | (~francesco@151.35.238.186) |
| 2023-07-12 03:22:25 +0200 | danza | (~francesco@151.35.238.186) (Read error: Connection reset by peer) |
| 2023-07-12 03:22:43 +0200 | danza | (~francesco@151.35.238.186) |
| 2023-07-12 03:23:56 +0200 | falafel_ | (~falafel@2603-7000-a700-8710-216f-3bcf-65ac-08eb.res6.spectrum.com) |
| 2023-07-12 03:24:40 +0200 | dmenz | (~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) |
| 2023-07-12 03:36:02 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-07-12 03:36:50 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-12 03:42:21 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 03:46:13 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-12 03:47:06 +0200 | liminal | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Remote host closed the connection) |
| 2023-07-12 03:47:12 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 03:48:32 +0200 | liminal | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-12 03:50:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-12 03:56:41 +0200 | boxscape_ | (~boxscape_@81.191.27.107) (Quit: Connection closed) |
| 2023-07-12 04:01:41 +0200 | <danza> | i do not understand ... i have some local packages and trying to install with cabal v2-install. I am using a cabal.project to point to their sdist. They are all found except one, but everything seems correct |
| 2023-07-12 04:03:35 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::5b03) (Ping timeout: 264 seconds) |
| 2023-07-12 04:04:41 +0200 | l3th0s | (~goirc@2600:1700:1f67:8000::24) |
| 2023-07-12 04:04:59 +0200 | <danza> | does anyone know a better alternative to a cabal.project for local packages? It worked fine for me in the past, but this time it seems stuck |
| 2023-07-12 04:05:50 +0200 | <jackdk> | can you pastebin your cabal.project? |
| 2023-07-12 04:06:31 +0200 | <sclv> | projects do not work with v2 install just v2 build etc |
| 2023-07-12 04:06:31 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2023-07-12 04:06:43 +0200 | l3th0s | (~goirc@2600:1700:1f67:8000::24) (Remote host closed the connection) |
| 2023-07-12 04:06:50 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-07-12 04:06:56 +0200 | <sclv> | to use a project and install, just do a v2 build and copy the bin by hand |
| 2023-07-12 04:07:35 +0200 | <sclv> | this is because v2 install will create an sdist and install from that, just as if the package came from hackage |
| 2023-07-12 04:08:29 +0200 | <danza> | sure jackdk, here https://paste.tomsmeding.com/XiiuYaIV it is |
| 2023-07-12 04:09:13 +0200 | <danza> | sclv, actually bins are copied and sdists are in the same dir. It works with all other packages, just that `margin` fails, but the .gz is in the sdist |
| 2023-07-12 04:09:35 +0200 | mud | (~mud@user/kadoban) |
| 2023-07-12 04:10:52 +0200 | Guest|79 | (~Guest|79@176.122.105.143) |
| 2023-07-12 04:11:01 +0200 | <sclv> | ok sure if the project just points its ok. but not if they depend on one another or they’re projects which a local package depends on |
| 2023-07-12 04:11:03 +0200 | <danza> | here https://paste.tomsmeding.com/jLs0gREo my dir structure. `visie` for instance is found, while `margin` is not |
| 2023-07-12 04:11:05 +0200 | Guest|79 | (~Guest|79@176.122.105.143) (Client Quit) |
| 2023-07-12 04:11:45 +0200 | <danza> | hmm no, exmargination depends on margin directly |
| 2023-07-12 04:12:05 +0200 | <sclv> | alright nevermind then. |
| 2023-07-12 04:12:23 +0200 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2023-07-12 04:12:54 +0200 | td_ | (~td@i5387091E.versanet.de) (Ping timeout: 260 seconds) |
| 2023-07-12 04:13:03 +0200 | falafel_ | (~falafel@2603-7000-a700-8710-216f-3bcf-65ac-08eb.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-12 04:13:55 +0200 | <sclv> | is the problem just with install or also with build |
| 2023-07-12 04:14:35 +0200 | td_ | (~td@i53870932.versanet.de) |
| 2023-07-12 04:14:46 +0200 | janus | (janus@anubis.0x90.dk) (Ping timeout: 260 seconds) |
| 2023-07-12 04:14:50 +0200 | <danza> | also with build |
| 2023-07-12 04:15:13 +0200 | <danza> | i notice that the noindex.cache is always modified after the .gz in other packages, but not in `margin`. If that is generated by cabal, maybe something fails before. No track of that in the log with --verbose=3 |
| 2023-07-12 04:15:28 +0200 | janus | (janus@anubis.0x90.dk) |
| 2023-07-12 04:15:42 +0200 | Deide | (d0130db69a@user/deide) (Ping timeout: 260 seconds) |
| 2023-07-12 04:16:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 04:17:21 +0200 | <jackdk> | I'm curious why you refer to the dependent projects by `repository` rather than under `packages:` or as `source-repository-package`... I haven't seen that before |
| 2023-07-12 04:17:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 04:18:41 +0200 | <danza> | jackdk, i got that structure from an answer on cabal's github and just kept using it. It used to work. Let me check the fine doc |
| 2023-07-12 04:21:42 +0200 | Ekho | (~Ekho@user/ekho) |
| 2023-07-12 04:21:52 +0200 | <danza> | well the doc says `packages` are those to be built https://cabal.readthedocs.io/en/3.4/cabal-project.html#cfg-field-packages, not dependencies |
| 2023-07-12 04:22:03 +0200 | <sclv> | the `repository` thing is really setting up a local repository |
| 2023-07-12 04:22:54 +0200 | <sclv> | so packages in those repositories are treated as though they were on hackage, etc. |
| 2023-07-12 04:23:16 +0200 | <danza> | yes, it was suggested here https://github.com/haskell/cabal/issues/8714 |
| 2023-07-12 04:23:27 +0200 | <sclv> | i think it makes sense, just replying to jack |
| 2023-07-12 04:24:11 +0200 | <danza> | yeah just adding a reference because that is not in the project.cabal section |
| 2023-07-12 04:24:46 +0200 | <danza> | *cabal.project |
| 2023-07-12 04:25:01 +0200 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 245 seconds) |
| 2023-07-12 04:26:26 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-12 04:26:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-12 04:26:26 +0200 | finn_elija | FinnElija |
| 2023-07-12 04:26:42 +0200 | chfont | (~mango@131.252.68.25) |
| 2023-07-12 04:29:42 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 260 seconds) |
| 2023-07-12 04:29:50 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-07-12 04:30:29 +0200 | <sclv> | truly mysterious what could be wrong here, sorry |
| 2023-07-12 04:30:48 +0200 | <danza> | hehe isn't it? Thanks anyway! |
| 2023-07-12 04:30:49 +0200 | <sclv> | could try reordering the imports and double checking the sdist is correct... |
| 2023-07-12 04:30:58 +0200 | <sclv> | or https://cabal.readthedocs.io/en/3.4/cabal-project.html#cfg-field-active-repositories to set the order of the repositories. |
| 2023-07-12 04:31:07 +0200 | <sclv> | none of that should matter, but might shake out some oddity |
| 2023-07-12 04:33:08 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-12 04:33:08 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-12 04:33:08 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 04:33:46 +0200 | <danza> | i guess i could try to build cabal locally, add some traces |
| 2023-07-12 04:36:33 +0200 | hsw__ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2023-07-12 04:36:47 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-07-12 04:38:58 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 04:43:55 +0200 | phma | (phma@2001:5b0:211f:7128:2fba:fcc2:b8b6:7566) (Read error: Connection reset by peer) |
| 2023-07-12 04:44:19 +0200 | phma | (phma@2001:5b0:211f:7128:2fba:fcc2:b8b6:7566) |
| 2023-07-12 04:45:53 +0200 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) |
| 2023-07-12 04:47:25 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 04:51:55 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-07-12 04:55:37 +0200 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 05:01:59 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 05:06:54 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 252 seconds) |
| 2023-07-12 05:09:08 +0200 | chfont | (~mango@131.252.68.25) (Quit: Leaving) |
| 2023-07-12 05:09:20 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-07-12 05:10:47 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 05:15:25 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 05:16:12 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-12 05:16:47 +0200 | falafel | (~falafel@2603-7000-a700-8710-59e6-239b-7840-0980.res6.spectrum.com) |
| 2023-07-12 05:19:04 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-12 05:21:12 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2023-07-12 05:22:02 +0200 | dmenz | (~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) (Quit: Leaving) |
| 2023-07-12 05:22:24 +0200 | koz | (~koz@121.99.240.58) |
| 2023-07-12 05:24:42 +0200 | nick3 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 05:36:26 +0200 | phma | (phma@2001:5b0:211f:7128:2fba:fcc2:b8b6:7566) (Read error: Connection reset by peer) |
| 2023-07-12 05:36:50 +0200 | phma | (~phma@host-67-44-208-125.hnremote.net) |
| 2023-07-12 05:39:42 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf8:b700:495f:b4e5:4ed5:d51) (Ping timeout: 260 seconds) |
| 2023-07-12 05:39:43 +0200 | aforemny | (~aforemny@2001:9e8:6cc8:7800:6851:c622:94fb:817b) |
| 2023-07-12 05:46:18 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-07-12 05:53:05 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-07-12 06:00:52 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2023-07-12 06:01:28 +0200 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) (Remote host closed the connection) |
| 2023-07-12 06:01:53 +0200 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) |
| 2023-07-12 06:03:44 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 06:04:13 +0200 | marea_ | (~francesco@151.57.230.98) |
| 2023-07-12 06:04:29 +0200 | marea_ | danza_ |
| 2023-07-12 06:06:00 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-12 06:06:02 +0200 | razetime | (~quassel@117.193.6.156) (Ping timeout: 245 seconds) |
| 2023-07-12 06:06:33 +0200 | danza | (~francesco@151.35.238.186) (Ping timeout: 246 seconds) |
| 2023-07-12 06:08:18 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 06:08:35 +0200 | rainbyte | (~rainbyte@181.31.239.226) (Remote host closed the connection) |
| 2023-07-12 06:13:33 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-07-12 06:16:25 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-07-12 06:18:49 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-07-12 06:19:20 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-07-12 06:23:58 +0200 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) (Remote host closed the connection) |
| 2023-07-12 06:24:32 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-07-12 06:27:58 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:b5e2:1160:553c:b6d1) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-07-12 06:33:55 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-07-12 06:35:20 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 06:42:44 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 06:47:53 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 06:48:21 +0200 | <arahael_> | I'm attempting to use the haskell-language-server in neovim, and I apparently seem to have it set up, but... I have no idea how to use it. Are there any docs I can use? |
| 2023-07-12 06:48:50 +0200 | <arahael_> | As an example, I'm using https://github.com/mrcjkb/haskell-tools.nvim and one thing that page mentions is "With the <C-r> keymap, the Hoogle search telescope integration can be used to fill holes.". So... How do I do that? |
| 2023-07-12 06:49:49 +0200 | <arahael_> | There's no intellisense or anything of that nature eitehr. |
| 2023-07-12 06:52:30 +0200 | <arahael_> | That page has a whole bunch of example screen recordings, but not a single one explains how to actually *use* the functionality that's very nicely shown in those screen recordings. |
| 2023-07-12 06:52:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 06:52:55 +0200 | Vajb | (~Vajb@2001:999:480:2329:e191:822:3665:ff4f) (Ping timeout: 240 seconds) |
| 2023-07-12 06:54:02 +0200 | liminal | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Remote host closed the connection) |
| 2023-07-12 06:54:28 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-12 06:58:42 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 07:03:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 07:04:09 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 07:09:10 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 07:09:18 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-07-12 07:11:41 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 07:12:16 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 07:13:17 +0200 | razetime | (~quassel@117.193.6.156) |
| 2023-07-12 07:13:55 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 07:14:17 +0200 | trev | (~trev@user/trev) |
| 2023-07-12 07:16:20 +0200 | Vajb | (~Vajb@2001:999:500:b5f6:f63a:e533:1d17:b596) |
| 2023-07-12 07:18:21 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 07:19:22 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:acd5:797:c82b:723c) |
| 2023-07-12 07:21:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 07:24:44 +0200 | acidjnk | (~acidjnk@p200300d6e7072f90288a8fb3de4c9af6.dip0.t-ipconnect.de) |
| 2023-07-12 07:26:54 +0200 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) |
| 2023-07-12 07:28:11 +0200 | Vajb | (~Vajb@2001:999:500:b5f6:f63a:e533:1d17:b596) (Ping timeout: 264 seconds) |
| 2023-07-12 07:29:10 +0200 | Vajb | (~Vajb@2001:999:585:650f:1084:a7c2:f741:6704) |
| 2023-07-12 07:29:24 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 07:29:24 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 07:29:24 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 07:33:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 07:33:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-07-12 07:33:54 +0200 | XliminalX | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-12 07:34:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-12 07:35:29 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-07-12 07:38:59 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 07:38:59 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 07:38:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 07:42:56 +0200 | razetime | (~quassel@117.193.6.156) (Ping timeout: 245 seconds) |
| 2023-07-12 07:43:34 +0200 | razetime | (~quassel@117.193.2.215) |
| 2023-07-12 07:44:36 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-12 07:44:52 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 240 seconds) |
| 2023-07-12 07:48:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 07:48:55 +0200 | falafel | (~falafel@2603-7000-a700-8710-59e6-239b-7840-0980.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-07-12 07:49:31 +0200 | turlando | (~turlando@user/turlando) |
| 2023-07-12 07:51:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 07:56:52 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 07:56:52 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 07:56:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 07:59:24 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 08:01:08 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-07-12 08:01:29 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2023-07-12 08:01:41 +0200 | jmdaemon- | (~jmdaemon@user/jmdaemon) |
| 2023-07-12 08:02:09 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-07-12 08:02:13 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-07-12 08:02:14 +0200 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) |
| 2023-07-12 08:02:32 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-07-12 08:02:32 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-12 08:02:32 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 246 seconds) |
| 2023-07-12 08:04:25 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-07-12 08:05:23 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
| 2023-07-12 08:18:41 +0200 | srk | (~sorki@user/srk) (Remote host closed the connection) |
| 2023-07-12 08:19:00 +0200 | srk | (~sorki@user/srk) |
| 2023-07-12 08:19:25 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2023-07-12 08:27:48 +0200 | michalz | (~michalz@185.246.207.197) |
| 2023-07-12 08:30:32 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 08:31:34 +0200 | mei | (~mei@user/mei) |
| 2023-07-12 08:40:15 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-07-12 08:47:06 +0200 | dcoutts | (~duncan@195.80.64.243) (Ping timeout: 245 seconds) |
| 2023-07-12 08:53:59 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 08:56:35 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2023-07-12 08:58:03 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 08:59:26 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) () |
| 2023-07-12 09:01:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 09:01:19 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-12 09:02:01 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 09:02:16 +0200 | jonathan | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-07-12 09:02:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-12 09:06:45 +0200 | ripspin | (~chatzilla@1.145.204.107) |
| 2023-07-12 09:08:42 +0200 | biberu | (~biberu@user/biberu) |
| 2023-07-12 09:08:43 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-12 09:08:50 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-12 09:09:24 +0200 | JimL | (~quassel@89.162.16.26) (Quit: No Ping reply in 180 seconds.) |
| 2023-07-12 09:10:29 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 09:10:36 +0200 | JimL | (~quassel@89.162.16.26) |
| 2023-07-12 09:11:29 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-12 09:16:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 09:20:51 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-12 09:26:53 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 09:32:17 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2023-07-12 09:34:07 +0200 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) |
| 2023-07-12 09:37:14 +0200 | nick3 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 260 seconds) |
| 2023-07-12 09:37:29 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-12 09:40:25 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2023-07-12 09:42:42 +0200 | hisa38778 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-07-12 09:43:46 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-07-12 09:44:42 +0200 | hisa3877 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-12 09:44:42 +0200 | hisa38778 | hisa3877 |
| 2023-07-12 09:45:29 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-12 09:47:41 +0200 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) |
| 2023-07-12 09:54:11 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-07-12 09:55:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-12 10:01:02 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 10:04:13 +0200 | marea_ | (~francesco@151.57.234.225) |
| 2023-07-12 10:05:14 +0200 | danza_ | (~francesco@151.57.230.98) (Read error: Connection reset by peer) |
| 2023-07-12 10:05:26 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 10:11:29 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 10:12:37 +0200 | zack | (~idk@ftth-38-126-77-249.colton.com) |
| 2023-07-12 10:13:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 10:15:15 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-043.2.247.pool.telefonica.de) |
| 2023-07-12 10:16:32 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 10:18:52 +0200 | zack | (~idk@ftth-38-126-77-249.colton.com) (Ping timeout: 240 seconds) |
| 2023-07-12 10:19:58 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 10:19:58 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 10:19:58 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 10:26:36 +0200 | razetime | (~quassel@117.193.2.215) (Ping timeout: 246 seconds) |
| 2023-07-12 10:26:57 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-12 10:32:10 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-07-12 10:32:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) (Remote host closed the connection) |
| 2023-07-12 10:34:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 10:36:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-12 10:37:56 +0200 | CiaoSen | (~Jura@2a05:5800:2a3:e00:664b:f0ff:fe37:9ef) |
| 2023-07-12 10:39:17 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-12 10:44:24 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 10:44:25 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 10:44:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 10:45:00 +0200 | Guest5595 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-12 10:46:29 +0200 | michalz | (~michalz@185.246.207.197) (Ping timeout: 246 seconds) |
| 2023-07-12 10:47:20 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-12 10:49:00 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-12 10:49:51 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 10:49:51 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 10:49:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 10:50:43 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 10:53:07 +0200 | mei | (~mei@user/mei) |
| 2023-07-12 10:53:25 +0200 | Vajb | (~Vajb@2001:999:585:650f:1084:a7c2:f741:6704) (Ping timeout: 240 seconds) |
| 2023-07-12 10:54:05 +0200 | razetime | (~quassel@117.193.2.215) |
| 2023-07-12 10:54:42 +0200 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 10:54:42 +0200 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 10:54:42 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 10:54:57 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-12 10:55:10 +0200 | dobblego | dibblego |
| 2023-07-12 10:55:27 +0200 | Vajb | (~Vajb@2001:999:230:1354:6eeb:613:b1fe:6595) |
| 2023-07-12 10:56:45 +0200 | Guest5595 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2023-07-12 10:59:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 11:00:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-12 11:00:16 +0200 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 11:00:16 +0200 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 11:00:16 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 11:00:29 +0200 | danse-nr3 | (~francesco@151.57.234.225) |
| 2023-07-12 11:00:47 +0200 | dobblego | dibblego |
| 2023-07-12 11:03:08 +0200 | marea_ | (~francesco@151.57.234.225) (Ping timeout: 250 seconds) |
| 2023-07-12 11:05:37 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-07-12 11:06:34 +0200 | michalz | (~michalz@185.246.207.203) |
| 2023-07-12 11:07:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-12 11:09:45 +0200 | Deide | (d0130db69a@user/deide) |
| 2023-07-12 11:14:08 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 11:14:08 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 11:14:08 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 11:17:01 +0200 | rembo10 | (~rembo10@2a01:4f9:c010:b5b9::1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-12 11:18:24 +0200 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 11:18:24 +0200 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 11:18:24 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 11:19:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-12 11:19:14 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-07-12 11:19:24 +0200 | dobblego | dibblego |
| 2023-07-12 11:19:27 +0200 | Vajb | (~Vajb@2001:999:230:1354:6eeb:613:b1fe:6595) (Ping timeout: 246 seconds) |
| 2023-07-12 11:26:16 +0200 | Guest3210 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-12 11:26:56 +0200 | Guest3210 | (~finn@176-151-21-224.abo.bbox.fr) (Client Quit) |
| 2023-07-12 11:27:04 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-07-12 11:27:56 +0200 | Guest1762 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-12 11:29:58 +0200 | Guest1762 | (~finn@176-151-21-224.abo.bbox.fr) (Client Quit) |
| 2023-07-12 11:30:12 +0200 | Guest2723 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-12 11:30:27 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-07-12 11:30:41 +0200 | underlap | (~underlap@14.46.99.195.dyn.plus.net) |
| 2023-07-12 11:31:21 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-12 11:31:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-07-12 11:32:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-12 11:33:01 +0200 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection) |
| 2023-07-12 11:33:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) |
| 2023-07-12 11:33:20 +0200 | fendor | (~fendor@2a02:8388:1640:be00:bfd6:9a8f:d4f6:3a03) |
| 2023-07-12 11:34:11 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-12 11:35:08 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection timed out) |
| 2023-07-12 11:35:25 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: brb/bbiab) |
| 2023-07-12 11:37:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) (Ping timeout: 246 seconds) |
| 2023-07-12 11:37:30 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 11:37:30 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 11:37:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 11:40:20 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2023-07-12 11:44:14 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 11:46:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-12 11:46:23 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 11:46:23 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 11:46:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 11:52:47 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-07-12 11:55:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 11:58:25 +0200 | danse-nr3 | (~francesco@151.57.234.225) (Ping timeout: 240 seconds) |
| 2023-07-12 11:58:52 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-12 11:59:58 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 11:59:58 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 11:59:58 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 12:00:40 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-07-12 12:00:56 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 12:02:14 +0200 | cheater | (~Username@user/cheater) |
| 2023-07-12 12:03:59 +0200 | <yin> | arahael_: this was the only sane way i could get it running: https://github.com/neovim/nvim-lspconfig |
| 2023-07-12 12:05:11 +0200 | <underlap> | I'd like to know how Megaparsec handles parse errors in parsers constructed using <|>. I can't find any docs about this. I *may* have found the relevant source code (https://github.com/mrkkrp/megaparsec/blob/master/Text/Megaparsec/Internal.hs#L346-L357), but I can't even parses the code with my level of Haskell knowledge. So, unless someone can point me at some docs or explain the behaviour, perhaps someone could help me understand how |
| 2023-07-12 12:05:11 +0200 | <underlap> | L353 defines err'. (I haven't seen a let..in statement with multiple variables on the LHS before. Maybe this is a language extension, but I don't know how to work out which one.)) |
| 2023-07-12 12:05:55 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 12:06:41 +0200 | <Rembane> | underlap: They are functions! And many of them! |
| 2023-07-12 12:07:23 +0200 | <jackdk> | possibly helpful: many parser combinator libraries commit to an alternative as soon as that alternative successfully consumes a character |
| 2023-07-12 12:11:03 +0200 | <underlap> | Rembane: that may be useful. But let's suppose that none of the alternatives consume a character. I'd hope that the resultant parse error would include expected characters from each of the alternatives, but maybe that's not the way it works. |
| 2023-07-12 12:11:54 +0200 | <Rembane> | underlap: Can you write a minimal example where none of the alternatives match and see what happens? |
| 2023-07-12 12:13:19 +0200 | <underlap> | Rembane: yeah, that's a great idea. (I was hoping for a non-experimental answer for such a basic parsing question, but...) |
| 2023-07-12 12:13:27 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2141-b0cd-1488-f8b4-aba8-8227.rev.sfr.net) |
| 2023-07-12 12:13:41 +0200 | <akadude[m]> | Damn why does stackage.org load so slowly |
| 2023-07-12 12:16:25 +0200 | hippoid | (~hippoid@user/hippoid) |
| 2023-07-12 12:16:42 +0200 | danse-nr3 | (~francesco@151.57.234.225) |
| 2023-07-12 12:17:40 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2141-b0cd-1488-f8b4-aba8-8227.rev.sfr.net) (Remote host closed the connection) |
| 2023-07-12 12:27:08 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 12:27:50 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-07-12 12:29:40 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-12 12:33:17 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-12 12:34:12 +0200 | img | (~img@user/img) |
| 2023-07-12 12:37:43 +0200 | <underlap> | Rembane: Interesting. It seems to work the way I expected. https://paste.tomsmeding.com/M760PAJX |
| 2023-07-12 12:38:46 +0200 | <Rembane> | underlap: That's really nice! Less surprises is the way to go. |
| 2023-07-12 12:39:22 +0200 | <underlap> | I'd still like to parse `let ncerr err' s' = cerr (err' <> err) (longestMatch ms s')` and understand how this defined err' |
| 2023-07-12 12:39:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-07-12 12:40:32 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:acd5:797:c82b:723c) (Ping timeout: 240 seconds) |
| 2023-07-12 12:40:34 +0200 | <underlap> | The LHS of the let seems to apply a function. I haven't seen this before. The RHS also refers to err'. So is this some kind of recursive definition? |
| 2023-07-12 12:40:46 +0200 | <geekosaur> | it's not applying it, it's defining it |
| 2023-07-12 12:40:54 +0200 | <geekosaur> | just like at top level where you don't need the let |
| 2023-07-12 12:41:26 +0200 | <underlap> | geekosaur: Ah! I geddit now. Of course. Thank you. |
| 2023-07-12 12:41:30 +0200 | <geekosaur> | it defines a function `ncerr` with two parameters `err'` and `s'` |
| 2023-07-12 12:42:00 +0200 | <underlap> | Yes, that makes perfect sense. |
| 2023-07-12 12:42:11 +0200 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) |
| 2023-07-12 12:43:01 +0200 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2023-07-12 12:44:33 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 12:44:36 +0200 | <underlap> | Rembane: I now understand why you wrote "They are functions! And many of them!". Thanks. |
| 2023-07-12 12:45:29 +0200 | <Rembane> | underlap: No worries ^^ |
| 2023-07-12 12:50:10 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2023-07-12 12:50:12 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-12 12:50:37 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2023-07-12 12:50:38 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2023-07-12 12:50:38 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2023-07-12 12:51:06 +0200 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
| 2023-07-12 12:51:54 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 12:51:56 +0200 | int-e | (~noone@int-e.eu) |
| 2023-07-12 12:54:13 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-12 12:55:29 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:ba:e9a2:9797:91e4) (Remote host closed the connection) |
| 2023-07-12 12:55:52 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) |
| 2023-07-12 12:58:48 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-07-12 12:59:13 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-12 12:59:26 +0200 | <tomsmeding> | yin: it's the official way :p |
| 2023-07-12 12:59:30 +0200 | <underlap> | Wrote up my Megaparsec findings here for posterity: https://kbin.social/m/haskell/t/180081/How-Megaparsec-combines-error-information (Can't bring myself to go back to Reddit.) |
| 2023-07-12 12:59:37 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 12:59:41 +0200 | <tomsmeding> | yin: as in, the neovim lsp support wants you to use lspconfig |
| 2023-07-12 13:00:21 +0200 | <Rembane> | underlap: Sweet! |
| 2023-07-12 13:08:03 +0200 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-07-12 13:09:47 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) (Remote host closed the connection) |
| 2023-07-12 13:10:10 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) |
| 2023-07-12 13:16:10 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-07-12 13:17:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 13:18:46 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-12 13:21:07 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:315c:82b0:a583:1747) |
| 2023-07-12 13:21:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-12 13:22:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-12 13:27:06 +0200 | razetime | (~quassel@117.193.2.215) (Remote host closed the connection) |
| 2023-07-12 13:28:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-12 13:29:49 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) (Remote host closed the connection) |
| 2023-07-12 13:30:11 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) |
| 2023-07-12 13:35:55 +0200 | CiaoSen | (~Jura@2a05:5800:2a3:e00:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-07-12 13:38:52 +0200 | jmdaemon- | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-07-12 13:39:03 +0200 | rselim | (ce261f06ff@user/milesrout) |
| 2023-07-12 13:47:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 13:56:40 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-12 14:04:29 +0200 | danse-nr3 | (~francesco@151.57.234.225) (Read error: Connection reset by peer) |
| 2023-07-12 14:04:30 +0200 | danse-nr3_ | (~francesco@151.37.251.251) |
| 2023-07-12 14:05:37 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 14:08:39 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-12 14:10:02 +0200 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-12 14:11:04 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-12 14:30:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 14:33:50 +0200 | jappiejappie | (~jappiejap@181-41-6-201.setardsl.aw) |
| 2023-07-12 14:39:10 +0200 | danse-nr3_ | (~francesco@151.37.251.251) (Ping timeout: 260 seconds) |
| 2023-07-12 14:42:37 +0200 | rachelambda | (~rachelamb@78-67-128-99-no247.tbcn.telia.com) |
| 2023-07-12 14:47:34 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2023-07-12 14:50:32 +0200 | rachelambda | xenia |
| 2023-07-12 14:50:37 +0200 | xenia | rachelambda |
| 2023-07-12 14:51:54 +0200 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 15:03:44 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2340-69d2-14c9-75f1-bca7-19b2.rev.sfr.net) |
| 2023-07-12 15:03:50 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-07-12 15:03:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 15:06:49 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-12 15:07:59 +0200 | <Axman6> | underlap: Implementing parsers like that is pretty common, mostly because they tend to perform very well compared to using a sum type. it's either known as scott encoding or church encoding, I can't remember which, but basically you pass around and make functions that handle each of the cases. It ca make reading the implementation very difficult, as you've found |
| 2023-07-12 15:10:48 +0200 | <Axman6> | data Parser s a = Fail String | More (s -> Parser s a) | Done a can be represented as a function with type (String -> r) -> ((s -> Parser s a) -> r) -> (a -> r) -> r (I think, it's late and the More case is confusing me!) |
| 2023-07-12 15:13:21 +0200 | <rachelambda> | looks right to me |
| 2023-07-12 15:13:37 +0200 | danse-nr3_ | (~francesco@151.37.251.251) |
| 2023-07-12 15:16:04 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 258 seconds) |
| 2023-07-12 15:17:06 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2340-69d2-14c9-75f1-bca7-19b2.rev.sfr.net) (Remote host closed the connection) |
| 2023-07-12 15:17:53 +0200 | <underlap> | Axman6: thank you |
| 2023-07-12 15:18:30 +0200 | shailangsa_ | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2023-07-12 15:21:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 15:23:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-07-12 15:24:16 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-12 15:25:25 +0200 | acidjnk | (~acidjnk@p200300d6e7072f90288a8fb3de4c9af6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-07-12 15:25:36 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2023-07-12 15:25:36 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2023-07-12 15:25:39 +0200 | allbery_b | geekosaur |
| 2023-07-12 15:30:32 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2340-69d2-14c9-75f1-bca7-19b2.rev.sfr.net) |
| 2023-07-12 15:31:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2340-69d2-14c9-75f1-bca7-19b2.rev.sfr.net) (Remote host closed the connection) |
| 2023-07-12 15:36:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-12 15:36:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-12 15:36:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 15:41:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-12 15:43:33 +0200 | jappiejappie | (~jappiejap@181-41-6-201.setardsl.aw) (Quit: Client closed) |
| 2023-07-12 15:46:41 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 245 seconds) |
| 2023-07-12 15:47:20 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:315c:82b0:a583:1747) (Ping timeout: 246 seconds) |
| 2023-07-12 15:47:44 +0200 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-12 15:48:59 +0200 | slack1256 | (~slack1256@186.11.17.119) |
| 2023-07-12 15:49:25 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 2023-07-12 15:49:42 +0200 | koz | (~koz@121.99.240.58) |
| 2023-07-12 15:50:33 +0200 | dmgk | (~dmgk@user/dmgk) () |
| 2023-07-12 15:56:48 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-12 15:57:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 15:58:33 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Read error: Connection reset by peer) |
| 2023-07-12 15:58:49 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2023-07-12 15:59:29 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2023-07-12 15:59:35 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2023-07-12 15:59:46 +0200 | kronicma1 | (user40967@neotame.csclub.uwaterloo.ca) (Ping timeout: 258 seconds) |
| 2023-07-12 16:00:28 +0200 | kronicma1 | (user37546@neotame.csclub.uwaterloo.ca) |
| 2023-07-12 16:01:43 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-07-12 16:07:29 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-12 16:08:56 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 16:10:01 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 16:10:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 16:11:32 +0200 | acidjnk | (~acidjnk@p200300d6e7072f90288a8fb3de4c9af6.dip0.t-ipconnect.de) |
| 2023-07-12 16:18:17 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-043.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-12 16:20:04 +0200 | blueranger1981 | (~user@bzq-84-110-149-34.static-ip.bezeqint.net) |
| 2023-07-12 16:21:38 +0200 | michalz | (~michalz@185.246.207.203) (Ping timeout: 250 seconds) |
| 2023-07-12 16:22:24 +0200 | michalz | (~michalz@185.246.207.200) |
| 2023-07-12 16:22:54 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-07-12 16:23:35 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 16:24:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-12 16:25:13 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-12 16:30:44 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 16:37:07 +0200 | liftA2 | (~user@152.7.255.193) |
| 2023-07-12 16:37:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) |
| 2023-07-12 16:38:10 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:5c21:6c0c:79b0:64a3) |
| 2023-07-12 16:40:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-07-12 16:41:35 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) (Ping timeout: 246 seconds) |
| 2023-07-12 16:41:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) (Ping timeout: 246 seconds) |
| 2023-07-12 16:48:04 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-12 16:48:21 +0200 | pickleju1ce | (~root@172.56.28.196) |
| 2023-07-12 16:48:26 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 16:51:36 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-12 16:52:32 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 240 seconds) |
| 2023-07-12 16:52:41 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 16:57:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-07-12 16:59:29 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-12 16:59:54 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 17:00:16 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 17:01:11 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 264 seconds) |
| 2023-07-12 17:01:24 +0200 | int-e | (~noone@int-e.eu) (Quit: leaving) |
| 2023-07-12 17:01:34 +0200 | int-e | (~noone@int-e.eu) |
| 2023-07-12 17:04:23 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-12 17:07:34 +0200 | pickleju1ce | (~root@172.56.28.196) (Ping timeout: 250 seconds) |
| 2023-07-12 17:08:45 +0200 | picklejuice | (~root@172.56.221.232) |
| 2023-07-12 17:10:25 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-07-12 17:11:18 +0200 | <liftA2> | Is it possible to use doctest in a package that uses UnboxedTuples in a module? |
| 2023-07-12 17:12:58 +0200 | <geekosaur> | aren't unboxed tuples fixed in 9.4 or 9.6? |
| 2023-07-12 17:13:31 +0200 | <liftA2> | geekosaur: I have no idea, I can't run it on my computer. |
| 2023-07-12 17:15:02 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 260 seconds) |
| 2023-07-12 17:15:47 +0200 | <geekosaur> | do you get an error from doctest, or some other failure? |
| 2023-07-12 17:17:02 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 17:17:59 +0200 | <liftA2> | I get the ghci error "bytecode compiler can't handle unboxed tuples and sums."; using -fobject-code does not suppress it. Doctests still seem to run in modules that don't use UnboxedTuples, although they're currently failing with probably unrelated "higher-kinded type" errors. |
| 2023-07-12 17:18:55 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) |
| 2023-07-12 17:19:09 +0200 | <liftA2> | I think doctest is also automatically using Prelude versions of functions (which are not imported) rather than the local definitions, but I'm not sure. |
| 2023-07-12 17:19:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 17:21:16 +0200 | <geekosaur> | what version of ghci? I just did a test locally and they worked. (IIRC the BCO backend bug had to be fixed for UnboxedSums to work) |
| 2023-07-12 17:23:06 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-07-12 17:23:21 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 17:23:28 +0200 | <liftA2> | It's doctest compiled against GHC 8.8.4. |
| 2023-07-12 17:23:45 +0200 | <geekosaur> | 8.8 is definitely no-go |
| 2023-07-12 17:23:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-12 17:24:23 +0200 | <liftA2> | Oh, that's a shame. Thanks anyway. |
| 2023-07-12 17:24:28 +0200 | <geekosaur> | I think UnboxedTuples in a module is fine if ghci loads it compiled |
| 2023-07-12 17:24:36 +0200 | <geekosaur> | it can |
| 2023-07-12 17:24:54 +0200 | <liftA2> | Yeah, that's what -fobject-code is supposed to do. |
| 2023-07-12 17:24:54 +0200 | falafel | (~falafel@2603-7000-a700-8710-9b4c-b4ca-5b46-3794.res6.spectrum.com) |
| 2023-07-12 17:24:54 +0200 | <geekosaur> | 't interpret code that uses UnboxedTuples until 9.4 or thereabouts |
| 2023-07-12 17:26:44 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 17:28:39 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 17:35:55 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 240 seconds) |
| 2023-07-12 17:39:54 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 17:40:00 +0200 | <probie> | On UnboxedTuples in GHCi - I'm not completely sure, but on 9.6.2 I've got some code which crashes in GHCi, but works fine when compiled |
| 2023-07-12 17:40:38 +0200 | <probie> | https://paste.tomsmeding.com/dGBmlYK1 |
| 2023-07-12 17:41:25 +0200 | <probie> | I can't think of another reason why it crashes (I mean, it _does_ use `unsafeCoerce`, but that's only to make a non-linear function a linear function) |
| 2023-07-12 17:42:06 +0200 | blueranger1981 | (~user@bzq-84-110-149-34.static-ip.bezeqint.net) (Ping timeout: 260 seconds) |
| 2023-07-12 17:46:34 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds) |
| 2023-07-12 17:47:32 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-12 17:48:11 +0200 | <probie> | weirdly it works on 9.2. Can someone save me a large download on my slow internet connection and tell me whether or not the above code snippet works in GHCi on 9.4? |
| 2023-07-12 17:48:37 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-12 17:49:31 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-12 17:51:35 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 264 seconds) |
| 2023-07-12 17:54:35 +0200 | sm[i] | (~textual@024-165-041-186.res.spectrum.com) |
| 2023-07-12 17:54:49 +0200 | <probie> | I can confirm that it's not the random `unsafeCoerce` |
| 2023-07-12 17:55:24 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-07-12 17:55:35 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-12 17:56:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 17:57:43 +0200 | <underlap> | probie: that snippet loads successfully into GHCi on 9.4.5 |
| 2023-07-12 17:57:50 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-12 17:58:14 +0200 | <underlap> | probie: did you want me to try something other than just loading it? |
| 2023-07-12 17:58:36 +0200 | <jade[m]> | maybe :main? |
| 2023-07-12 17:59:03 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) |
| 2023-07-12 17:59:08 +0200 | <underlap> | segfault |
| 2023-07-12 17:59:40 +0200 | <probie> | I guess I better download 9.4.5 and look into why this is happening so I can raise an issue. Thanks underlap |
| 2023-07-12 17:59:42 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 17:59:55 +0200 | <underlap> | probie: np and good luck |
| 2023-07-12 18:00:01 +0200 | kleenestar[m] | (~kleenesta@2001:470:69fc:105::3:6d78) (Remote host closed the connection) |
| 2023-07-12 18:01:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 18:03:50 +0200 | <ski> | @tell ph88 did you consider using `Validation' ? |
| 2023-07-12 18:03:50 +0200 | <lambdabot> | Consider it noted. |
| 2023-07-12 18:04:25 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 18:04:27 +0200 | danse-nr3__ | (~francesco@151.47.241.180) |
| 2023-07-12 18:05:54 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-07-12 18:06:56 +0200 | danse-nr3_ | (~francesco@151.37.251.251) (Ping timeout: 250 seconds) |
| 2023-07-12 18:07:18 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 260 seconds) |
| 2023-07-12 18:08:21 +0200 | <ski> | Axman6 : with `forall r. (..r..) -> ((s -> Parser s a) -> r) -> (..r..) -> r', it's Scott encoding (it's a `case'). with `forall r. (..r..) -> ((s -> r) -> r) -> (..r..) -> r' it would be Church (or really Boehm-Berarducci, since it's typed) (it's a `fold'/`cata') |
| 2023-07-12 18:09:19 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 18:09:54 +0200 | ski | . o O ( "Beyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lambda-terms" by Oleg in 2005-07-04 at <https://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html> ) |
| 2023-07-12 18:12:08 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-07-12 18:13:48 +0200 | <underlap> | ski: thanks for that |
| 2023-07-12 18:13:58 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-07-12 18:14:17 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-12 18:15:10 +0200 | <ski> | Scott and Church encoding coincides, for non-recursive data types |
| 2023-07-12 18:16:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 18:16:34 +0200 | koz | (~koz@121.99.240.58) |
| 2023-07-12 18:17:18 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-12 18:21:59 +0200 | <sm> | woah.. mac + matrix users looking for a way to stay connected here after this month: Textual irc client is awesome |
| 2023-07-12 18:23:03 +0200 | sm | wishes for a matrix client this good |
| 2023-07-12 18:23:08 +0200 | <ski> | given `data List a = Nil | Cons a (List a)', Scott encoding is `newtype ScottList a = MkSL (forall o. o -> (a -> ScottList a -> o) -> o)', with `scottNil :: ScottList a; scottNil = MkSL (\nil cons -> nil)',`scottCons :: a -> ScottList a -> ScottList a; scottCons a as = MkSL (\nil cons -> cons a as)', and `caseScottList :: ScottList a -> o -> (a -> ScottList a -> o) -> o; caseScottList (MkSL as) = as' |
| 2023-07-12 18:23:40 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-12 18:24:03 +0200 | <sm[i]> | /join #libera-matrix |
| 2023-07-12 18:26:01 +0200 | <ski> | Church encoding is `newtype ChurchList a = MkCL (forall r. r -> (a -> r -> r) -> r)', with `churchNil :: ChurchList a; churchNil = MkCL (\nil cons -> nil)',`churchCons :: a -> ChurchList a -> ChurchList a; churchCons a (MkCL as) = MkCL (\nil cons -> cons a (as nil cons))', and `foldChurchList :: ChurchList a -> r -> (a -> r -> r) -> r; foldChurchList (MkCL as) = as' |
| 2023-07-12 18:26:16 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-12 18:26:27 +0200 | <ski> | underlap ^ |
| 2023-07-12 18:28:25 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 240 seconds) |
| 2023-07-12 18:30:14 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 18:31:58 +0200 | <underlap> | ski: Thanks. I think that's enough for now. I get the basic idea. Fond memories of Dana Scott's lectures on denotational semantics in my maths degree. :-) |
| 2023-07-12 18:33:36 +0200 | <ski> | np :) |
| 2023-07-12 18:36:30 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-12 18:37:25 +0200 | underlap | (~underlap@14.46.99.195.dyn.plus.net) (Quit: Leaving) |
| 2023-07-12 18:43:54 +0200 | JimL | (~quassel@89.162.16.26) (Quit: No Ping reply in 180 seconds.) |
| 2023-07-12 18:44:40 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 18:45:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 18:45:17 +0200 | JimL | (~quassel@89.162.16.26) |
| 2023-07-12 18:48:05 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 18:48:47 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 18:48:55 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 18:50:43 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 18:51:18 +0200 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) (Quit: Konversation terminated!) |
| 2023-07-12 18:52:42 +0200 | acidjnk | (~acidjnk@p200300d6e7072f90288a8fb3de4c9af6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-07-12 18:55:02 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-07-12 18:59:03 +0200 | acidjnk | (~acidjnk@p200300d6e7072f9090d33f2b4a36e93a.dip0.t-ipconnect.de) |
| 2023-07-12 19:01:35 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) (Quit: Client closed) |
| 2023-07-12 19:04:02 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-12 19:04:11 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 264 seconds) |
| 2023-07-12 19:05:20 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 19:06:55 +0200 | picklejuice | (~root@172.56.221.232) (Ping timeout: 240 seconds) |
| 2023-07-12 19:10:35 +0200 | picklejuice | (~root@172.58.204.75) |
| 2023-07-12 19:14:11 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 19:14:28 +0200 | fendor | (~fendor@2a02:8388:1640:be00:bfd6:9a8f:d4f6:3a03) (Remote host closed the connection) |
| 2023-07-12 19:15:41 +0200 | ripspin | (~chatzilla@1.145.204.107) (Remote host closed the connection) |
| 2023-07-12 19:16:38 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 19:21:01 +0200 | sm[i] | (~textual@024-165-041-186.res.spectrum.com) (Quit: sm[i]) |
| 2023-07-12 19:21:08 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-12 19:21:23 +0200 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) |
| 2023-07-12 19:21:35 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 264 seconds) |
| 2023-07-12 19:22:26 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 19:22:37 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-12 19:25:03 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-07-12 19:29:57 +0200 | pickleju1ce | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-12 19:32:34 +0200 | Megan | (~Megan@2600:387:f:4418::8) |
| 2023-07-12 19:32:58 +0200 | Megan | (~Megan@2600:387:f:4418::8) (Client Quit) |
| 2023-07-12 19:34:08 +0200 | picklejuice | (~root@172.58.204.75) (Ping timeout: 246 seconds) |
| 2023-07-12 19:37:55 +0200 | danse-nr3__ | (~francesco@151.47.241.180) (Ping timeout: 240 seconds) |
| 2023-07-12 19:38:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 19:38:07 +0200 | hisa3877 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-07-12 19:38:22 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 19:41:19 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 20:03:50 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 20:05:25 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 2023-07-12 20:06:00 +0200 | koz | (~koz@121.99.240.58) |
| 2023-07-12 20:08:25 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 20:10:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-12 20:10:53 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 20:11:55 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2023-07-12 20:11:57 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 20:12:49 +0200 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) (Quit: sm[i]) |
| 2023-07-12 20:14:38 +0200 | dibblego | (~dibblego@116.255.1.157) |
| 2023-07-12 20:14:38 +0200 | dibblego | (~dibblego@116.255.1.157) (Changing host) |
| 2023-07-12 20:14:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 20:20:17 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2023-07-12 20:21:01 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2023-07-12 20:35:59 +0200 | XliminalX | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Remote host closed the connection) |
| 2023-07-12 20:38:11 +0200 | XliminalX | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-12 20:45:25 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-07-12 20:48:10 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 20:48:16 +0200 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-07-12 20:50:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 20:52:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 20:53:01 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 258 seconds) |
| 2023-07-12 21:00:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 21:00:35 +0200 | falafel | (~falafel@2603-7000-a700-8710-9b4c-b4ca-5b46-3794.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-12 21:04:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 21:06:19 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-12 21:12:33 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-12 21:18:01 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 21:19:21 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-12 21:20:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 21:20:51 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-242-043.2.247.pool.telefonica.de) |
| 2023-07-12 21:22:48 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 21:25:24 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-12 21:25:30 +0200 | vgtw_ | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-07-12 21:26:11 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-12 21:29:54 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-12 21:31:14 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-12 21:38:01 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-12 21:47:17 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 245 seconds) |
| 2023-07-12 21:48:20 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-12 21:49:28 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-12 21:58:14 +0200 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) |
| 2023-07-12 22:02:27 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-12 22:03:24 +0200 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) |
| 2023-07-12 22:03:56 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-07-12 22:05:15 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 22:06:13 +0200 | slack1256 | (~slack1256@186.11.17.119) (Remote host closed the connection) |
| 2023-07-12 22:10:57 +0200 | ars23 | (~ars23@92.86.154.191) |
| 2023-07-12 22:11:42 +0200 | ars23 | (~ars23@92.86.154.191) (Client Quit) |
| 2023-07-12 22:13:39 +0200 | ars23 | (~ars23@92.86.154.191) |
| 2023-07-12 22:14:39 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-07-12 22:17:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-12 22:21:54 +0200 | ft | (~ft@p3e9bcafd.dip0.t-ipconnect.de) |
| 2023-07-12 22:23:25 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 240 seconds) |
| 2023-07-12 22:24:36 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-12 22:26:28 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 22:27:07 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-07-12 22:29:29 +0200 | liftA2 | (~user@152.7.255.193) (Ping timeout: 246 seconds) |
| 2023-07-12 22:29:32 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 250 seconds) |
| 2023-07-12 22:30:21 +0200 | ars23 | (~ars23@92.86.154.191) (Quit: Leaving) |
| 2023-07-12 22:30:51 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 22:38:38 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-07-12 22:39:12 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-07-12 22:42:17 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-12 22:44:53 +0200 | pavonia | (~user@user/siracusa) |
| 2023-07-12 22:56:00 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-07-12 22:56:00 +0200 | jinsun | Guest4653 |
| 2023-07-12 22:56:00 +0200 | jinsun_ | jinsun |
| 2023-07-12 22:58:53 +0200 | Guest4653 | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-07-12 23:00:55 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 240 seconds) |
| 2023-07-12 23:01:25 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 23:04:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-07-12 23:05:00 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-12 23:05:33 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-07-12 23:05:33 +0200 | jinsun | Guest9598 |
| 2023-07-12 23:05:33 +0200 | jinsun_ | jinsun |
| 2023-07-12 23:05:45 +0200 | ddellacosta | (~ddellacos@146.70.165.100) (Quit: WeeChat 3.8) |
| 2023-07-12 23:07:59 +0200 | Guest9598 | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-07-12 23:11:34 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-07-12 23:12:28 +0200 | <jade[m]> | this page has so many dead links https://wiki.haskell.org/Darcs_repositories |
| 2023-07-12 23:12:55 +0200 | <jade[m]> | and the ones that work are massively outdated |
| 2023-07-12 23:14:07 +0200 | <Hecate> | yep |
| 2023-07-12 23:14:18 +0200 | <Lycurgus> | theory of patches didn pan out |
| 2023-07-12 23:14:32 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 23:14:56 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-12 23:14:57 +0200 | <Hecate> | well I have heard of ridiculously long times of execution for merging |
| 2023-07-12 23:15:10 +0200 | <Hecate> | that being said I believe pijul is on a better track |
| 2023-07-12 23:15:34 +0200 | <jade[m]> | https://wiki.haskell.org/One_month_using_Haskell wth |
| 2023-07-12 23:15:52 +0200 | <jade[m]> | the "random page" button on the wiki is a goldmine |
| 2023-07-12 23:18:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 23:18:50 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 23:19:20 +0200 | <jade[m]> | im going insane https://wiki.haskell.org/One_month_without_Haskell |
| 2023-07-12 23:19:51 +0200 | <geekosaur> | that's just #haskell-offtopic 🙂 |
| 2023-07-12 23:26:37 +0200 | remexre | (~remexre@user/remexre) |
| 2023-07-12 23:30:56 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-12 23:31:03 +0200 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 23:31:10 +0200 | JimL | (~quassel@89.162.16.26) (Ping timeout: 260 seconds) |
| 2023-07-12 23:31:23 +0200 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) (Quit: sm[i]) |
| 2023-07-12 23:31:28 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-07-12 23:32:00 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-07-12 23:32:52 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-07-12 23:34:01 +0200 | JimL | (~quassel@89.162.16.26) |
| 2023-07-12 23:35:38 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 2023-07-12 23:38:01 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 23:39:36 +0200 | JimL | (~quassel@89.162.16.26) (Ping timeout: 245 seconds) |
| 2023-07-12 23:39:54 +0200 | Megan | (~Megan@2600:387:f:4418::8) |
| 2023-07-12 23:40:26 +0200 | mei | (~mei@user/mei) |
| 2023-07-12 23:40:29 +0200 | Megan | (~Megan@2600:387:f:4418::8) (Client Quit) |
| 2023-07-12 23:44:43 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-07-12 23:49:38 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2023-07-12 23:50:01 +0200 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 23:52:41 +0200 | JimL | (~quassel@89.162.16.26) |
| 2023-07-12 23:54:45 +0200 | jonathan | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 246 seconds) |
| 2023-07-12 23:55:21 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |