| 2024-06-09 00:00:49 +0000 | <monochrom> | But I guess that's exactly what most programmers want. |
| 2024-06-09 00:01:40 +0000 | <EvanR> | what insight that may contain is fogged over by stuff like UML, what professionals actually use to explain code xD |
| 2024-06-09 00:01:59 +0000 | <EvanR> | according to very large books |
| 2024-06-09 00:02:00 +0000 | <monochrom> | Every other profession --- accounting, medicine, law, engineering --- optimize for getting things to actually work, and if that means something is counterintuitive, so be it. |
| 2024-06-09 00:02:45 +0000 | <monochrom> | Programming is about the only field that wants to be called "professional" even "engineering", but naively insists on "intuitive". |
| 2024-06-09 00:02:50 +0000 | <monochrom> | No, you can't have both. |
| 2024-06-09 00:03:49 +0000 | <geekosaur> | ever heard of sanitation engineers? (there is a certain amount of commonality there, speaking cynically) |
| 2024-06-09 00:04:04 +0000 | <monochrom> | Like, even astrology doesn't claim to be intuitive. Sleep on that. |
| 2024-06-09 00:04:19 +0000 | <EvanR> | if you tell a bartender you're qualified because you have a degree in bartending school they will laugh. I'm not sure if we're that far yet |
| 2024-06-09 00:04:30 +0000 | <EvanR> | a degree from* |
| 2024-06-09 00:05:17 +0000 | <EvanR> | that far gone ... or perhaps that far advanced |
| 2024-06-09 00:07:22 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-06-09 00:08:14 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-06-09 00:08:36 +0000 | <ncf> | i have a feeling that when people say stuff like "code should be easy to explain to normal people" they mean "code should be easy to explain to imperative programmers" |
| 2024-06-09 00:08:53 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-06-09 00:09:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-09 00:09:55 +0000 | ft | (~ft@i5C743B45.versanet.de) (Ping timeout: 256 seconds) |
| 2024-06-09 00:11:40 +0000 | ft | (~ft@i5C743B3C.versanet.de) |
| 2024-06-09 00:15:24 +0000 | <mauke> | professional math relies on intuition |
| 2024-06-09 00:15:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-06-09 00:18:32 +0000 | <dolio> | Not on the intuition of non-mathematicians. |
| 2024-06-09 00:19:48 +0000 | <Leary> | hololeap: <https://en.wikipedia.org/wiki/Absorbing_element>. `Mode` ~ `Annihilate Any` where `data Annihilate a = Zero | NonZero a; instance Semigroup a => Semigroup (Annihilate a) where { NonZero a <> NonZero b = NonZero (a <> b); _ <> _ = Zero }; instance Monoid a => Monoid (Anihilate a) where { mempty = NonZero mempty }`. |
| 2024-06-09 00:20:10 +0000 | <Leary> | Unfortunately, since DerivingVia is not sufficiently advanced, this won't actually help you improve your code. |
| 2024-06-09 00:28:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-09 00:32:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 00:33:32 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-09 00:33:49 +0000 | <hololeap> | ok, so HelpMode here is the absorbing element. I had a feeling there was something deeper. I just wanted to know if there was some deeper pattern even if I don't implement it in this case |
| 2024-06-09 00:37:45 +0000 | <geekosaur> | I did wonder if it maybe fit "annihilating element", but it didn't seem like it (should have been the same as mempty) |
| 2024-06-09 00:38:20 +0000 | <monochrom> | Use multiplication as an anlogy, mempty is 1, helpmode is 0. |
| 2024-06-09 00:38:22 +0000 | <geekosaur> | hm, no, that's wrong |
| 2024-06-09 00:38:31 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-06-09 00:38:35 +0000 | <geekosaur> | right, that would be annihilating |
| 2024-06-09 00:39:26 +0000 | <monochrom> | For command line options, mempty is defaults, absorb/annihilate is helpmode. |
| 2024-06-09 00:39:39 +0000 | <geekosaur> | although then I think you need a second monoid for which HelpMode would be mempty |
| 2024-06-09 00:41:02 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-06-09 00:41:14 +0000 | <monochrom> | You can bring in lattice theory if you want two identity elements, one for min and one for max, and then the identity for one is the annihilator for the other. :) |
| 2024-06-09 00:43:33 +0000 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-09 00:57:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-06-09 01:01:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 01:05:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-09 01:08:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 01:10:02 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-06-09 01:45:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 01:46:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-06-09 01:50:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-09 01:55:13 +0000 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 255 seconds) |
| 2024-06-09 02:02:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-06-09 02:05:32 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-06-09 02:17:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-09 02:17:55 +0000 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-06-09 02:19:20 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-09 02:19:47 +0000 | dcoutts_ | (~duncan@77.109.149.106) (Ping timeout: 260 seconds) |
| 2024-06-09 02:20:29 +0000 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 2024-06-09 02:56:23 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-06-09 02:56:49 +0000 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-06-09 02:58:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 02:59:23 +0000 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 268 seconds) |
| 2024-06-09 03:00:53 +0000 | td_ | (~td@83.135.9.0) |
| 2024-06-09 03:03:02 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-06-09 03:08:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 03:19:43 +0000 | inedia | (~irc@2600:3c00:e000:287::1) |
| 2024-06-09 03:28:56 +0000 | Guest64 | (~Guest64@50.46.240.117) |
| 2024-06-09 03:41:25 +0000 | Guest64 | (~Guest64@50.46.240.117) (Ping timeout: 250 seconds) |
| 2024-06-09 03:45:41 +0000 | phma_ | (~phma@host-67-44-208-103.hnremote.net) |
| 2024-06-09 03:46:28 +0000 | phma | (~phma@host-67-44-208-65.hnremote.net) (Read error: Connection reset by peer) |
| 2024-06-09 03:49:48 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc8:c600:4ce7:611a:8656:4065) |
| 2024-06-09 03:51:03 +0000 | aforemny | (~aforemny@i59F516E7.versanet.de) (Ping timeout: 272 seconds) |
| 2024-06-09 04:17:13 +0000 | xelxebar | (~xelxebar@wilsonb.com) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2024-06-09 04:18:00 +0000 | xelxebar | (~xelxebar@wilsonb.com) |
| 2024-06-09 04:30:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 04:31:44 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-09 04:34:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-06-09 04:39:46 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 04:44:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-06-09 04:47:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 05:17:11 +0000 | sdzx | (~sdzx@2403:2c80:6::3062) |
| 2024-06-09 05:17:57 +0000 | <sdzx> | hello |
| 2024-06-09 05:22:18 +0000 | sdzx | (~sdzx@2403:2c80:6::3062) (Remote host closed the connection) |
| 2024-06-09 05:43:28 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-09 06:08:41 +0000 | meritamen | (~user@user/meritamen) |
| 2024-06-09 06:09:09 +0000 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-06-09 06:09:56 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 2024-06-09 06:11:53 +0000 | meritamen | (~user@user/meritamen) (Remote host closed the connection) |
| 2024-06-09 06:13:38 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-06-09 06:13:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 06:14:21 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-09 06:18:57 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-09 06:19:46 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-06-09 06:22:01 +0000 | <jcarpenter2> | oh my gosh, Haskell is constantly asking me to take my program and make it a value in a meta-program |
| 2024-06-09 06:22:58 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2024-06-09 06:23:02 +0000 | <jcarpenter2> | that's the direction of the pull in Haskell |
| 2024-06-09 06:26:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 06:31:39 +0000 | rosco | (~rosco@183.171.74.10) |
| 2024-06-09 06:33:22 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-09 06:41:29 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-06-09 06:45:03 +0000 | paparispipas | (~androirc@2a02:587:9e01:1742:5922:40bf:11bf:5f69) |
| 2024-06-09 06:45:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-09 06:48:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 06:53:44 +0000 | Guest94 | (~Guest94@mobile-access-6df005-171.dhcp.inet.fi) |
| 2024-06-09 06:56:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 07:00:06 +0000 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-09 07:02:55 +0000 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-06-09 07:08:31 +0000 | Guest94 | (~Guest94@mobile-access-6df005-171.dhcp.inet.fi) (Quit: Client closed) |
| 2024-06-09 07:12:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-06-09 07:14:05 +0000 | paparispipas | (~androirc@2a02:587:9e01:1742:5922:40bf:11bf:5f69) (Ping timeout: 240 seconds) |
| 2024-06-09 07:15:44 +0000 | paparispipas | (~androirc@athedsl-4549622.home.otenet.gr) |
| 2024-06-09 07:24:20 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-09 07:26:45 +0000 | rosco | (~rosco@183.171.74.10) (Read error: Connection reset by peer) |
| 2024-06-09 07:28:07 +0000 | Square | (~Square@user/square) |
| 2024-06-09 07:32:32 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-09 07:41:01 +0000 | Jackneill | (~Jackneill@178-164-253-166.pool.digikabel.hu) |
| 2024-06-09 07:51:15 +0000 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-06-09 07:54:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 07:56:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 07:57:35 +0000 | augustss | (~augustss@213.106.163.130) |
| 2024-06-09 07:57:43 +0000 | <augustss> | howdy |
| 2024-06-09 07:59:40 +0000 | <paparispipas> | sup |
| 2024-06-09 08:05:29 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-09 08:07:26 +0000 | <[exa]> | mornin' |
| 2024-06-09 08:13:34 +0000 | ski | (~ski@remote11.chalmers.se) (Quit: Lost terminal) |
| 2024-06-09 08:14:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-09 08:21:44 +0000 | dcoutts_ | (~duncan@77.109.149.106) |
| 2024-06-09 08:22:03 +0000 | acidjnk | (~acidjnk@p200300d6e714dc386d02759bd76503b8.dip0.t-ipconnect.de) |
| 2024-06-09 08:25:10 +0000 | augustss | (~augustss@213.106.163.130) (Read error: Connection reset by peer) |
| 2024-06-09 08:28:44 +0000 | Guest60 | (~Guest49@astrolabe.plus.com) |
| 2024-06-09 08:33:07 +0000 | dcoutts_ | (~duncan@77.109.149.106) (Ping timeout: 260 seconds) |
| 2024-06-09 08:40:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 08:43:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 08:45:25 +0000 | AndroUser2 | (~androirc@athedsl-4548023.home.otenet.gr) |
| 2024-06-09 08:46:52 +0000 | paparispipas | (~androirc@athedsl-4549622.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2024-06-09 08:46:58 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-09 08:48:15 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-09 08:53:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 08:55:16 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2f45:7d7a:ed1:7b2) (Ping timeout: 256 seconds) |
| 2024-06-09 08:57:07 +0000 | AndroUser2 | (~androirc@athedsl-4548023.home.otenet.gr) (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )) |
| 2024-06-09 08:57:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 09:00:28 +0000 | <tomsmeding> | one can't get the list of exports of a module in TH, right? |
| 2024-06-09 09:02:25 +0000 | rosco | (~rosco@183.171.74.10) |
| 2024-06-09 09:06:31 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8b0f:4c93:c18a:67f2) |
| 2024-06-09 09:08:20 +0000 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2024-06-09 09:08:21 +0000 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) (Ping timeout: 272 seconds) |
| 2024-06-09 09:10:19 +0000 | Guest60 | (~Guest49@astrolabe.plus.com) (Ping timeout: 250 seconds) |
| 2024-06-09 09:13:34 +0000 | rosco | (~rosco@183.171.74.10) (Quit: Lost terminal) |
| 2024-06-09 09:13:50 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-06-09 09:16:27 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-09 09:25:57 +0000 | Guest74 | (~Guest74@craw-09-b2-v4wan-169726-cust742.vm24.cable.virginm.net) |
| 2024-06-09 09:31:22 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-09 09:34:01 +0000 | <int-e> | tomsmeding: Looking at the Language.Haskell.TH.Syntax.Quasi type classs ...no. (qReifyModule may get your hopes up for a moment but all that returns is module names) |
| 2024-06-09 09:35:39 +0000 | <tomsmeding> | int-e: indeed |
| 2024-06-09 09:41:57 +0000 | Guest74 | (~Guest74@craw-09-b2-v4wan-169726-cust742.vm24.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2024-06-09 09:44:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 09:47:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 09:50:09 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-09 09:56:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 09:58:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 09:59:20 +0000 | vadparaszt | (~Rodney@176.254.244.83) |
| 2024-06-09 10:01:39 +0000 | Inst_ | (~Inst@user/Inst) (Ping timeout: 255 seconds) |
| 2024-06-09 10:03:59 +0000 | Guest20 | (~Guest20@2601:5c7:8300:6480:7892:f157:c9e:9be2) |
| 2024-06-09 10:06:23 +0000 | <tomsmeding> | is it known that haddock + TH + foreign imports is a breaking combination? |
| 2024-06-09 10:07:39 +0000 | <tomsmeding> | I define a foreign import (from C) in module F, then define 'cheese = LitE (StringL "cheese")' in module A and (crucially) import F in A (even if F is unused in A); then I write module B which imports A and uses 'cheese' in a splice |
| 2024-06-09 10:07:46 +0000 | Guest20 | (~Guest20@2601:5c7:8300:6480:7892:f157:c9e:9be2) (Client Quit) |
| 2024-06-09 10:08:24 +0000 | <tomsmeding> | if I then `cabal build --enable-documentation`, haddock breaks on B, saying "Loading temp shared object failed", referring to the imported C function |
| 2024-06-09 10:08:24 +0000 | Sguest1 | (~Sguest1@2a02:26f7:d6c1:6827:0:e0a3:52db:8e95) |
| 2024-06-09 10:10:10 +0000 | Sguest1 | (~Sguest1@2a02:26f7:d6c1:6827:0:e0a3:52db:8e95) (Remote host closed the connection) |
| 2024-06-09 10:12:22 +0000 | Guest74 | (~Guest74@craw-09-b2-v4wan-169726-cust742.vm24.cable.virginm.net) |
| 2024-06-09 10:15:41 +0000 | <tomsmeding> | reproducer: https://git.tomsmeding.com/haddock-th-foreign-repro/about/ |
| 2024-06-09 10:29:25 +0000 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 2024-06-09 10:29:35 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-06-09 10:33:14 +0000 | vadparaszt | (~Rodney@176.254.244.83) |
| 2024-06-09 10:35:12 +0000 | phma_ | phma |
| 2024-06-09 10:43:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 10:45:34 +0000 | augustss | (~augustss@213.106.163.130) |
| 2024-06-09 10:47:37 +0000 | augustss | (~augustss@213.106.163.130) (Read error: Connection reset by peer) |
| 2024-06-09 10:51:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 10:56:57 +0000 | Guest74 | (~Guest74@craw-09-b2-v4wan-169726-cust742.vm24.cable.virginm.net) (Quit: Client closed) |
| 2024-06-09 11:01:48 +0000 | mrmr15533434 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-06-09 11:14:14 +0000 | mrmr15533434 | (~mrmr@user/mrmr) |
| 2024-06-09 11:15:03 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 261 seconds) |
| 2024-06-09 11:24:16 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-06-09 11:26:15 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-06-09 11:27:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 11:33:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 11:37:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-06-09 11:39:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 11:56:12 +0000 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-09 11:56:51 +0000 | connrs | (~connrs@user/connrs) |
| 2024-06-09 11:58:52 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 12:08:07 +0000 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-09 12:08:32 +0000 | samuel | (~samuel@mm-6-12-215-37.mfilial.dynamic.pppoe.byfly.by) |
| 2024-06-09 12:15:41 +0000 | connrs | (~connrs@user/connrs) |
| 2024-06-09 12:16:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-06-09 12:19:48 +0000 | euleritian | (~euleritia@dynamic-176-004-188-038.176.4.pool.telefonica.de) |
| 2024-06-09 12:20:57 +0000 | euleritian | (~euleritia@dynamic-176-004-188-038.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-09 12:21:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 12:23:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 12:24:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 12:25:00 +0000 | xdminsy | (~xdminsy@117.147.70.212) (Read error: Connection reset by peer) |
| 2024-06-09 12:25:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-06-09 12:25:32 +0000 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-06-09 12:26:34 +0000 | euleritian | (~euleritia@dynamic-176-004-188-038.176.4.pool.telefonica.de) |
| 2024-06-09 12:34:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 12:35:16 +0000 | falafel | (~falafel@79.117.174.22) |
| 2024-06-09 12:36:55 +0000 | euleritian | (~euleritia@dynamic-176-004-188-038.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-09 12:38:46 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 12:46:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 12:47:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-06-09 12:50:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 12:52:40 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-06-09 12:52:56 +0000 | gorignak | (~gorignak@user/gorignak) |
| 2024-06-09 12:55:17 +0000 | samuel | (~samuel@mm-6-12-215-37.mfilial.dynamic.pppoe.byfly.by) () |
| 2024-06-09 13:01:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-06-09 13:02:54 +0000 | euleritian | (~euleritia@dynamic-176-004-188-038.176.4.pool.telefonica.de) |
| 2024-06-09 13:07:03 +0000 | falafel | (~falafel@79.117.174.22) (Ping timeout: 260 seconds) |
| 2024-06-09 13:07:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 13:19:32 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-06-09 13:20:09 +0000 | falafel | (~falafel@79.117.174.22) |
| 2024-06-09 13:21:39 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-06-09 13:44:43 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.196) |
| 2024-06-09 13:47:01 +0000 | AlexZenon | (~alzenon@178.34.163.65) (Ping timeout: 272 seconds) |
| 2024-06-09 13:48:05 +0000 | AlexNoo | (~AlexNoo@178.34.163.65) (Ping timeout: 240 seconds) |
| 2024-06-09 13:50:20 +0000 | AlexZenon | (~alzenon@178.34.160.196) |
| 2024-06-09 13:51:41 +0000 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-06-09 13:54:13 +0000 | Inst | (~Inst@user/Inst) |
| 2024-06-09 13:55:02 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-09 13:55:39 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit) |
| 2024-06-09 13:56:01 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-09 13:58:38 +0000 | falafel | (~falafel@79.117.174.22) (Remote host closed the connection) |
| 2024-06-09 14:05:43 +0000 | AlexNoo_ | AlexNoo |
| 2024-06-09 14:06:12 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-09 14:07:38 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-06-09 14:21:18 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-06-09 14:22:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 14:29:09 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-06-09 14:32:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 14:34:21 +0000 | Guest60 | (~Guest2@151.135.179.175) |
| 2024-06-09 14:36:06 +0000 | Guest60 | (~Guest2@151.135.179.175) (Client Quit) |
| 2024-06-09 14:43:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 14:44:14 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-09 14:45:21 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-06-09 14:50:03 +0000 | polyphem | (~rod@p3ee3f12c.dip0.t-ipconnect.de) |
| 2024-06-09 15:03:14 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-09 15:04:38 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-11-184-148-4-136.dsl.bell.ca) |
| 2024-06-09 15:05:33 +0000 | euleritian | (~euleritia@dynamic-176-004-188-038.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-09 15:05:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 15:12:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-06-09 15:13:07 +0000 | euleritian | (~euleritia@dynamic-176-006-180-217.176.6.pool.telefonica.de) |
| 2024-06-09 15:15:45 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-09 15:17:06 +0000 | califax | (~califax@user/califx) |
| 2024-06-09 15:18:08 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-06-09 15:20:00 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-06-09 15:21:03 +0000 | noscript | (~noscript@user/earldouglas) |
| 2024-06-09 15:21:06 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-06-09 15:23:22 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-06-09 15:24:43 +0000 | euleritian | (~euleritia@dynamic-176-006-180-217.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-06-09 15:24:53 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2024-06-09 15:26:07 +0000 | euleritian | (~euleritia@dynamic-176-006-180-217.176.6.pool.telefonica.de) |
| 2024-06-09 15:34:27 +0000 | euleritian | (~euleritia@dynamic-176-006-180-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-09 15:38:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 15:38:49 +0000 | ocra8 | (ocra8@user/ocra8) |
| 2024-06-09 15:39:46 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-06-09 15:40:13 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-09 15:43:23 +0000 | hexeme_ | (~hexeme@user/hexeme) (Ping timeout: 260 seconds) |
| 2024-06-09 15:43:47 +0000 | Guest4771 | (~Guest4771@syn-071-014-104-225.res.spectrum.com) |
| 2024-06-09 15:44:06 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:b029:5729:77ae:d1dd) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-09 15:44:23 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:5da6:ca27:9d0c:23d6) |
| 2024-06-09 15:44:27 +0000 | hexeme | (~hexeme@user/hexeme) |
| 2024-06-09 15:50:17 +0000 | Guest4771 | (~Guest4771@syn-071-014-104-225.res.spectrum.com) (Ping timeout: 250 seconds) |
| 2024-06-09 15:54:41 +0000 | turlando | (~turlando@user/turlando) (Remote host closed the connection) |
| 2024-06-09 15:55:33 +0000 | <glguy> | tomsmeding: It seems like that's more specifically that you have a local c source. If it was a system installed library I bet it would have worked |
| 2024-06-09 15:55:55 +0000 | turlando | (~turlando@user/turlando) |
| 2024-06-09 15:56:34 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-06-09 15:57:47 +0000 | <tomsmeding> | oh probably |
| 2024-06-09 16:01:25 +0000 | <tomsmeding> | glguy: in case you're curious, I reported this on the ghc issue tracker: https://gitlab.haskell.org/ghc/ghc/-/issues/24964 |
| 2024-06-09 16:01:54 +0000 | <glguy> | I think this is more of a cabal issue than ghc |
| 2024-06-09 16:02:38 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-09 16:02:49 +0000 | <tomsmeding> | perhaps, but I asked Mikolaj and he said something like "perhaps this is cabal's fault, but in any case I have no clue how to solve it, so let's report it to ghc" |
| 2024-06-09 16:02:52 +0000 | <tomsmeding> | also see Ryan's reply |
| 2024-06-09 16:03:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-09 16:03:30 +0000 | <tomsmeding> | (which shows that it reproduces without cabal too, and even without haddock) |
| 2024-06-09 16:04:06 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-06-09 16:05:00 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-06-09 16:05:08 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-06-09 16:09:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-09 16:17:19 +0000 | <glguy> | I don't see why Ryan's example should have worked at all |
| 2024-06-09 16:17:36 +0000 | <glguy> | It does not provide the c file as an argument |
| 2024-06-09 16:18:27 +0000 | <tomsmeding> | good point |
| 2024-06-09 16:19:45 +0000 | <tomsmeding> | added your remark to the issue :) |
| 2024-06-09 16:26:46 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-09 16:28:28 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-09 16:29:53 +0000 | zer0bitz_ | zer0bitz |
| 2024-06-09 16:45:07 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-09 16:46:57 +0000 | Square | (~Square@user/square) |
| 2024-06-09 16:48:18 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-09 16:48:18 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-09 16:49:07 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 16:54:35 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-06-09 16:59:59 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-06-09 17:00:50 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-06-09 17:00:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-09 17:01:01 +0000 | euleritian | (~euleritia@dynamic-176-006-180-217.176.6.pool.telefonica.de) |
| 2024-06-09 17:01:23 +0000 | euleritian | (~euleritia@dynamic-176-006-180-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-09 17:01:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 17:03:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-09 17:04:14 +0000 | Guest4771 | (~Guest4771@syn-071-014-104-225.res.spectrum.com) |
| 2024-06-09 17:04:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 17:06:31 +0000 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 246 seconds) |
| 2024-06-09 17:07:09 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-06-09 17:13:29 +0000 | Guest4771 | (~Guest4771@syn-071-014-104-225.res.spectrum.com) (Ping timeout: 250 seconds) |
| 2024-06-09 17:15:08 +0000 | dcoutts_ | (~duncan@152.96.92.215) |
| 2024-06-09 17:17:08 +0000 | ystael | (~ystael@user/ystael) |
| 2024-06-09 17:19:58 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-09 17:23:59 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-06-09 17:28:02 +0000 | dcoutts_ | (~duncan@152.96.92.215) (Ping timeout: 252 seconds) |
| 2024-06-09 17:28:16 +0000 | divya | (~user@202.170.201.16) |
| 2024-06-09 17:29:43 +0000 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2024-06-09 17:40:23 +0000 | halloy7959 | (~halloy795@c-98-35-18-241.hsd1.ca.comcast.net) |
| 2024-06-09 17:45:13 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2024-06-09 17:46:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-09 17:47:05 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 17:51:29 +0000 | dcoutts_ | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 272 seconds) |
| 2024-06-09 17:52:44 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-09 17:57:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-09 17:59:53 +0000 | elpendejo2 | (~elpendejo@190.10.217.198) |
| 2024-06-09 18:01:08 +0000 | halloy7959 | (~halloy795@c-98-35-18-241.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2024-06-09 18:08:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-09 18:08:47 +0000 | euleritian | (~euleritia@dynamic-176-006-001-067.176.6.pool.telefonica.de) |
| 2024-06-09 18:14:59 +0000 | polyphem | (~rod@p3ee3f12c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-06-09 18:24:33 +0000 | elpendejo2 | (~elpendejo@190.10.217.198) (Ping timeout: 250 seconds) |
| 2024-06-09 18:26:23 +0000 | michalz | (~michalz@185.246.207.200) |
| 2024-06-09 18:26:31 +0000 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-09 18:28:18 +0000 | michalz | (~michalz@185.246.207.200) (Read error: Connection reset by peer) |
| 2024-06-09 18:31:09 +0000 | michalz | (~michalz@185.246.207.221) |
| 2024-06-09 18:32:42 +0000 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-06-09 18:35:33 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2024-06-09 18:39:38 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-06-09 18:42:54 +0000 | <lxsameer> | hey folks, I'm looking for a safe (concurrency) bound channel implementation. Do you know any? |
| 2024-06-09 18:43:30 +0000 | euleritian | (~euleritia@dynamic-176-006-001-067.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-09 18:44:07 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 18:45:48 +0000 | <tomsmeding> | @hackage BoundedChan |
| 2024-06-09 18:45:48 +0000 | <lambdabot> | https://hackage.haskell.org/package/BoundedChan |
| 2024-06-09 18:45:54 +0000 | <monochrom> | https://hackage.haskell.org/package/stm-chans has a TBChan |
| 2024-06-09 18:46:14 +0000 | <lxsameer> | cheers |
| 2024-06-09 18:46:17 +0000 | tabemann_ | (~tabemann@2600:1700:7990:24e0:7b2b:151c:4735:737f) |
| 2024-06-09 18:46:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-09 18:46:34 +0000 | <tomsmeding> | look at that, BoundedChan has a `base >=3` bound! One doesn't see that often :) |
| 2024-06-09 18:47:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-09 18:47:42 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:ccf:38dd:bb01:b6bf) (Ping timeout: 255 seconds) |
| 2024-06-09 18:49:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 18:49:48 +0000 | <monochrom> | "This sword is passed down from my father, and his father before that." |
| 2024-06-09 18:51:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 18:52:00 +0000 | <monochrom> | "But dad we now fight with xbox controllers and nintendo switch, not with swords, not even with joysticks" |
| 2024-06-09 18:53:42 +0000 | <lxsameer> | that remindes of another question. Since packages in haskell can share namespaces (package name or whatever they're called) how do you find the package that contains a certain symbol? for example the hoogle results can contains many packages with the same symbol |
| 2024-06-09 18:54:09 +0000 | <tomsmeding> | what do you mean with "the package that contains a certain symbol"? |
| 2024-06-09 18:54:26 +0000 | <tomsmeding> | do you mean "I have some haskell code that compiles, and I want to know where ghc is getting this name from"? |
| 2024-06-09 18:55:01 +0000 | <tomsmeding> | (the easiest answer to that, if you have HLS set up, is "ask for the type of the thing" -- the source module is listed in the popup) |
| 2024-06-09 18:55:20 +0000 | <tomsmeding> | (another answer is: do `:i` on it in ghci) |
| 2024-06-09 18:55:27 +0000 | <lxsameer> | tomsmeding: no |
| 2024-06-09 18:55:44 +0000 | <lxsameer> | for example, I want to find TVar definition |
| 2024-06-09 18:55:50 +0000 | <tomsmeding> | _which_ TVar |
| 2024-06-09 18:55:53 +0000 | <tomsmeding> | where did you read that name |
| 2024-06-09 18:56:12 +0000 | <tomsmeding> | as you said, just the name "TVar" does not contain enough information to know where to search :p |
| 2024-06-09 18:56:31 +0000 | <Rembane> | You can make a TVar yourself! :D |
| 2024-06-09 18:56:33 +0000 | <tomsmeding> | (well, for "TVar" specifically there's ~100% chance it's from stm:Control.Concurrent.STM.TVar) |
| 2024-06-09 18:57:10 +0000 | <tomsmeding> | this is the same as in any language; if someone tells you in C++ "I'm using a `vector`", is that `std::vector`? Who knows! |
| 2024-06-09 18:57:20 +0000 | <tomsmeding> | You have to ask the person who said "vector" to you :) |
| 2024-06-09 18:57:22 +0000 | <lxsameer> | well TVar might not be good example, but usually you can find good a few packages defining the same symbol |
| 2024-06-09 18:57:27 +0000 | <tomsmeding> | sure |
| 2024-06-09 18:57:54 +0000 | <lxsameer> | tomsmeding: not exactly, in haskell, packages tend to use Data, Control or things like that |
| 2024-06-09 18:58:30 +0000 | <tomsmeding> | Data, Control, etc. are not linked to any package in particular; packages can put their modules in whatever place in the module hierarchy they wish |
| 2024-06-09 18:58:44 +0000 | <lxsameer> | while in some other langs, they don't choose the same namespace |
| 2024-06-09 18:58:59 +0000 | <tomsmeding> | can you give an example of that? |
| 2024-06-09 18:59:03 +0000 | <lxsameer> | yeah I know that, but apparently it is a convension |
| 2024-06-09 18:59:12 +0000 | <geekosaur> | "Data" and "Control" don't mean anything |
| 2024-06-09 18:59:20 +0000 | <lxsameer> | yeah i know |
| 2024-06-09 18:59:23 +0000 | <tomsmeding> | there is a very rough convention of what to put where, indeed, but that still doesn't tell you anything about what package it came from ;) |
| 2024-06-09 18:59:25 +0000 | <geekosaur> | eiter semantically or organizationally |
| 2024-06-09 18:59:40 +0000 | <lxsameer> | but 10 packages defining Data.X.Y.Z is pretty confusing |
| 2024-06-09 18:59:43 +0000 | <tomsmeding> | even if the conventions _were_ strict (which they aren't) |
| 2024-06-09 18:59:45 +0000 | <tomsmeding> | yes |
| 2024-06-09 18:59:49 +0000 | <tomsmeding> | that's the fault of those packages |
| 2024-06-09 19:00:01 +0000 | <tomsmeding> | the answer to your question, I think, is: "ask the person who said 'TVar' to you" |
| 2024-06-09 19:00:14 +0000 | <tomsmeding> | (using 'TVar' as a standin for the name you'd like to look up) |
| 2024-06-09 19:00:24 +0000 | <tomsmeding> | "insert" could be a good example |
| 2024-06-09 19:01:01 +0000 | <tomsmeding> | is it from containers:Data.Map.Strict? containers:Data.Map? aeson:Data.Aeson.KeyMap? Who knows -- you need to ask whoever said that name to you, or wrote that name somewhere |
| 2024-06-09 19:01:01 +0000 | <lxsameer> | cheers thank you |
| 2024-06-09 19:01:20 +0000 | <tomsmeding> | again, as far as I know this is the same in any other language |
| 2024-06-09 19:01:43 +0000 | <tomsmeding> | this would only be different if every use of a name would necessarily carry the name of the package it came from, with it |
| 2024-06-09 19:01:49 +0000 | <tomsmeding> | which would be _extremely_ cumbersome |
| 2024-06-09 19:02:14 +0000 | <tomsmeding> | for module names, some languages indeed namespace module names under the package name |
| 2024-06-09 19:02:22 +0000 | <tomsmeding> | haskell doesn't, so you have the same problem again |
| 2024-06-09 19:05:50 +0000 | <tomsmeding> | (but C++ also doesn't, nor does Python if I remember correctly (though there is a strong naming convention there), for example) |
| 2024-06-09 19:07:14 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-06-09 19:10:33 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-06-09 19:11:57 +0000 | Guest62 | (~Guest25@81.6.34.139) |
| 2024-06-09 19:13:16 +0000 | Guest62 | (~Guest25@81.6.34.139) (Client Quit) |
| 2024-06-09 19:13:57 +0000 | Guest79 | (~Guest4@c-98-35-18-241.hsd1.ca.comcast.net) |
| 2024-06-09 19:14:37 +0000 | Guest79 | (~Guest4@c-98-35-18-241.hsd1.ca.comcast.net) (Client Quit) |
| 2024-06-09 19:34:27 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-09 19:35:43 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
| 2024-06-09 19:36:50 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2024-06-09 19:40:15 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
| 2024-06-09 19:40:50 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-09 19:41:24 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2024-06-09 19:42:01 +0000 | elpendejo2 | (~elpendejo@190.10.217.198) |
| 2024-06-09 19:47:07 +0000 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-06-09 20:00:11 +0000 | tabemann_ | tabemann |
| 2024-06-09 20:00:31 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:7b2b:151c:4735:737f) (Quit: Leaving) |
| 2024-06-09 20:00:45 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:7b2b:151c:4735:737f) |
| 2024-06-09 20:11:45 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-06-09 20:12:34 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-09 20:20:00 +0000 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-06-09 20:20:51 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 255 seconds) |
| 2024-06-09 20:22:27 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-06-09 20:23:18 +0000 | r5c4571lh01987 | (~rscastilh@179.221.142.8) |
| 2024-06-09 20:30:00 +0000 | r5c4571lh01987 | (~rscastilh@179.221.142.8) (Ping timeout: 256 seconds) |
| 2024-06-09 20:31:05 +0000 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 256 seconds) |
| 2024-06-09 20:32:57 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-06-09 20:38:17 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-09 20:38:41 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2024-06-09 20:38:43 +0000 | cheater_ | (~Username@user/cheater) |
| 2024-06-09 20:38:43 +0000 | cheater_ | cheater |
| 2024-06-09 20:39:20 +0000 | elpendejo2 | (~elpendejo@190.10.217.198) (Quit: Client closed) |
| 2024-06-09 20:42:18 +0000 | gawen_ | (~gawen@user/gawen) (Quit: cya) |
| 2024-06-09 20:44:04 +0000 | laxmik | (~laxmik@ip-109-43-243-135.web.vodafone.de) |
| 2024-06-09 20:44:27 +0000 | laxmik | michals |
| 2024-06-09 20:49:08 +0000 | michals | (~laxmik@ip-109-43-243-135.web.vodafone.de) (Quit: michals) |
| 2024-06-09 20:49:41 +0000 | pavonia | (~user@user/siracusa) |
| 2024-06-09 20:49:55 +0000 | gawen | (~gawen@user/gawen) |
| 2024-06-09 20:50:55 +0000 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-06-09 20:52:19 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-06-09 21:00:52 +0000 | shailangsa | (~shailangs@host86-186-127-241.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2024-06-09 21:01:11 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-06-09 21:02:50 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-09 21:07:26 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-06-09 21:09:28 +0000 | Jackneill | (~Jackneill@178-164-253-166.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 2024-06-09 21:11:46 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-09 21:15:05 +0000 | gawen | (~gawen@user/gawen) |
| 2024-06-09 21:19:58 +0000 | andrewboltachev | (~andrewbol@178.141.120.15) |
| 2024-06-09 21:21:45 +0000 | Guest86 | (~Guest86@109-252-35-221.nat.spd-mgts.ru) |
| 2024-06-09 21:22:09 +0000 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-09 21:32:25 +0000 | Guest86 | (~Guest86@109-252-35-221.nat.spd-mgts.ru) (Quit: Client closed) |
| 2024-06-09 21:41:00 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-06-09 21:43:51 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-06-09 21:45:31 +0000 | andrewboltachev | (~andrewbol@178.141.120.15) (Quit: Client closed) |
| 2024-06-09 21:49:19 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-06-09 22:16:58 +0000 | AlexZenon | (~alzenon@178.34.160.196) (Ping timeout: 255 seconds) |
| 2024-06-09 22:19:49 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-09 22:21:06 +0000 | AlexZenon | (~alzenon@178.34.160.196) |
| 2024-06-09 22:22:11 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-09 22:23:51 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |
| 2024-06-09 22:24:29 +0000 | acidjnk | (~acidjnk@p200300d6e714dc386d02759bd76503b8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-06-09 22:26:12 +0000 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-06-09 22:31:15 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-11-184-148-4-136.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2024-06-09 22:37:51 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-09 22:43:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 22:49:27 +0000 | esph | (~weechat@user/esph) (Ping timeout: 260 seconds) |
| 2024-06-09 22:55:19 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-09 22:56:00 +0000 | esph | (~weechat@user/esph) |
| 2024-06-09 23:00:35 +0000 | esph | (~weechat@user/esph) (Ping timeout: 264 seconds) |
| 2024-06-09 23:01:20 +0000 | JimL | (~quassel@89.162.16.26) (Ping timeout: 252 seconds) |
| 2024-06-09 23:02:11 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-06-09 23:03:35 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-09 23:14:07 +0000 | phma | (~phma@host-67-44-208-103.hnremote.net) (Read error: Connection reset by peer) |
| 2024-06-09 23:17:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-09 23:20:28 +0000 | phma | (~phma@host-67-44-208-42.hnremote.net) |
| 2024-06-09 23:21:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-09 23:21:50 +0000 | CiaoSen | (~Jura@2a05:5800:2b3:7d00:e6b9:7aff:fe80:3d03) |
| 2024-06-09 23:21:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 23:26:16 +0000 | CiaoSen | (~Jura@2a05:5800:2b3:7d00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-06-09 23:27:33 +0000 | JimL | (~quassel@89.162.16.26) (Remote host closed the connection) |
| 2024-06-09 23:28:46 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-09 23:33:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-09 23:40:15 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-09 23:47:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-09 23:59:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |