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