| 2024-03-14 00:08:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-14 00:10:57 +0100 | agrosant | (~agrosant@77.49.151.175.dsl.dyn.forthnet.gr) |
| 2024-03-14 00:17:59 +0100 | agrosant | (~agrosant@77.49.151.175.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 00:25:04 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2024-03-14 00:29:13 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 264 seconds) |
| 2024-03-14 00:32:31 +0100 | agrosant | (~agrosant@62.1.149.116.dsl.dyn.forthnet.gr) |
| 2024-03-14 00:34:40 +0100 | sdnii | (~sdnii@103.249.28.34) |
| 2024-03-14 00:37:13 +0100 | sdnii | (~sdnii@103.249.28.34) (Remote host closed the connection) |
| 2024-03-14 00:38:15 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e7794cbeeacd99c18860.dip0.t-ipconnect.de) |
| 2024-03-14 00:38:23 +0100 | agrosant | (~agrosant@62.1.149.116.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 00:39:37 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e7786152a423ebcbaf72.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-03-14 00:41:06 +0100 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Ping timeout: 255 seconds) |
| 2024-03-14 00:54:16 +0100 | agrosant | (~agrosant@62.1.175.186.dsl.dyn.forthnet.gr) |
| 2024-03-14 01:05:30 +0100 | beogrif | (~beogrif@066-065-097-119.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-14 01:08:45 +0100 | <glguy> | tomsmeding: what's an example of a pattern match where that happens? |
| 2024-03-14 01:11:47 +0100 | phma | (~phma@host-67-44-208-133.hnremote.net) (Read error: Connection reset by peer) |
| 2024-03-14 01:12:15 +0100 | phma | (~phma@2001:5b0:211c:b418:dbd2:cf47:d982:9943) |
| 2024-03-14 01:12:47 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-14 01:14:23 +0100 | agrosant | (~agrosant@62.1.175.186.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 01:15:33 +0100 | PoolloverNathan | (~u0_a408@2600:381:df81:f1ff:c43f:2ff:fe5f:a9bf) |
| 2024-03-14 01:16:13 +0100 | <PoolloverNathan> | is there a way to have a switch-case but for (non-Typeable) types instead of values? |
| 2024-03-14 01:16:23 +0100 | <PoolloverNathan> | well no switch- |
| 2024-03-14 01:16:40 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-14 01:17:08 +0100 | <geekosaur> | no |
| 2024-03-14 01:17:23 +0100 | <geekosaur> | unless you count typeclasses |
| 2024-03-14 01:17:38 +0100 | <PoolloverNathan> | I tried typeclasses but I'm getting weird errors |
| 2024-03-14 01:17:55 +0100 | <PoolloverNathan> | that I can try to find… |
| 2024-03-14 01:19:01 +0100 | <geekosaur> | (note that typeclasses are not OOP and will do things you don't expect if you try to treat them as OOP) |
| 2024-03-14 01:20:36 +0100 | <PoolloverNathan> | class GetBindee p where getBindee :: Proxy p -> BinderP p -> Id; instance GetBindee 'Vanilla where getBindee Proxy (v :: BinderP 'Vanilla ) = v |
| 2024-03-14 01:20:55 +0100 | <PoolloverNathan> | per Hackage, type instance BinderP 'Vanilla = Id |
| 2024-03-14 01:21:25 +0100 | <PoolloverNathan> | (nope, that error disappeared while I wasn't working) |
| 2024-03-14 01:21:32 +0100 | <PoolloverNathan> | (looking*) |
| 2024-03-14 01:24:04 +0100 | <PoolloverNathan> | Couldn't match expected type: (Id, b0) with actCouldnual type: BinderP 'InferTaggedBinders (per Hackage, BinderP 'InferTaggedBinders ~ (Id, TagSig)); instance GetBindee 'InferTaggedBinders where getBindee Proxy (v :: BinderP 'InferTaggedBinders) = fst v |
| 2024-03-14 01:30:01 +0100 | agrosant | (~agrosant@62.1.148.70.dsl.dyn.forthnet.gr) |
| 2024-03-14 01:30:59 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 252 seconds) |
| 2024-03-14 01:32:26 +0100 | <geekosaur> | I think that means you have to support any type "b0", but you're specifying one? |
| 2024-03-14 01:33:14 +0100 | <geekosaur> | that is, it's the difference between "any" and "all" |
| 2024-03-14 01:37:02 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 252 seconds) |
| 2024-03-14 01:38:18 +0100 | <geekosaur> | that, or it's saying "b0" is specified by the caller and you can't specify one. the rest of the error message woyuld clarify that |
| 2024-03-14 01:38:22 +0100 | <geekosaur> | @where paste |
| 2024-03-14 01:38:22 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-03-14 01:39:02 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-03-14 01:39:52 +0100 | PoolloverNathan | (~u0_a408@2600:381:df81:f1ff:c43f:2ff:fe5f:a9bf) (Ping timeout: 268 seconds) |
| 2024-03-14 01:40:04 +0100 | <geekosaur> | gleh |
| 2024-03-14 01:40:25 +0100 | PoolloverNathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) |
| 2024-03-14 01:40:43 +0100 | PoolloverNathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-14 01:42:46 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds) |
| 2024-03-14 01:45:20 +0100 | PoolloverNathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) |
| 2024-03-14 01:46:54 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-03-14 01:46:55 +0100 | <PoolloverNathan> | it seems that Hackage sources have changed since I last read them |
| 2024-03-14 01:48:11 +0100 | <geekosaur> | if that's a ghc internal (which is what it smells like to me) then it's likely |
| 2024-03-14 01:48:47 +0100 | <PoolloverNathan> | makes sense |
| 2024-03-14 01:48:51 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-14 01:49:57 +0100 | <geekosaur> | ghc-lib changes a lot, and will change again shortly since 9.10 went into alpha a few minutes ago |
| 2024-03-14 01:52:48 +0100 | <c_wraith> | There's a reason I described making an alternate backend to GHC as infinite work |
| 2024-03-14 01:53:48 +0100 | <geekosaur> | there is some work on stabilizing at least parts of it, driven mostly by the needs of HLS |
| 2024-03-14 01:55:19 +0100 | PoolloverNathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-03-14 01:55:49 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-03-14 01:55:59 +0100 | PoolloverNathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) |
| 2024-03-14 01:57:05 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e7794cbeeacd99c18860.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-03-14 01:57:34 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-14 01:58:37 +0100 | <c_wraith> | I still say an eDSL that expresses a set of primitives that are easy to translate and complete enough to build what you need is a far easier task. |
| 2024-03-14 01:58:50 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:3862:7657:cc38:1f12) (Quit: Leaving) |
| 2024-03-14 02:02:22 +0100 | mmhat | (~mmh@p200300f1c7199d34ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-03-14 02:25:05 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-03-14 02:37:43 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 2024-03-14 02:42:27 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-03-14 02:44:45 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2024-03-14 03:04:12 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-14 03:05:23 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-03-14 03:05:34 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-03-14 03:18:37 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-14 03:23:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-03-14 03:23:58 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-14 03:25:09 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-14 03:37:57 +0100 | otto_s | (~user@p4ff27d8f.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-03-14 03:39:21 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2024-03-14 03:39:48 +0100 | otto_s | (~user@p4ff27a8e.dip0.t-ipconnect.de) |
| 2024-03-14 03:52:58 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-03-14 04:02:35 +0100 | bilegeek | (~bilegeek@2600:1008:b0ad:2c42:3da2:39d2:7e1a:106b) |
| 2024-03-14 04:20:23 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-14 04:20:56 +0100 | sadmax | (~user@64.130.91.66) |
| 2024-03-14 04:26:53 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 240 seconds) |
| 2024-03-14 04:42:57 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-14 04:43:05 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) (Remote host closed the connection) |
| 2024-03-14 04:45:55 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-03-14 04:53:57 +0100 | td_ | (~td@i5387093A.versanet.de) (Ping timeout: 256 seconds) |
| 2024-03-14 04:55:11 +0100 | agrosant | (~agrosant@62.1.148.70.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 04:55:24 +0100 | td_ | (~td@i5387090D.versanet.de) |
| 2024-03-14 05:03:30 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-03-14 05:04:27 +0100 | bilegeek | (~bilegeek@2600:1008:b0ad:2c42:3da2:39d2:7e1a:106b) (Quit: Leaving) |
| 2024-03-14 05:04:46 +0100 | turlando | (~turlando@user/turlando) |
| 2024-03-14 05:08:23 +0100 | euleritian | (~euleritia@dynamic-176-006-177-080.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-14 05:08:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 05:11:23 +0100 | agrosant | (~agrosant@62.1.179.242.dsl.dyn.forthnet.gr) |
| 2024-03-14 05:15:45 +0100 | darkstardevx | (~darkstard@50.53.3.2) |
| 2024-03-14 05:19:01 +0100 | aforemny | (~aforemny@2001:9e8:6cc0:500:8ad4:2df4:a1a4:191a) |
| 2024-03-14 05:19:39 +0100 | aforemny_ | (~aforemny@2001:9e8:6cda:2b00:f36d:64a7:6ade:ce4c) (Ping timeout: 255 seconds) |
| 2024-03-14 05:25:47 +0100 | agrosant | (~agrosant@62.1.179.242.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 05:32:00 +0100 | jmcantrell_ | jmcantrell |
| 2024-03-14 05:37:07 +0100 | darkstardevx | (~darkstard@50.53.3.2) (Quit: Leaving) |
| 2024-03-14 05:37:12 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-14 05:40:49 +0100 | agrosant | (~agrosant@62.1.140.216.dsl.dyn.forthnet.gr) |
| 2024-03-14 05:46:40 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-14 05:59:10 +0100 | raym | (~ray@user/raym) (Ping timeout: 256 seconds) |
| 2024-03-14 06:00:25 +0100 | raym | (~ray@user/raym) |
| 2024-03-14 06:02:15 +0100 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2024-03-14 06:05:54 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-14 06:07:38 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-14 06:08:32 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-03-14 06:21:19 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-03-14 06:23:01 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-14 06:24:25 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-14 06:28:57 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 255 seconds) |
| 2024-03-14 06:33:30 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-14 06:37:57 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-14 06:44:24 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-14 06:51:35 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-03-14 06:54:23 +0100 | komikat | (~akshitkr@218.185.248.66) (Ping timeout: 252 seconds) |
| 2024-03-14 06:54:49 +0100 | komikat | (~akshitkr@218.185.248.66) |
| 2024-03-14 06:58:34 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-03-14 07:00:54 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-14 07:02:10 +0100 | mulk | (~mulk@pd95142da.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-03-14 07:04:55 +0100 | mulk | (~mulk@p5b2dc6ec.dip0.t-ipconnect.de) |
| 2024-03-14 07:05:02 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-14 07:06:33 +0100 | danza | (~francesco@151.35.240.219) |
| 2024-03-14 07:11:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-14 07:11:27 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-14 07:11:53 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-14 07:16:23 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 2024-03-14 07:17:37 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-14 07:17:55 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 07:24:03 +0100 | phma | (~phma@2001:5b0:211c:b418:dbd2:cf47:d982:9943) (Read error: Connection reset by peer) |
| 2024-03-14 07:24:56 +0100 | phma | (phma@2001:5b0:211c:1ed8:66b6:4ab1:2fac:150a) |
| 2024-03-14 07:25:30 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 268 seconds) |
| 2024-03-14 07:30:52 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-03-14 07:31:25 +0100 | komikat_ | (~akshitkr@218.185.248.66) |
| 2024-03-14 07:31:41 +0100 | komikat | (~akshitkr@218.185.248.66) (Ping timeout: 240 seconds) |
| 2024-03-14 07:35:46 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-14 07:40:11 +0100 | agrosant | (~agrosant@62.1.140.216.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 07:43:50 +0100 | euleritian | (~euleritia@dynamic-176-006-177-080.176.6.pool.telefonica.de) |
| 2024-03-14 07:48:16 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-03-14 07:48:30 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2024-03-14 07:49:19 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-14 07:49:41 +0100 | anpad | (~pandeyan@user/anpad) |
| 2024-03-14 07:50:06 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-14 07:50:07 +0100 | rosco | (~rosco@175.136.155.53) (Quit: Lost terminal) |
| 2024-03-14 07:57:38 +0100 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2024-03-14 08:01:59 +0100 | agrosant | (~agrosant@188.4.5.1.dsl.dyn.forthnet.gr) |
| 2024-03-14 08:06:48 +0100 | rainbyte | (~rainbyte@186.22.19.215) (Read error: Connection reset by peer) |
| 2024-03-14 08:07:20 +0100 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-14 08:09:01 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-14 08:10:26 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-03-14 08:11:20 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-14 08:11:28 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-03-14 08:11:52 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-14 08:20:23 +0100 | telser | (~quassel@user/telser) (Ping timeout: 260 seconds) |
| 2024-03-14 08:21:26 +0100 | telser | (~quassel@user/telser) |
| 2024-03-14 08:22:18 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-03-14 08:22:43 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-14 08:25:29 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-14 08:27:01 +0100 | mulk | (~mulk@p5b2dc6ec.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-03-14 08:29:29 +0100 | mulk | (~mulk@p5b2dc4d7.dip0.t-ipconnect.de) |
| 2024-03-14 08:30:49 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-03-14 08:31:10 +0100 | acidjnk | (~acidjnk@p200300d6e737e779c430099ca0f81496.dip0.t-ipconnect.de) |
| 2024-03-14 08:31:17 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-14 08:37:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-14 08:43:18 +0100 | euleritian | (~euleritia@dynamic-176-006-177-080.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-14 08:43:36 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 08:45:43 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-14 08:45:55 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 08:47:21 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-14 08:48:45 +0100 | danza | (~francesco@151.35.240.219) (Ping timeout: 268 seconds) |
| 2024-03-14 08:55:48 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-14 08:56:21 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-14 08:57:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-14 08:57:32 +0100 | euleritian | (~euleritia@dynamic-176-006-177-080.176.6.pool.telefonica.de) |
| 2024-03-14 08:58:11 +0100 | agrosant | (~agrosant@188.4.5.1.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 08:58:59 +0100 | euleritian | (~euleritia@dynamic-176-006-177-080.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-14 08:59:08 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-14 08:59:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 09:04:11 +0100 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) |
| 2024-03-14 09:05:17 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2024-03-14 09:09:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-14 09:12:38 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-14 09:15:35 +0100 | agrosant | (~agrosant@77.49.175.43.dsl.dyn.forthnet.gr) |
| 2024-03-14 09:16:13 +0100 | danse-nr3 | (~danse@151.35.240.219) |
| 2024-03-14 09:16:30 +0100 | danse-nr3 | (~danse@151.35.240.219) (Remote host closed the connection) |
| 2024-03-14 09:16:54 +0100 | danse-nr3 | (~danse@151.35.240.219) |
| 2024-03-14 09:20:56 +0100 | <tomsmeding> | glguy: here https://play.haskell.org/saved/CuYWNTwd :p (be sure to switch to ghc 9.6) |
| 2024-03-14 09:21:04 +0100 | <tomsmeding> | OH this is 9.6 only, the warning disappears with 9.8 |
| 2024-03-14 09:27:40 +0100 | Ashkan | (~Ashkan@147.161.173.72) |
| 2024-03-14 09:29:23 +0100 | agrosant | (~agrosant@77.49.175.43.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 09:29:26 +0100 | <Ashkan> | c_wraith Thank you. I thought so but wasn't sure. Can you give me some pointers as to where to start with narrowing it down? Also if you have suggestions as how I can do this "safer", I'm all ears. Although it is basically a copy/paste from the upstream package ... |
| 2024-03-14 09:31:46 +0100 | <c_wraith> | the only thing I can suggest is the very basic debugging of commenting some of the code out and seeing if you still get that error. It's not a domain in which I have special knowledge, though. |
| 2024-03-14 09:32:32 +0100 | <Ashkan> | c_wraith Well thank you anyways :) |
| 2024-03-14 09:32:39 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-14 09:33:32 +0100 | CiaoSen | (~Jura@2a05:5800:282:e000:e6b9:7aff:fe80:3d03) |
| 2024-03-14 09:34:05 +0100 | <Ashkan> | Generally speaking, what is he best practice approach when I need a lib/package with some changes? Do I clone and do the Haskell equivalent of "publish locally" (from Java world) or do I do a git submodule or some other way? |
| 2024-03-14 09:35:36 +0100 | <probie> | If the changes benefit everyone, try and get them upstream |
| 2024-03-14 09:37:54 +0100 | <danse-nr3> | in order to test them, rather clone and depend on the local version than use git submodules, although cabal does not make it easy to depend on a local package |
| 2024-03-14 09:39:47 +0100 | danse-nr3 | (~danse@151.35.240.219) (Read error: Connection reset by peer) |
| 2024-03-14 09:39:57 +0100 | <tomsmeding> | cabal does make it fairly easy if you're using a cabal.project, i.e. if you're compiling this thing by itself, not as a dependency of yet another package |
| 2024-03-14 09:40:21 +0100 | danse-nr3 | (~danse@151.19.238.50) |
| 2024-03-14 09:40:59 +0100 | <tomsmeding> | (cabal does make it fairly easy if you're using a cabal.project, i.e. if you're compiling this thing by itself, not as a dependency of yet another package) |
| 2024-03-14 09:42:00 +0100 | <danse-nr3> | yeah i mean it is not terrible, although i stumbled upon some nasty errors in the past |
| 2024-03-14 09:42:17 +0100 | <tomsmeding> | what kind? |
| 2024-03-14 09:42:18 +0100 | <danse-nr3> | (git submodules does not seem very relevant as the problem is just to have a local copy. Nesting it does not help) |
| 2024-03-14 09:42:26 +0100 | <tomsmeding> | yep |
| 2024-03-14 09:42:41 +0100 | <danse-nr3> | huh ... maybe i can find the issue again, looking up ... |
| 2024-03-14 09:43:04 +0100 | <tomsmeding> | well you can also "overlay" a git repo instead of a local folder, but the method is basically the same so that doesn't realluy matter |
| 2024-03-14 09:44:11 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-14 09:45:29 +0100 | <danse-nr3> | this github.com/haskell/cabal/issues/9133#issuecomment-1638724940 was very puzzling |
| 2024-03-14 09:45:29 +0100 | <Ashkan> | The change is rather limited in its general benefit to the community. Besides I don't feel yet ready to make do a PR on a public Haskell package. So I'm getting a git submodule might be an overkill here, right? I should clone and develop locally, business as usual, but then I'm not sure how to "depend" on it. I'm using stack (with a package.yaml) |
| 2024-03-14 09:45:47 +0100 | agrosant | (~agrosant@77.49.199.196.dsl.dyn.forthnet.gr) |
| 2024-03-14 09:46:25 +0100 | <tomsmeding> | Ashkan: with stack, you'd need to add an entry to the 'packages:' list in stack.yaml (not package.yaml) |
| 2024-03-14 09:46:40 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-14 09:46:44 +0100 | <tomsmeding> | the stack.yaml specifies the overall build configuration; the package.yaml is for a package in particular |
| 2024-03-14 09:46:45 +0100 | <danse-nr3> | stack does that easier, having been designed later |
| 2024-03-14 09:46:55 +0100 | glguy_ | (g@libera/staff/glguy) |
| 2024-03-14 09:47:02 +0100 | <tomsmeding> | danse-nr3: it's as easy as with stack now with cabal.project, but cabal.project is _relatively_ recent |
| 2024-03-14 09:47:34 +0100 | glguy | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2024-03-14 09:47:49 +0100 | <tomsmeding> | Ashkan: the need to put it in stack.yaml (cabal.project for cabal) also explains why this is inflexible in a certain way: if you write another package somewhere else on your machine and you depend on this one in the same way, then stack won't read this package's stack.yaml |
| 2024-03-14 09:48:04 +0100 | <tomsmeding> | you need the full set of local packages in the "final" stack.yaml |
| 2024-03-14 09:48:07 +0100 | <danse-nr3> | hmm if i recall correctly, it stack there is a prefix that can be used to point to local files or remote github repos (so you can depend on your fork Ashkan, before attempting upstream) |
| 2024-03-14 09:48:14 +0100 | <tomsmeding> | but if you're just working on one package then this is not an issue |
| 2024-03-14 09:48:39 +0100 | <tomsmeding> | danse-nr3: https://cabal.readthedocs.io/en/3.4/cabal-project.html#specifying-packages-from-remote-version-con… |
| 2024-03-14 09:48:51 +0100 | <tomsmeding> | it's _slightly_ more verbose than stack's syntax, but not more difficult |
| 2024-03-14 09:49:18 +0100 | <danse-nr3> | yeah and only supported in a cabal project, while in slack that applies everywhere |
| 2024-03-14 09:49:29 +0100 | <tomsmeding> | in stack you need to do this in stack.yaml |
| 2024-03-14 09:49:35 +0100 | <tomsmeding> | which has the exact same restrictions as cabal.project |
| 2024-03-14 09:49:46 +0100 | <tomsmeding> | now if you were able to do this in package.yaml, that would be a different story |
| 2024-03-14 09:50:07 +0100 | <tomsmeding> | (but you can't because package.yaml is translated by hpack to a *.cabal first, and then you're in the same world as cabal, capabilities-wise) |
| 2024-03-14 09:50:34 +0100 | <Ashkan> | All right. Thank you guys. Looks like I have enough to start moving in that direction |
| 2024-03-14 09:50:35 +0100 | <tomsmeding> | it's just that in stack, everyone always makes a stack.yaml, whereas people are only gradually discovering that cabal.project is a thing |
| 2024-03-14 09:50:36 +0100 | <danse-nr3> | probably i recall wrong then. In general using a prefix where the package is declared sounds like the winning idea to me though |
| 2024-03-14 09:51:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-14 09:51:32 +0100 | <tomsmeding> | danse-nr3: I mean I'm thinking of the thing in stack.yaml where you either add a new entry to 'packages', or to 'extra-deps' to "overlay" this thing over what it would otherwise have gotten from stackage/hackage |
| 2024-03-14 09:51:54 +0100 | <tomsmeding> | if there is anything other than that that you're referring to, then I'm not familiar with that (which is perfectly possible because I avoid stack mostly) |
| 2024-03-14 09:52:19 +0100 | <danse-nr3> | i might recall wrong, i also only use stack at work |
| 2024-03-14 09:52:42 +0100 | <tomsmeding> | now if you could put e.g. 'github:' before a dependency name in package.yaml, then that would be something |
| 2024-03-14 09:52:53 +0100 | <tomsmeding> | but that could never work because how would that be translated to a *.cabal |
| 2024-03-14 09:54:45 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-14 10:02:54 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:409b:99d0:9057:5b34) |
| 2024-03-14 10:04:09 +0100 | <c_wraith> | cabal needs a similar feature, anyway. You should be able to specify the source of packages inline, for when you want only a very specific set of packages from an alternate source |
| 2024-03-14 10:04:49 +0100 | <c_wraith> | and project files just aren't a nice way to do that |
| 2024-03-14 10:05:30 +0100 | <danse-nr3> | i doubt we can expect anything better than that, it's already something |
| 2024-03-14 10:06:29 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 240 seconds) |
| 2024-03-14 10:09:08 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-03-14 10:09:12 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 10:11:32 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-14 10:11:37 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-14 10:11:53 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-14 10:26:35 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-14 10:27:06 +0100 | <tomsmeding> | c_wraith: in the *.cabal file, you mean? |
| 2024-03-14 10:27:26 +0100 | <tomsmeding> | that would be nice, it would make hackage slightly less blessed |
| 2024-03-14 10:31:47 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-14 10:32:23 +0100 | agrosant | (~agrosant@77.49.199.196.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 10:35:15 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-03-14 10:37:02 +0100 | Inst_ | Inst |
| 2024-03-14 10:37:09 +0100 | <Inst> | I'm playing around with the Rust Programming Language book |
| 2024-03-14 10:37:17 +0100 | <Inst> | One of the interesting things I notice from having started with Haskell |
| 2024-03-14 10:37:18 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 10:37:32 +0100 | <Inst> | and what other languages seem to have trouble supporting is the functional subdivision of code |
| 2024-03-14 10:38:16 +0100 | <Inst> | i.e, it's just way more painful to push code into a subfunction / subprocedure in other languages than in Haskell |
| 2024-03-14 10:38:28 +0100 | <Inst> | where foo = bar, bam! |
| 2024-03-14 10:38:34 +0100 | <danse-nr3> | what about lisp? |
| 2024-03-14 10:38:56 +0100 | <Inst> | braces :3 |
| 2024-03-14 10:39:00 +0100 | <Inst> | or rather, parens |
| 2024-03-14 10:39:13 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-03-14 10:39:31 +0100 | <danse-nr3> | i see you are talking syntax |
| 2024-03-14 10:39:43 +0100 | <Inst> | "the medium is the message" |
| 2024-03-14 10:39:55 +0100 | <Inst> | or, rather, McLuhan said massage :3 |
| 2024-03-14 10:41:29 +0100 | <Inst> | I mean that the syntax of a language impacts how you use it |
| 2024-03-14 10:41:57 +0100 | <Inst> | some things that are syntactically easy encourage the use of certain paradigms; i.e, if Haskell thrives, people will remember the foo = bar syntax |
| 2024-03-14 10:49:09 +0100 | agrosant | (~agrosant@46.246.196.194.dsl.dyn.forthnet.gr) |
| 2024-03-14 10:52:18 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-14 10:52:28 +0100 | komikat | (~user@14.139.82.6) |
| 2024-03-14 10:53:44 +0100 | rainbyte | (~rainbyte@186.22.19.215) (Read error: Connection reset by peer) |
| 2024-03-14 10:54:20 +0100 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-14 10:56:56 +0100 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-03-14 10:58:54 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2024-03-14 10:59:26 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2024-03-14 11:01:19 +0100 | <Philonous> | I'm migrating some code to aeson 2 and I can't seem to figure out how to properly create `Key` values for the `KeyMap` in Objects. The only thing I can see is the "IsString" instance, but in my mind that's more for literals than for conversions, and also I already have a Text value, do I seriously have to convert it to a String so it can then be converted back to a Text in the Key? |
| 2024-03-14 11:01:53 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2024-03-14 11:02:38 +0100 | <Philonous> | I'm highly tempted to just write mkKey :: Text -> Key; mkKey = unsafecoerce |
| 2024-03-14 11:02:51 +0100 | raym | (~ray@user/raym) |
| 2024-03-14 11:03:08 +0100 | mei | (~mei@user/mei) |
| 2024-03-14 11:03:57 +0100 | <probie> | Philonous: why not use `Data.Aeson.Key.fromText`? |
| 2024-03-14 11:04:20 +0100 | <Philonous> | Oh, that exists? I couldn't find it |
| 2024-03-14 11:04:45 +0100 | <Philonous> | Oh, it's in another module! Thanks! |
| 2024-03-14 11:07:56 +0100 | komikat | (~user@14.139.82.6) (Ping timeout: 252 seconds) |
| 2024-03-14 11:11:23 +0100 | agrosant | (~agrosant@46.246.196.194.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-14 11:13:22 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-03-14 11:18:39 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-14 11:29:57 +0100 | mmhat | (~mmh@p200300f1c70b85ccee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-14 11:31:21 +0100 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 255 seconds) |
| 2024-03-14 11:32:23 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-14 11:38:12 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-14 11:46:46 +0100 | nerdypepper | (~nerdypepp@user/nerdypepper) (WeeChat 4.2.1) |
| 2024-03-14 11:50:46 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-14 11:51:10 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) |
| 2024-03-14 11:54:45 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-03-14 11:55:59 +0100 | Ashkan | (~Ashkan@147.161.173.72) (Quit: Client closed) |
| 2024-03-14 11:57:10 +0100 | <Inst> | curious, do traversals have filter options? |
| 2024-03-14 11:57:48 +0100 | <danse-nr3> | @hoogle filter |
| 2024-03-14 11:57:48 +0100 | <lambdabot> | Prelude filter :: (a -> Bool) -> [a] -> [a] |
| 2024-03-14 11:57:48 +0100 | <lambdabot> | Data.List filter :: (a -> Bool) -> [a] -> [a] |
| 2024-03-14 11:57:48 +0100 | <lambdabot> | Data.List.NonEmpty filter :: (a -> Bool) -> NonEmpty a -> [a] |
| 2024-03-14 11:58:37 +0100 | <Inst> | i mean in an optics sense |
| 2024-03-14 11:58:50 +0100 | <danse-nr3> | @hoogle Foldable f => f a -> (a -> Bool) -> f a |
| 2024-03-14 11:58:51 +0100 | <lambdabot> | Test.QuickCheck.GenT suchThat :: MonadGen m => m a -> (a -> Bool) -> m a |
| 2024-03-14 11:58:51 +0100 | <lambdabot> | Control.Monad.Loops iterateWhile :: Monad m => (a -> Bool) -> m a -> m a |
| 2024-03-14 11:58:51 +0100 | <lambdabot> | Control.Monad.Loops iterateUntil :: Monad m => (a -> Bool) -> m a -> m a |
| 2024-03-14 11:58:56 +0100 | <Inst> | i finally understand what people mean when they say optics aren't necessary in traditional languages |
| 2024-03-14 12:04:14 +0100 | <Axman6> | Inst: you can't have a traversal which changes the shape of the traversable type, but you can filter what's focused |
| 2024-03-14 12:04:21 +0100 | <Axman6> | @hoogle filtering |
| 2024-03-14 12:04:21 +0100 | <lambdabot> | Data.Drinkery.Distiller filtering :: (Monoid r, Monad m) => (a -> Bool) -> Distiller (Tap r a) r a m |
| 2024-03-14 12:04:21 +0100 | <lambdabot> | Data.Fold filtering :: Folding p => (a -> Bool) -> p a b -> p a b |
| 2024-03-14 12:04:21 +0100 | <lambdabot> | Data.Fold.Class filtering :: Folding p => (a -> Bool) -> p a b -> p a b |
| 2024-03-14 12:04:25 +0100 | <Inst> | yeah that's what i mean |
| 2024-03-14 12:04:33 +0100 | <Inst> | Data.Drinkery.Disteller |
| 2024-03-14 12:04:36 +0100 | <Inst> | this seems fascinating |
| 2024-03-14 12:04:48 +0100 | <Axman6> | I think the Witherable class givws you that though |
| 2024-03-14 12:04:52 +0100 | <Inst> | oh |
| 2024-03-14 12:05:25 +0100 | <Inst> | say i'm doing a %~ on a data structure, and i only want to match the ones satisfying even |
| 2024-03-14 12:05:58 +0100 | <Axman6> | filtering is the wrong function, i can't remember what the right one it |
| 2024-03-14 12:05:58 +0100 | <Inst> | > [1..10] & even %~ succ |
| 2024-03-14 12:06:00 +0100 | <lambdabot> | error: |
| 2024-03-14 12:06:00 +0100 | <lambdabot> | • Couldn't match type ‘Bool’ with ‘[a0] -> Identity b’ |
| 2024-03-14 12:06:00 +0100 | <lambdabot> | Expected type: ASetter [a0] b b0 b0 |
| 2024-03-14 12:06:06 +0100 | <Inst> | > [1..10] & _even %~ succ |
| 2024-03-14 12:06:10 +0100 | <lambdabot> | error: |
| 2024-03-14 12:06:10 +0100 | <lambdabot> | • Found hole: _even :: ASetter [Integer] b b0 b0 |
| 2024-03-14 12:06:10 +0100 | <lambdabot> | Where: ‘b0’ is an ambiguous type variable |
| 2024-03-14 12:07:13 +0100 | <Inst> | i'm just wondering whether lens is worth knocking off |
| 2024-03-14 12:07:27 +0100 | <Inst> | since i think julia has a lens lib, but it's for immutable modification of data structures |
| 2024-03-14 12:08:36 +0100 | <Axman6> | :t filtered even |
| 2024-03-14 12:08:37 +0100 | <lambdabot> | (Choice p, Applicative f, Integral a) => Optic' p f a a |
| 2024-03-14 12:09:06 +0100 | <Axman6> | > [1..10] & traverse . filtered even %~ succ |
| 2024-03-14 12:09:08 +0100 | <lambdabot> | [1,3,3,5,5,7,7,9,9,11] |
| 2024-03-14 12:10:24 +0100 | <Inst> | thanks @ axman |
| 2024-03-14 12:10:25 +0100 | <Axman6> | worth noting the comments on this: https://hackage.haskell.org/package/lens-5.2.3/docs/Control-Lens-Fold.html#v:filtered |
| 2024-03-14 12:11:12 +0100 | <Inst> | but that's a case wherein lens is more powerful than indexing and method dot syntax, right? |
| 2024-03-14 12:12:03 +0100 | <Axman6> | sure, basically the existance traversals make them more powerful than dot syntax |
| 2024-03-14 12:12:55 +0100 | <Axman6> | Inst: see https://gist.github.com/axman6/6adbe8cb80e13b257ae62eca661ff90e |
| 2024-03-14 12:14:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:95ba:b1f4:6f11:67b0) |
| 2024-03-14 12:14:51 +0100 | <Inst> | thanks for playing with me, having a bad sinus headache and not really here right now, so i'm probably being extra irritating :) |
| 2024-03-14 12:14:53 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-14 12:15:27 +0100 | <Axman6> | technically I guess that example needs more than just lens |
| 2024-03-14 12:17:14 +0100 | danse-nr3 | (~danse@151.19.238.50) (Ping timeout: 252 seconds) |
| 2024-03-14 12:19:37 +0100 | PoolloverNathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-03-14 12:21:13 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2024-03-14 12:21:13 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-14 12:25:47 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-03-14 12:43:11 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-03-14 12:43:43 +0100 | destituion | (~destituio@2a02:2121:655:c95b:d49b:80df:ffb0:81dd) (Ping timeout: 256 seconds) |
| 2024-03-14 12:44:15 +0100 | danse-nr3 | (~danse@151.37.241.148) |
| 2024-03-14 12:44:37 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-03-14 12:45:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-14 12:47:32 +0100 | danse-nr3 | (~danse@151.37.241.148) (Remote host closed the connection) |
| 2024-03-14 12:47:57 +0100 | danse-nr3 | (~danse@151.37.241.148) |
| 2024-03-14 12:48:55 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-14 12:48:55 +0100 | destituion | (~destituio@85.221.111.174) (Read error: Connection reset by peer) |
| 2024-03-14 12:56:28 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-03-14 13:01:08 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2024-03-14 13:01:29 +0100 | hueso | (~root@user/hueso) |
| 2024-03-14 13:04:11 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:409b:99d0:9057:5b34) (Remote host closed the connection) |
| 2024-03-14 13:04:24 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:409b:99d0:9057:5b34) |
| 2024-03-14 13:11:40 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-14 13:33:02 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-03-14 13:34:42 +0100 | duncan | (c6181279e3@user/duncan) (Remote host closed the connection) |
| 2024-03-14 13:34:42 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:42 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:42 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:43 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:43 +0100 | sm2n | (ae95cb1267@user/sm2n) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:43 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:43 +0100 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:43 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:43 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:43 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
| 2024-03-14 13:34:44 +0100 | probie | (cc0b34050a@user/probie) (Remote host closed the connection) |
| 2024-03-14 13:34:44 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:44 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:44 +0100 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
| 2024-03-14 13:34:44 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:44 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
| 2024-03-14 13:34:44 +0100 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) (Remote host closed the connection) |
| 2024-03-14 13:34:44 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:44 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Remote host closed the connection) |
| 2024-03-14 13:34:45 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
| 2024-03-14 13:34:45 +0100 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Remote host closed the connection) |
| 2024-03-14 13:34:45 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | jleightcap | (7bc4014b62@user/jleightcap) (Write error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Write error: Broken pipe) |
| 2024-03-14 13:34:45 +0100 | sus | (1b7af6299f@user/zeromomentum) (Write error: Broken pipe) |
| 2024-03-14 13:34:45 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Write error: Broken pipe) |
| 2024-03-14 13:34:45 +0100 | rselim | (ce261f06ff@user/milesrout) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:45 +0100 | jkoshy | (99b9359beb@user/jkoshy) (Read error: Connection reset by peer) |
| 2024-03-14 13:34:46 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
| 2024-03-14 13:34:55 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-03-14 13:34:55 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-03-14 13:34:55 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-03-14 13:34:55 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-03-14 13:34:55 +0100 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) |
| 2024-03-14 13:34:55 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-03-14 13:34:56 +0100 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-03-14 13:34:56 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-03-14 13:34:56 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-03-14 13:34:56 +0100 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) |
| 2024-03-14 13:34:56 +0100 | rselim | (ce261f06ff@user/milesrout) |
| 2024-03-14 13:34:57 +0100 | jakzale | (6291399afa@user/jakzale) |
| 2024-03-14 13:34:58 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-03-14 13:34:58 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-03-14 13:34:58 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-03-14 13:34:58 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-03-14 13:34:59 +0100 | fn_lumi | (26053597f5@2a03:6000:1812:100::df7) |
| 2024-03-14 13:35:00 +0100 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-03-14 13:35:00 +0100 | probie | (cc0b34050a@user/probie) |
| 2024-03-14 13:35:02 +0100 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-03-14 13:35:02 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-03-14 13:35:02 +0100 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-03-14 13:35:03 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-03-14 13:35:03 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-03-14 13:35:04 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-03-14 13:35:05 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-03-14 13:35:05 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-03-14 13:35:06 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-03-14 13:35:11 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-03-14 13:35:11 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-03-14 13:35:11 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-03-14 13:35:11 +0100 | henrytill | (3e6711ff9b@2a03:6000:1812:100::e8c) |
| 2024-03-14 13:35:11 +0100 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-03-14 13:35:11 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-03-14 13:35:11 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-03-14 13:35:11 +0100 | duncan | (c6181279e3@user/duncan) |
| 2024-03-14 13:35:11 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-03-14 13:35:11 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-03-14 13:35:12 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-03-14 13:35:12 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-03-14 13:36:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-14 13:56:23 +0100 | jakzale | (6291399afa@user/jakzale) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2024-03-14 14:01:14 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-14 14:03:38 +0100 | mei | (~mei@user/mei) |
| 2024-03-14 14:16:24 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-14 14:16:52 +0100 | CiaoSen | (~Jura@2a05:5800:282:e000:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-03-14 14:19:05 +0100 | jakzale | (6291399afa@user/jakzale) |
| 2024-03-14 14:21:08 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-14 14:21:23 +0100 | chele | (~chele@user/chele) |
| 2024-03-14 14:24:32 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-14 14:26:41 +0100 | germ | (~quassel@user/mipsel3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-14 14:35:30 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-14 14:46:40 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-14 14:47:45 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-03-14 14:48:25 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-03-14 14:49:29 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-03-14 14:49:42 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-14 14:53:23 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-14 14:54:59 +0100 | scav | (sid309693@user/scav) |
| 2024-03-14 14:56:12 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-14 14:56:23 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 15:04:31 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-03-14 15:20:59 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-03-14 15:22:02 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 252 seconds) |
| 2024-03-14 15:23:35 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-03-14 15:24:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-03-14 15:27:03 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-03-14 15:27:57 +0100 | Achylles | (~Achylles_@45.182.57.110) |
| 2024-03-14 15:28:44 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) |
| 2024-03-14 15:28:54 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
| 2024-03-14 15:29:55 +0100 | Achylles | (~Achylles_@45.182.57.110) (Read error: Connection reset by peer) |
| 2024-03-14 15:30:17 +0100 | Achylles | (~Achylles_@45.182.57.110) |
| 2024-03-14 15:33:05 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-14 15:38:18 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2024-03-14 15:38:59 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-14 15:39:03 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2024-03-14 15:40:41 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-14 15:40:49 +0100 | misterfish | (~misterfis@87.215.131.98) |
| 2024-03-14 15:46:37 +0100 | misterfish | (~misterfis@87.215.131.98) (Ping timeout: 264 seconds) |
| 2024-03-14 15:48:12 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-14 15:53:59 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-03-14 15:54:02 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-03-14 15:55:41 +0100 | danse-nr3 | (~danse@151.37.241.148) (Ping timeout: 240 seconds) |
| 2024-03-14 15:57:02 +0100 | danse-nr3 | (~danse@151.37.241.148) |
| 2024-03-14 15:59:29 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-03-14 15:59:32 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-14 15:59:34 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-03-14 16:00:01 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-14 16:09:15 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-03-14 16:09:29 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-03-14 16:10:37 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 16:10:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 2024-03-14 16:12:42 +0100 | gtdg | (~gtdg@user/gtdg) (Quit: Client closed) |
| 2024-03-14 16:13:09 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2024-03-14 16:16:46 +0100 | germ | (~quassel@50.39.179.7) |
| 2024-03-14 16:18:30 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-14 16:20:53 +0100 | mei | (~mei@user/mei) |
| 2024-03-14 16:23:07 +0100 | germ | (~quassel@50.39.179.7) (Changing host) |
| 2024-03-14 16:23:07 +0100 | germ | (~quassel@user/mipsel3) |
| 2024-03-14 16:23:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:95ba:b1f4:6f11:67b0) (Ping timeout: 268 seconds) |
| 2024-03-14 16:24:37 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-03-14 16:25:27 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-03-14 16:29:22 +0100 | Leslie_wsehjk | (~Leslie_ws@107.182.191.224.16clouds.com) |
| 2024-03-14 16:30:02 +0100 | <Leslie_wsehjk> | hello |
| 2024-03-14 16:34:00 +0100 | ncf | arrests Axman6, Inst for unlawful traversing |
| 2024-03-14 16:34:27 +0100 | <Leslie_wsehjk> | I wanna apply to this year's summer of code, but I don't fully understand the project yet, Tips and contact page leads me here |
| 2024-03-14 16:34:51 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: I gotta go...) |
| 2024-03-14 16:36:08 +0100 | <sclv> | Leslie_wsehjk: well tell us which project you want to apply for and what your questions are |
| 2024-03-14 16:36:10 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-14 16:40:55 +0100 | danse-nr3 | (~danse@151.37.241.148) (Read error: Connection reset by peer) |
| 2024-03-14 16:41:52 +0100 | m1dnight | (~christoph@82.146.125.185) (Ping timeout: 255 seconds) |
| 2024-03-14 16:41:57 +0100 | danse-nr3 | (~danse@151.35.247.131) |
| 2024-03-14 16:41:58 +0100 | <Leslie_wsehjk> | Honestly, I haven't made my mind, because I'm not familiar with haskell, and functional programming. But I'm insterested with FP and compiler, I wanna use this project as a begin |
| 2024-03-14 16:45:38 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-03-14 16:47:05 +0100 | <Leslie_wsehjk> | Honestly, I haven't made up my mind, because I'm not familiar with haskell, and functional programming. But I'm insterested in FP and compiler, I wanna use this project as a beginning. |
| 2024-03-14 16:48:06 +0100 | <Leslie_wsehjk> | well this project is not for me. |
| 2024-03-14 16:48:17 +0100 | Leslie_wsehjk | (~Leslie_ws@107.182.191.224.16clouds.com) (Quit: Client closed) |
| 2024-03-14 16:48:38 +0100 | <ncf> | ok then .-. |
| 2024-03-14 16:48:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-14 16:51:17 +0100 | Leslie_wsehjk | (~Leslie_ws@107.182.191.224.16clouds.com) |
| 2024-03-14 16:53:19 +0100 | Leslie_wsehjk | (~Leslie_ws@107.182.191.224.16clouds.com) (Client Quit) |
| 2024-03-14 16:59:23 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 2024-03-14 17:01:20 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 17:06:02 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-03-14 17:11:37 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-14 17:12:00 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-14 17:12:10 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-03-14 17:13:02 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 17:15:17 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-03-14 17:19:17 +0100 | dminuoso | (~weechat@user/dminuoso) (Quit: WeeChat 4.1.1) |
| 2024-03-14 17:25:11 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-14 17:26:54 +0100 | gtdg3 | (~gtdg@user/gtdg) |
| 2024-03-14 17:27:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-03-14 17:28:42 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) |
| 2024-03-14 17:30:53 +0100 | gtdg | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2024-03-14 17:31:44 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-03-14 17:32:03 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-03-14 17:34:47 +0100 | gtdg3 | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2024-03-14 17:40:37 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-14 17:40:47 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 264 seconds) |
| 2024-03-14 17:41:47 +0100 | danse-nr3 | (~danse@151.35.247.131) (Ping timeout: 260 seconds) |
| 2024-03-14 17:45:13 +0100 | m1dnight | (~christoph@82.146.125.185) |
| 2024-03-14 17:47:32 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-14 17:53:09 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: I gotta go...) |
| 2024-03-14 17:55:38 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-14 17:55:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 17:56:21 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-14 17:56:23 +0100 | <haskellbridge> | <eldritchcookie> since last time i asked did a new solution for internationalization/localization/translation appear? using hgettext needs a custom build type |
| 2024-03-14 17:58:50 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-14 18:00:39 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-14 18:08:57 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-14 18:12:38 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-14 18:18:18 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-14 18:19:31 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Read error: Connection reset by peer) |
| 2024-03-14 18:19:45 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-03-14 18:20:24 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-14 18:20:29 +0100 | zer0bitz_ | zer0bitz |
| 2024-03-14 18:22:02 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:409b:99d0:9057:5b34) (Remote host closed the connection) |
| 2024-03-14 18:22:19 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:17a3:d3c2:a5a6:8aa8) |
| 2024-03-14 18:27:07 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-03-14 18:27:27 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-14 18:27:51 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) |
| 2024-03-14 18:28:15 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-14 18:29:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 18:30:13 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-03-14 18:31:08 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-14 18:34:37 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-14 18:34:44 +0100 | danza | (~francesco@151.35.247.131) |
| 2024-03-14 18:39:40 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-03-14 18:39:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-14 18:39:53 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-14 18:40:57 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) |
| 2024-03-14 18:41:07 +0100 | kmein | (~weechat@user/kmein) (Ping timeout: 246 seconds) |
| 2024-03-14 18:41:42 +0100 | danza | (~francesco@151.35.247.131) (Read error: Connection reset by peer) |
| 2024-03-14 18:41:43 +0100 | danza_ | (~francesco@151.47.242.250) |
| 2024-03-14 18:41:56 +0100 | <tomsmeding> | eldritchcookie: why is that a problem? |
| 2024-03-14 18:44:21 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-14 18:44:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-14 18:45:00 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-14 18:47:59 +0100 | <haskellbridge> | <eldritchcookie> Resolving dependencies... |
| 2024-03-14 18:48:00 +0100 | <haskellbridge> | <eldritchcookie> Error: |
| 2024-03-14 18:48:01 +0100 | <haskellbridge> | <eldritchcookie> Internal libraries only supported with per-component builds. |
| 2024-03-14 18:48:02 +0100 | <haskellbridge> | <eldritchcookie> Per-component builds were disabled because build-type is Custom |
| 2024-03-14 18:48:03 +0100 | <haskellbridge> | <eldritchcookie> In the inplace package 'atta-0.1.0.0' |
| 2024-03-14 18:49:45 +0100 | mei | (~mei@user/mei) |
| 2024-03-14 18:52:22 +0100 | <tomsmeding> | _oh_ you mean that it requires _your_ package to have a Custom build type |
| 2024-03-14 18:52:27 +0100 | <tomsmeding> | I thought you referred to the package itself |
| 2024-03-14 18:52:39 +0100 | <tomsmeding> | yeah dunno |
| 2024-03-14 18:53:59 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-14 18:54:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 19:05:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-14 19:06:29 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 19:09:27 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-90b-214e-863f-1b72.fixed6.kpn.net) |
| 2024-03-14 19:10:30 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-03-14 19:10:30 +0100 | nshepperd24 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2024-03-14 19:10:40 +0100 | nek08 | (~nek0@2a01:4f8:222:2b41::12) |
| 2024-03-14 19:10:45 +0100 | caconym8 | (~caconym@user/caconym) |
| 2024-03-14 19:10:50 +0100 | EsoAlgo8112 | (~EsoAlgo@129.146.136.145) |
| 2024-03-14 19:11:44 +0100 | bw_____ | (sid2730@id-2730.ilkley.irccloud.com) |
| 2024-03-14 19:11:45 +0100 | lockna_ | (~lockna@static.139.16.130.94.clients.your-server.de) |
| 2024-03-14 19:11:50 +0100 | fiddlerw- | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-03-14 19:11:50 +0100 | m5zs7k_ | (aquares@web10.mydevil.net) |
| 2024-03-14 19:12:33 +0100 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:33 +0100 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:33 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:33 +0100 | auri | (~auri@fsf/member/auri) (Remote host closed the connection) |
| 2024-03-14 19:12:33 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-03-14 19:12:33 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2024-03-14 19:12:34 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 264 seconds) |
| 2024-03-14 19:12:34 +0100 | myme | (~myme@2a01:799:d5c:5f00:123a:884d:a2c:23f1) (Ping timeout: 264 seconds) |
| 2024-03-14 19:12:34 +0100 | _________ | (~nobody@user/noodly) (Ping timeout: 264 seconds) |
| 2024-03-14 19:12:34 +0100 | nullie | (~nullie@2a01:4f8:c2c:6177::1) (Ping timeout: 264 seconds) |
| 2024-03-14 19:12:34 +0100 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Read error: Connection reset by peer) |
| 2024-03-14 19:12:34 +0100 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Read error: Connection reset by peer) |
| 2024-03-14 19:12:34 +0100 | nshepperd24 | nshepperd2 |
| 2024-03-14 19:12:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | JimL | (~quassel@89.162.16.26) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | sprout | (~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | xal | (~xal@mx1.xal.systems) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | caconym | (~caconym@user/caconym) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | carbolymer | (~carbolyme@dropacid.net) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | bw____ | (sid2730@id-2730.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | EsoAlgo811 | (~EsoAlgo@129.146.136.145) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | lockna | (~lockna@2a01:4f8:10b:14f1::2) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | caconym8 | caconym |
| 2024-03-14 19:12:47 +0100 | cln_ | (cln@wtf.cx) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:47 +0100 | janus | (janus@anubis.0x90.dk) (Ping timeout: 260 seconds) |
| 2024-03-14 19:12:48 +0100 | EsoAlgo8112 | EsoAlgo811 |
| 2024-03-14 19:12:49 +0100 | nek08 | nek0 |
| 2024-03-14 19:12:58 +0100 | JimL | (~quassel@89.162.16.26) |
| 2024-03-14 19:13:07 +0100 | cln_ | (cln@wtf.cx) |
| 2024-03-14 19:13:08 +0100 | carbolymer | (~carbolyme@dropacid.net) |
| 2024-03-14 19:13:09 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 2024-03-14 19:13:12 +0100 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 2024-03-14 19:13:12 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2024-03-14 19:13:13 +0100 | xal | (~xal@mx1.xal.systems) |
| 2024-03-14 19:13:15 +0100 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2024-03-14 19:13:19 +0100 | auri | (~auri@fsf/member/auri) |
| 2024-03-14 19:13:25 +0100 | turlando | (~turlando@user/turlando) |
| 2024-03-14 19:13:45 +0100 | nullie | (~nullie@2a01:4f8:c2c:6177::1) |
| 2024-03-14 19:14:03 +0100 | _________ | (~nobody@user/noodly) |
| 2024-03-14 19:14:13 +0100 | sudden | (~cat@user/sudden) |
| 2024-03-14 19:14:15 +0100 | janus | (~janus@anubis.0x90.dk) |
| 2024-03-14 19:14:21 +0100 | myme | (~myme@2a01:799:d5c:5f00:4bbe:1e12:b409:f6da) |
| 2024-03-14 19:14:30 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2024-03-14 19:16:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-14 19:16:18 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-03-14 19:16:40 +0100 | kmein | (~weechat@user/kmein) |
| 2024-03-14 19:17:30 +0100 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2024-03-14 19:19:25 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2024-03-14 19:19:36 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-14 19:20:23 +0100 | rosco | (~rosco@175.136.155.53) (Ping timeout: 256 seconds) |
| 2024-03-14 19:20:25 +0100 | m5zs7k_ | m5zs7k |
| 2024-03-14 19:20:50 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 19:21:56 +0100 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-03-14 19:26:05 +0100 | robertm | (robertm@lattice.rojoma.com) |
| 2024-03-14 19:26:29 +0100 | zerocyan | (~zerocyan@2a02:a03f:8c5e:bb00:8263:12c4:6da:50a8) |
| 2024-03-14 19:28:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-14 19:29:16 +0100 | zerocyan | (~zerocyan@2a02:a03f:8c5e:bb00:8263:12c4:6da:50a8) () |
| 2024-03-14 19:29:34 +0100 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-03-14 19:30:35 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-14 19:30:49 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-03-14 19:31:08 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-14 19:31:17 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-14 19:31:18 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-14 19:32:44 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-14 19:33:56 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 252 seconds) |
| 2024-03-14 19:36:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-03-14 19:37:07 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) |
| 2024-03-14 19:37:36 +0100 | darkstardevx | (~darkstard@50.53.3.2) |
| 2024-03-14 19:43:49 +0100 | euleritian | (~euleritia@dynamic-176-006-194-084.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-14 19:44:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 19:48:47 +0100 | destituion | (~destituio@2a02:2121:655:c95b:a1ec:ac61:8d62:b83e) |
| 2024-03-14 19:55:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-14 19:58:40 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-14 19:59:28 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:17a3:d3c2:a5a6:8aa8) (Remote host closed the connection) |
| 2024-03-14 20:00:20 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2024-03-14 20:00:40 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2024-03-14 20:01:54 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-14 20:01:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-14 20:03:23 +0100 | migas9 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-03-14 20:04:29 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-14 20:04:29 +0100 | danza_ | (~francesco@151.47.242.250) (Ping timeout: 240 seconds) |
| 2024-03-14 20:05:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-14 20:05:09 +0100 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-03-14 20:06:51 +0100 | Achylles | (~Achylles_@45.182.57.110) (Remote host closed the connection) |
| 2024-03-14 20:36:04 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:43f5:aed9:c7af:e4db) |
| 2024-03-14 20:39:15 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-03-14 20:44:29 +0100 | mmhat | (~mmh@p200300f1c70b85ccee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-03-14 20:46:13 +0100 | <ph88> | https://bpa.st/6D3Q could someone tell me if i can keep `Foo` and instead of `SomeMonad m` pass in something to do with `EffSome`? |
| 2024-03-14 20:46:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-14 20:51:44 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-03-14 20:53:57 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) |
| 2024-03-14 20:57:53 +0100 | mmhat | (~mmh@p200300f1c70b8558ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-14 20:59:03 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-14 21:00:25 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-03-14 21:01:38 +0100 | <tomsmeding> | ph88: result :: EffSome :> es => Foo (Eff es) Bar Qux ? |
| 2024-03-14 21:08:32 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-14 21:11:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-14 21:12:11 +0100 | <ph88> | tomsmeding, i will try that, thanks ! |
| 2024-03-14 21:20:15 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-14 21:24:33 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-14 21:30:59 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-03-14 21:35:49 +0100 | <tomsmeding> | why is there Data.List.minimumBy that is literally defined as "first compute Maybe minimum, then 'error' if it was Nothing", but no minimumByMay? |
| 2024-03-14 21:41:38 +0100 | PoolloverNathan | (~u0_a408@108.145.176.65) |
| 2024-03-14 21:42:45 +0100 | PoolloverNathan | (~u0_a408@108.145.176.65) () |
| 2024-03-14 21:47:06 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-14 21:48:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-14 21:52:41 +0100 | <lyxia> | Is there an unsafe function to create an uninitialized primitive array (Data.Primitive.Array in primitive)? I couldn't seem to find it. |
| 2024-03-14 21:54:00 +0100 | <lyxia> | tomsmeding: because there is a lot of friction to add new functions in base |
| 2024-03-14 21:55:08 +0100 | <tomsmeding> | right :p |
| 2024-03-14 21:55:34 +0100 | <glguy_> | lyxia: https://hackage.haskell.org/package/primitive-0.9.0.0/docs/Data-Primitive-PrimArray.html#v:newPrim… ? |
| 2024-03-14 21:55:58 +0100 | <glguy_> | lyxia: it probably wouldn't make sense to have uninitialized elements of a boxed array |
| 2024-03-14 21:56:13 +0100 | <glguy_> | how would the GC know which ones to traverse? |
| 2024-03-14 21:56:32 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-14 21:57:19 +0100 | <tomsmeding> | the primop that Data.Primitive.Array.newArray is implemented in terms of actually already takes the default value |
| 2024-03-14 21:57:20 +0100 | <lyxia> | duh! Of course. |
| 2024-03-14 21:59:39 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-14 22:07:19 +0100 | mei | (~mei@user/mei) |
| 2024-03-14 22:11:24 +0100 | juri_ | (~juri@79.140.117.37) |
| 2024-03-14 22:12:36 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-03-14 22:12:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-14 22:15:10 +0100 | juri_ | (~juri@79.140.117.37) (Read error: Connection reset by peer) |
| 2024-03-14 22:16:25 +0100 | juri_ | (~juri@79.140.117.37) |
| 2024-03-14 22:18:14 +0100 | <ph88> | when separating package imports from dependency imports is it more common to put package imports first or dependency imports ? |
| 2024-03-14 22:18:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-14 22:37:13 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-14 22:40:50 +0100 | juri_ | (~juri@79.140.117.37) (Read error: Connection reset by peer) |
| 2024-03-14 22:42:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-14 22:44:31 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-14 22:45:05 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-14 22:48:09 +0100 | <ncf> | who cares |
| 2024-03-14 22:48:48 +0100 | juri_ | (~juri@implicitcad.org) |
| 2024-03-14 22:48:51 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-03-14 22:53:49 +0100 | glguy_ | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2024-03-14 22:54:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-14 22:54:42 +0100 | glguy | (g@libera/staff/glguy) |
| 2024-03-14 22:56:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-03-14 22:57:28 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-14 22:58:31 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:b651:977a:44b1:1ec6) |
| 2024-03-14 23:10:10 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-03-14 23:12:52 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-03-14 23:13:32 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-14 23:15:52 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-14 23:18:57 +0100 | <tomsmeding> | if one was sufficiently determined to get statistics it would be possible to compute this from hackage sources :p |
| 2024-03-14 23:19:37 +0100 | tomsmeding | puts dependencies on top, then Debug.Trace if applicable, then other-package-but-same-project, then same-package |
| 2024-03-14 23:25:29 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) |
| 2024-03-14 23:26:03 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-03-14 23:27:17 +0100 | <geekosaur> | I think the most common pattern I see is just sorted by name with no separation |
| 2024-03-14 23:27:45 +0100 | <geekosaur> | I personally do the same as tomsmeding said, but I blame C for that 🙂 |
| 2024-03-14 23:27:47 +0100 | <int-e> | . o O ( sorted in order of decreasing length for aesthetics ) |
| 2024-03-14 23:29:11 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-14 23:29:52 +0100 | <c_wraith> | If I have enough different dependencies, I'll group by package and throw a comment on each section just to help read the code. |
| 2024-03-14 23:30:03 +0100 | <glguy> | I think lens package sorted language extensions by length for a while |
| 2024-03-14 23:30:52 +0100 | <glguy> | later additions don't follow the pattern, but you'll see a large prefix of each extension list in length order |
| 2024-03-14 23:33:06 +0100 | shapr` | shapr |
| 2024-03-14 23:41:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-14 23:42:01 +0100 | <tomsmeding> | geekosaur: I may be guilty of carrying that over from C as well lol |
| 2024-03-14 23:43:09 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-14 23:44:34 +0100 | acidjnk | (~acidjnk@p200300d6e737e779c430099ca0f81496.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-03-14 23:45:34 +0100 | <geekosaur> | I don't like sorting by package because things can move (I've seen several packages split into -core and -compA, -compB, etc., for example) |
| 2024-03-14 23:46:55 +0100 | <geekosaur> | or Semigroup migrating into base |
| 2024-03-14 23:55:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |