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