Logs on 2023-12-29 (liberachat/#haskell)
| 00:00:51 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 00:07:52 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 00:11:29 | × | kaskal quits (~kaskal@89.144.222.250) (Ping timeout: 256 seconds) |
| 00:13:13 | → | rvalue joins (~rvalue@user/rvalue) |
| 00:14:22 | → | johnw joins (~johnw@69.62.242.138) |
| 00:15:55 | × | crats quits (~modnar@sh.sonic.net) (Remote host closed the connection) |
| 00:21:05 | × | sawilagar quits (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 00:21:06 | × | acidjnk quits (~acidjnk@p200300d6e72b93695034e58544c46cc6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:21:29 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 00:23:41 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 245 seconds) |
| 00:29:22 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 00:36:57 | → | mikess joins (~sam@user/mikess) |
| 00:55:38 | × | chomwitt quits (~chomwitt@2a02:587:7a0c:fb00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 00:58:16 | → | dolio joins (~dolio@130.44.134.54) |
| 01:03:17 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
| 01:10:12 | → | jargon joins (~jargon@211.sub-174-205-225.myvzw.com) |
| 01:15:50 | × | Tuplanolla quits (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:17:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 01:18:14 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 01:24:33 | → | bilegeek joins (~bilegeek@2600:1008:b096:bf93:7de8:7b41:443d:1de9) |
| 01:24:45 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 01:34:06 | → | rosco joins (~rosco@14.191.93.45) |
| 01:51:52 | × | bilegeek quits (~bilegeek@2600:1008:b096:bf93:7de8:7b41:443d:1de9) (Ping timeout: 268 seconds) |
| 02:00:41 | → | Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 02:08:59 | → | Noob_Programmer joins (~Noob_Prog@2405:201:400f:1936:7849:e67d:9723:1739) |
| 02:17:27 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 02:17:42 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 02:19:17 | → | mt000_ROM joins (~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865) |
| 02:26:07 | × | califax quits (~califax@user/califx) (Ping timeout: 240 seconds) |
| 02:26:15 | → | califax_ joins (~califax@user/califx) |
| 02:27:33 | califax_ | is now known as califax |
| 02:40:05 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 02:46:08 | × | rosco quits (~rosco@14.191.93.45) (Ping timeout: 268 seconds) |
| 02:56:00 | × | xff0x quits (~xff0x@2405:6580:b080:900:c3f5:7df3:b5ee:188a) (Ping timeout: 268 seconds) |
| 03:06:31 | → | institor joins (~henricus@user/institor) |
| 03:14:37 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 03:15:57 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 03:19:13 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 03:25:40 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:25:40 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:25:40 | finn_elija | is now known as FinnElija |
| 03:29:20 | × | jargon quits (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 03:29:56 | × | td_ quits (~td@i5387093c.versanet.de) (Ping timeout: 245 seconds) |
| 03:31:55 | → | td_ joins (~td@i53870902.versanet.de) |
| 03:33:15 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 03:33:39 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:41:01 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 03:48:10 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 260 seconds) |
| 03:58:14 | × | boxscape_ quits (~boxscape_@p4ff0bcf4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 04:07:27 | → | xdminsy joins (~xdminsy@117.147.71.169) |
| 04:17:30 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 04:17:55 | → | califax joins (~califax@user/califx) |
| 04:18:41 | × | aforemny_ quits (~aforemny@2001:9e8:6cde:3e00:e38e:ee65:e4a3:4952) (Ping timeout: 245 seconds) |
| 04:18:58 | → | aforemny joins (~aforemny@2001:9e8:6cc3:0:ee6c:1c7b:f8ba:2a53) |
| 04:21:55 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 05:02:55 | → | Ellenor joins (~Ellenor@callbox.trd.is) |
| 05:03:16 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 05:04:40 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 05:10:15 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 05:14:23 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 05:21:24 | → | trev joins (~trev@user/trev) |
| 05:25:46 | × | Square quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 05:30:11 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 05:30:51 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 05:39:48 | × | Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 05:41:02 | → | Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 05:43:16 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 05:52:46 | × | causal quits (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 05:57:52 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 06:02:47 | <glguy> | <* and << would probably do different things |
| 06:04:10 | <glguy> | >>= and =<< are flipped versions of each other. << ought to be a flipped >> |
| 06:08:38 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 06:11:09 | → | sroso joins (~sroso@user/SrOso) |
| 06:21:48 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:22:07 | → | michalz joins (~michalz@185.246.207.203) |
| 06:25:25 | → | dolio joins (~dolio@130.44.134.54) |
| 06:26:34 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 06:28:10 | → | dolio joins (~dolio@130.44.134.54) |
| 06:30:57 | × | Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 06:31:17 | → | Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 06:32:17 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 06:44:56 | × | dolio quits (~dolio@130.44.134.54) (Ping timeout: 245 seconds) |
| 06:52:06 | → | not_reserved joins (~not_reser@154.16.157.87) |
| 06:52:27 | × | michalz quits (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:55:20 | → | michalz joins (~michalz@185.246.207.203) |
| 06:57:59 | → | notzmv joins (~zmv@user/notzmv) |
| 07:04:51 | → | misterfish joins (~misterfis@84.53.85.146) |
| 07:13:16 | × | mt000_ROM quits (~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865) (Ping timeout: 245 seconds) |
| 07:24:48 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 07:27:35 | → | nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 07:32:39 | × | nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 07:45:52 | → | mt000_ROM joins (~mt@2400:2411:c6e1:5800:db07:ec1e:cc61:26a9) |
| 07:46:11 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 07:49:24 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 07:53:39 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 08:01:35 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:02:08 | → | mima joins (~mmh@dynamic-077-010-059-205.77.10.pool.telefonica.de) |
| 08:03:41 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 08:03:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:04:24 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 08:15:55 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 08:17:53 | × | Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer) |
| 08:18:10 | → | Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 08:19:11 | × | euleritian quits (~euleritia@dynamic-046-114-174-139.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 08:19:48 | → | euleritian joins (~euleritia@dynamic-046-114-172-233.46.114.pool.telefonica.de) |
| 08:27:08 | × | Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 08:27:29 | → | Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 08:32:35 | → | benjaminl joins (~benjaminl@user/benjaminl) |
| 08:32:50 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 08:32:50 | Feuermagier | is now known as Guest421 |
| 08:32:51 | × | Guest421 quits (~Feuermagi@user/feuermagier) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 08:32:51 | Feuermagier_ | is now known as Feuermagier |
| 08:34:55 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 08:36:42 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 08:38:40 | × | potato44 quits (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:38:51 | × | Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer) |
| 08:39:10 | → | Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 08:41:26 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 08:43:42 | × | mima quits (~mmh@dynamic-077-010-059-205.77.10.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 08:44:59 | × | phma_ quits (phma@2001:5b0:2172:bf48:d94b:c147:93b3:7bbe) (Read error: Connection reset by peer) |
| 08:45:52 | → | phma_ joins (~phma@host-67-44-208-102.hnremote.net) |
| 08:48:21 | phma_ | is now known as phma |
| 08:49:37 | × | Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 08:50:08 | → | rosco joins (~rosco@14.191.93.45) |
| 08:50:50 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 08:56:19 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:56:44 | × | rosco quits (~rosco@14.191.93.45) (Quit: Lost terminal) |
| 08:59:10 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:59:37 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 09:01:43 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 09:10:00 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 09:10:00 | <c_wraith> | Whoa. Data.List.NonEmpty has groupAllWith. They really want us to stop grouping with Data.List, huh? |
| 09:16:54 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:16:55 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 09:19:08 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 09:19:34 | → | xff0x joins (~xff0x@ai085147.d.east.v6connect.net) |
| 09:20:47 | → | misterfish joins (~misterfis@g250100.upc-g.chello.nl) |
| 09:22:03 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 09:31:59 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 09:32:04 | × | mikess quits (~sam@user/mikess) (Ping timeout: 246 seconds) |
| 09:33:13 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:34:45 | → | Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 09:35:39 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 09:36:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Ping timeout: 260 seconds) |
| 09:37:08 | <ncf> | :t (*>) |
| 09:37:09 | <lambdabot> | Applicative f => f a -> f b -> f b |
| 09:37:10 | <ncf> | :t (>>) |
| 09:37:11 | <lambdabot> | Monad m => m a -> m b -> m b |
| 09:44:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:51:34 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 09:53:01 | <cheater> | c_wraith: Big Haskell is trying to suppress your creativity |
| 09:55:42 | → | acidjnk joins (~acidjnk@p200300d6e72b9374fc20c6d10faefee0.dip0.t-ipconnect.de) |
| 10:00:38 | → | igemnace joins (~ian@user/igemnace) |
| 10:02:06 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 10:03:15 | <Athas> | How do I examine the sign bit of a NaN, using just the base library? |
| 10:05:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:05:20 | <Athas> | It looks like 'decodeFloat' does contain the information, but it's specified as undefined. |
| 10:05:29 | <Athas> | I only care about this for the Float/Double. |
| 10:06:24 | <cheater> | good luck working that one out |
| 10:06:40 | <cheater> | i'd read the source of decodeFloat and relevant code |
| 10:07:42 | × | steew quits (~steew@user/steew) (Remote host closed the connection) |
| 10:08:36 | <Athas> | Well, it's certainly just giving me the actual representation. |
| 10:08:43 | <Athas> | I suppose there is no risk that GHC will change that in the future. |
| 10:09:01 | <Athas> | Good thing I paid attention in the class on floating point representation! |
| 10:12:47 | → | Guest12 joins (~Guest12@2a01:510:d504:2300:6d9:f5ff:fe7e:d97e) |
| 10:15:34 | × | Guest12 quits (~Guest12@2a01:510:d504:2300:6d9:f5ff:fe7e:d97e) (Client Quit) |
| 10:27:32 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:29:31 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 10:29:48 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:30:38 | → | nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 10:35:21 | × | nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 10:36:58 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 10:51:46 | <trev> | how come i can't do something like this: `Data.List.find (\i -> i == (1,2)) [[(1,i), (2, i)] | i <- [1..3]]` |
| 10:52:15 | <trev> | oops, ignore the predicate there. forgot to edit it |
| 10:52:37 | <trev> | just imagine that it's passing the list into a function or something |
| 10:52:56 | <ncf> | could you explain in english what you want to do? |
| 10:53:48 | → | Batzy joins (~quassel@user/batzy) |
| 10:54:12 | <trev> | i want to `find` over a list of lists |
| 10:54:29 | <ncf> | concatenate the lists first? |
| 10:55:05 | <trev> | but i want to pass the sublist into a function within the condition of `find` |
| 10:55:30 | <ncf> | what sublist? |
| 10:55:42 | <trev> | in other words, i want `\i :: [(Int,Int)]` in that example |
| 10:56:37 | <ncf> | :t \x -> find x [[(1, i), (2, i)] | i <- [1..3]] |
| 10:56:38 | <lambdabot> | (Enum b, Num b, Num a) => ([(a, b)] -> Bool) -> Maybe [(a, b)] |
| 10:56:52 | <ncf> | you have that already |
| 10:59:40 | <trev> | hmph.. back to the drawing board then |
| 11:00:30 | × | not_reserved quits (~not_reser@154.16.157.87) (Quit: Client closed) |
| 11:00:47 | <ncf> | of course i == (1, 2) is ill-typed if i is a list |
| 11:01:02 | <ncf> | :t elem |
| 11:01:03 | <lambdabot> | (Foldable t, Eq a) => a -> t a -> Bool |
| 11:01:43 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 11:01:49 | <trev> | yeah, that was just an error of me typing it here |
| 11:10:01 | → | mmhat joins (~mmh@p200300f1c7323cdcee086bfffe095315.dip0.t-ipconnect.de) |
| 11:14:41 | → | chele joins (~chele@user/chele) |
| 11:17:17 | → | __monty__ joins (~toonn@user/toonn) |
| 11:18:11 | × | Noob_Programmer quits (~Noob_Prog@2405:201:400f:1936:7849:e67d:9723:1739) (Quit: Client closed) |
| 11:19:12 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:21:30 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 11:21:30 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving) |
| 11:26:01 | <trev> | man, i'm an idiot. it was such a silly mistake on my park |
| 11:45:36 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:48:11 | × | misterfish quits (~misterfis@g250100.upc-g.chello.nl) (Ping timeout: 268 seconds) |
| 11:54:24 | → | misterfish joins (~misterfis@87.215.131.102) |
| 11:56:37 | → | Guest56 joins (~Guest56@121-200-9-35.79c809.mel.nbn.aussiebb.net) |
| 11:58:17 | <Guest56> | Hi, I am trying to use a materialicon UTF-8 codepoint in a string in Haskell, for printing an icon to the terminal (a battery indicator), and my error is "lexical error in string/character literal at character '\57763'". |
| 11:58:17 | <Guest56> | What's my best option here? |
| 11:58:18 | <Guest56> | The code looks like |
| 11:58:18 | <Guest56> | ``` |
| 11:58:19 | <Guest56> | Just $ "" ++ (show percent) ++ "%" |
| 11:58:19 | <Guest56> | ``` |
| 12:02:19 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 12:03:42 | <Guest56> | Maybe the better question is, can Haskell accept private area UTF-8 codepoints at all in Strings within code? I guess I could "load" the strings in with some IO... |
| 12:06:24 | <ncf> | Guest56: use "\xE1A3" or "\57763"; see https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Char.html#t:Char |
| 12:10:36 | <ncf> | your issue seems to be a resurgence of https://gitlab.haskell.org/ghc/ghc/-/issues/5518 |
| 12:11:49 | <Guest56> | ncf interesting, I had attempted that but the Unicode printing out was wrong, so I assumed it was problematic, turns out the bad encoding is coming from `safeSpawn` in https://hackage.haskell.org/package/xmonad-contrib-0.17.1/docs/src/XMonad.Util.Run.html#safeSpawn - I'll have to debug that instead :) - thanks ncf |
| 12:17:38 | <Guest56> | Success, stopped using that function and used the System calls myself, no problem :) |
| 12:32:34 | → | zer0bitz_ joins (~zer0bitz@user/zer0bitz) |
| 12:36:31 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 12:36:39 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 12:38:15 | → | mima joins (~mmh@151.217.91.149) |
| 12:43:16 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 12:43:55 | × | mima quits (~mmh@151.217.91.149) (Ping timeout: 260 seconds) |
| 12:52:37 | → | AlexNoo_ joins (~AlexNoo@178.34.163.207) |
| 12:54:29 | × | AlexZenon quits (~alzenon@94.233.240.140) (Ping timeout: 268 seconds) |
| 12:56:09 | × | AlexNoo quits (~AlexNoo@94.233.240.140) (Ping timeout: 252 seconds) |
| 12:58:07 | → | AlexZenon joins (~alzenon@178.34.163.207) |
| 13:04:28 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 13:06:53 | AlexNoo_ | is now known as AlexNoo |
| 13:07:06 | × | Guest56 quits (~Guest56@121-200-9-35.79c809.mel.nbn.aussiebb.net) (Quit: Client closed) |
| 13:31:27 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 13:32:14 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 13:35:48 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 268 seconds) |
| 13:38:53 | × | acidjnk quits (~acidjnk@p200300d6e72b9374fc20c6d10faefee0.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 13:45:25 | → | __monty__ joins (~toonn@user/toonn) |
| 14:05:07 | → | acidjnk joins (~acidjnk@p200300d6e72b9374f0cb08d58417bae5.dip0.t-ipconnect.de) |
| 14:10:14 | → | dolio joins (~dolio@130.44.134.54) |
| 14:19:17 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:32:08 | → | nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 14:37:11 | × | nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 14:41:03 | → | gentauro joins (~gentauro@user/gentauro) |
| 14:42:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:44:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:51:19 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 14:52:31 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 15:02:48 | × | todi quits (~todi@p4fd1a1df.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 15:05:05 | × | hippoid quits (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Changing host) |
| 15:05:05 | → | hippoid joins (~hippoid@user/hippoid) |
| 15:05:13 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 15:32:36 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:34:49 | × | mmhat quits (~mmh@p200300f1c7323cdcee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 15:35:11 | → | mmhat joins (~mmh@p200300f1c7323c25ee086bfffe095315.dip0.t-ipconnect.de) |
| 15:39:45 | → | causal joins (~eric@50.35.85.7) |
| 15:39:47 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 15:47:26 | × | mt000_ROM quits (~mt@2400:2411:c6e1:5800:db07:ec1e:cc61:26a9) (Ping timeout: 260 seconds) |
| 15:49:19 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 15:53:54 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:54:38 | → | Square joins (~Square@user/square) |
| 15:59:57 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 16:00:08 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 256 seconds) |
| 16:00:20 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 16:00:34 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:01:33 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:05:10 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 16:06:36 | → | Inst joins (~Inst@120.244.192.161) |
| 16:06:39 | <Inst> | https://hackage.haskell.org/package/servant-lucid |
| 16:06:44 | <Inst> | is there a version for lucid2? |
| 16:07:47 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 16:08:41 | → | alp_ joins (~alp@2001:861:e3d6:8f80:f649:733a:2b7d:2732) |
| 16:09:17 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 16:10:07 | × | alp_ quits (~alp@2001:861:e3d6:8f80:f649:733a:2b7d:2732) (Client Quit) |
| 16:14:49 | <[exa]> | Inst: https://github.com/haskell-servant/servant-lucid/issues/26 (I'd say not but also changing the pkg by hand to lucid2 won't be very hard) |
| 16:15:01 | <[exa]> | be the first™ |
| 16:15:08 | <Inst> | thanks, sorry, am losing it somewhat, also, captured by a witch |
| 16:18:10 | <[exa]> | interesting note to the immutable policy there... :D |
| 16:18:45 | <[exa]> | oh wait, lok here |
| 16:19:18 | <[exa]> | https://github.com/intolerable/servant-lucid2 |
| 16:20:35 | <[exa]> | doesn't seem hackage-level quality yet but could be usable |
| 16:22:31 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 16:23:00 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 16:26:09 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 16:36:10 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 16:36:18 | → | target_i joins (~target_i@217.175.14.39) |
| 16:36:27 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 16:36:58 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 16:40:48 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:41:40 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:44:31 | → | mikess joins (~sam@user/mikess) |
| 16:45:02 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 16:52:48 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 16:54:13 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 16:58:38 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 17:02:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 17:11:23 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 17:11:48 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 17:12:14 | × | xdminsy quits (~xdminsy@117.147.71.169) (Read error: Connection reset by peer) |
| 17:12:24 | → | misterfish joins (~misterfis@84.53.85.146) |
| 17:12:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 17:17:03 | → | ystael joins (~ystael@user/ystael) |
| 17:19:34 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 17:21:17 | → | xdminsy joins (~xdminsy@117.147.71.169) |
| 17:30:10 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 17:36:36 | × | xdminsy quits (~xdminsy@117.147.71.169) (Ping timeout: 268 seconds) |
| 17:37:09 | → | xdminsy joins (~xdminsy@117.147.71.169) |
| 17:37:45 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 17:41:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 17:43:25 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 3.8) |
| 17:43:42 | × | turlando quits (~turlando@user/turlando) () |
| 17:43:58 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 17:47:21 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 17:47:33 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 17:48:55 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 17:50:52 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:52:10 | → | turlando joins (~turlando@user/turlando) |
| 17:53:19 | × | turlando quits (~turlando@user/turlando) (Client Quit) |
| 17:53:45 | → | turlando joins (~turlando@user/turlando) |
| 17:57:53 | → | turlando_ joins (~turlando@user/turlando) |
| 17:58:13 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 255 seconds) |
| 17:58:17 | → | wroathe joins (~wroathe@50.205.197.50) |
| 17:58:17 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 17:58:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:59:20 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 18:00:22 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 18:00:43 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:04:08 | × | telser quits (~quassel@user/telser) (Ping timeout: 252 seconds) |
| 18:04:25 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 18:04:41 | <Inst> | do you know how to produce a link with lucid? |
| 18:05:55 | → | telser joins (~quassel@user/telser) |
| 18:15:29 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:24:22 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 18:25:36 | × | krei-se quits (~krei-se@p5085dea2.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 18:33:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:33:38 | → | nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 18:37:24 | × | igemnace quits (~ian@user/igemnace) (Remote host closed the connection) |
| 18:38:16 | × | nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 18:38:23 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 18:42:15 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 18:47:51 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 18:48:40 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:50:47 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 18:54:49 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 18:55:33 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 18:55:54 | → | edwtjo joins (~edwtjo@h-46-59-62-216.A213.priv.bahnhof.se) |
| 18:55:55 | × | edwtjo quits (~edwtjo@h-46-59-62-216.A213.priv.bahnhof.se) (Changing host) |
| 18:55:55 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 18:58:26 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 18:58:31 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 18:58:35 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 18:58:48 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 18:59:09 | <haskellbridge> | 06<sm> `a "URL"` I'm guessing |
| 18:59:19 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 19:06:50 | → | rvalue joins (~rvalue@user/rvalue) |
| 19:06:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 19:10:35 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:11:50 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 19:17:09 | <[exa]> | Inst: what type of the URL? (the href args are plain Text) |
| 19:18:40 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 19:18:57 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 19:22:55 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 19:26:51 | × | michalz quits (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:32:42 | → | misterfish joins (~misterfis@84.53.85.146) |
| 19:36:33 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 19:37:09 | <Inst> | it's a_ [href_ text] (toHtml content) etc... |
| 19:42:29 | <[exa]> | and what type do you have now? (or do you want a URL builder?) |
| 19:44:07 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 19:45:30 | × | xdminsy quits (~xdminsy@117.147.71.169) (Ping timeout: 260 seconds) |
| 19:47:39 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 19:51:34 | → | waldo joins (~waldo@user/waldo) |
| 19:53:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
| 19:55:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:00:17 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 20:03:36 | → | krei-se joins (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 20:05:33 | → | mima_ joins (~mmh@151.217.88.185) |
| 20:10:07 | × | mima_ quits (~mmh@151.217.88.185) (Ping timeout: 246 seconds) |
| 20:28:30 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 20:28:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 20:33:23 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Ping timeout: 260 seconds) |
| 20:44:53 | → | michalz joins (~michalz@185.246.207.217) |
| 20:59:03 | → | araujo joins (~araujo@216.73.163.190) |
| 21:12:33 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:14:14 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
| 21:18:28 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:19:51 | <Inst> | ehhh, i'm just pointing it to my own servants |
| 21:20:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:20:08 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 21:30:29 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 21:38:29 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:43:06 | × | Nixkernal quits (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds) |
| 21:45:02 | → | Nixkernal joins (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 21:45:38 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:54:29 | × | mmhat quits (~mmh@p200300f1c7323c25ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 21:56:28 | × | michalz quits (~michalz@185.246.207.217) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:58:01 | → | not_reserved joins (~not_reser@154.16.157.88) |
| 22:01:04 | <carbolymer> | can I see data family instances in the scope in ghci? :i doesn't seem to print it |
| 22:01:49 | <carbolymer> | hmm, :info! seems to be printing something |
| 22:11:27 | <monochrom> | Yeah :info! is about as complete as ghci can get. |
| 22:13:38 | × | target_i quits (~target_i@217.175.14.39) (Quit: leaving) |
| 22:26:25 | → | chomwitt joins (~chomwitt@2a02:587:7a0c:fb00:1ac0:4dff:fedb:a3f1) |
| 22:33:19 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 22:35:08 | → | nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 22:37:22 | → | pavonia joins (~user@user/siracusa) |
| 22:40:17 | × | nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 22:41:22 | × | waldo quits (~waldo@user/waldo) (Quit: waldo) |
| 22:42:23 | <haskellbridge> | 15<Jade> Does anyone have a better version of a diagram like this https://en.wikipedia.org/wiki/File%3ABase-classes.svg |
| 22:43:27 | <c_wraith> | Jade: does the image near the top of https://wiki.haskell.org/Typeclassopedia work better for you? |
| 22:45:11 | <haskellbridge> | 15<Jade> hm, not sure |
| 22:45:46 | <haskellbridge> | 15<Jade> my main issue with the diagram I sent is that it's a photo of a book (?) and also phrases things around `Eq` weirdly |
| 22:46:17 | <haskellbridge> | 15<Jade> because "All except IO, (->)" ... is wrong? |
| 22:46:42 | <c_wraith> | that doesn't look like a photo of a book. It looks like the output of dot, when it's not given enough space for the number of nodes and font configuration... |
| 22:47:05 | <haskellbridge> | 15<Jade> ah, okay |
| 22:47:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:47:53 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 22:48:16 | <haskellbridge> | 15<Jade> My point is that the diagram on Wikipedia should probably be replaced |
| 22:49:02 | <c_wraith> | (you can identify dot output because it tries to lay out the graph as if it's a DAG and it's doing a level-order traversal, then it adds in back-edges.) |
| 22:50:07 | <c_wraith> | I don't know what it means by "all except", but... the examples look sort of ok other than that. |
| 22:50:49 | <haskellbridge> | 15<Jade> yeah I suppose, but if it would be consistent within itself it should probably also include (->) with Functor, Applicative and Monad |
| 22:56:01 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 23:20:27 | × | Inst quits (~Inst@120.244.192.161) (Read error: Connection reset by peer) |
| 23:34:47 | × | lisbeths quits (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 23:40:37 | <causal> | i'm reading the ffi section on the haskell wiki, it says: "Warning: GHC does not support passing structures as values yet." |
| 23:41:01 | <causal> | is there some way to work around that? i'm trying to bind to a c api that expects structures as values in some functions |
| 23:41:51 | <yushyin> | a small c-shim? |
| 23:42:13 | <geekosaur> | that's pretty much it; only the C compiler knows how to pass structs by value |
| 23:42:16 | <causal> | probably the route i'll go if there's no better workaround |
| 23:42:18 | <causal> | i see, thanks |
| 23:42:31 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 23:43:30 | → | mt000_ROM joins (~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865) |
| 23:45:24 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 23:58:43 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
All times are in UTC on 2023-12-29.