Home liberachat/#haskell: Logs Calendar

Logs on 2024-05-19 (liberachat/#haskell)

00:01:54 → karihasu joins (~karihasu@189.6.9.213)
00:02:44 × karihasu quits (~karihasu@189.6.9.213) (Read error: Connection reset by peer)
00:17:11 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
00:17:25 × phma quits (~phma@host-67-44-208-131.hnremote.net) (Read error: Connection reset by peer)
00:19:16 → phma joins (~phma@2001:5b0:210b:b498:a19:569a:587e:d186)
00:19:32 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Remote host closed the connection)
00:21:43 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
00:32:07 × califax quits (~califax@user/califx) (Remote host closed the connection)
00:33:45 × y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds)
00:34:11 → califax joins (~califax@user/califx)
01:04:44 → fizbin__ joins (~fizbin@user/fizbin)
01:04:52 × aryah quits (~aryah@141-138-36-145.dsl.iskon.hr) (Ping timeout: 260 seconds)
01:05:04 × otto_s quits (~user@p5b044b71.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
01:06:01 <monochrom> No cake :( hee hee :)
01:07:09 → otto_s joins (~user@p5b0447e8.dip0.t-ipconnect.de)
01:10:09 [Leary] is now known as Leary
01:11:44 → aryah joins (~aryah@141-138-38-218.dsl.iskon.hr)
01:17:00 × aryah quits (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 260 seconds)
01:18:24 ← sp1ff parts (~user@c-24-21-45-157.hsd1.wa.comcast.net) (ERC 5.6-git (IRC client for GNU Emacs 30.0.50))
01:18:41 → aryah joins (~aryah@141-138-38-218.dsl.iskon.hr)
01:40:53 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
01:44:17 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
01:44:26 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
01:46:00 → m257 joins (~maaz@174.92.92.146)
01:50:37 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
01:58:23 × _xor quits (~xor@ip-208-102-243-175.dynamic.fuse.net) (Quit: brb/bbiab)
02:00:01 × fliife quits (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
02:00:50 → fliife joins (~fliife@user/fliife)
02:03:40 × otto_s quits (~user@p5b0447e8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
02:05:03 × op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection)
02:05:12 → otto_s joins (~user@p5de2f197.dip0.t-ipconnect.de)
02:05:33 → op_4 joins (~tslil@user/op-4/x-9116473)
02:08:45 × td_ quits (~td@i53870939.versanet.de) (Ping timeout: 256 seconds)
02:10:16 → td_ joins (~td@i5387090A.versanet.de)
02:24:29 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds)
02:33:36 → joeyadams joins (~joeyadams@2603:6010:5100:2ed:7cee:f3eb:d0a2:9947)
02:35:30 <EvanR> no cake in libera-birthday, no cake in lambdabot either
02:35:32 <EvanR> > cake
02:35:34 <lambdabot> error:
02:35:34 <lambdabot> • Variable not in scope: cake
02:35:34 <lambdabot> • Perhaps you meant one of these:
02:37:17 → __jmcantrell__ joins (~weechat@user/jmcantrell)
02:40:15 × __jmcantrell__ quits (~weechat@user/jmcantrell) (Client Quit)
02:42:23 → __jmcantrell__ joins (~weechat@user/jmcantrell)
02:42:52 × __jmcantrell__ quits (~weechat@user/jmcantrell) (Client Quit)
02:43:23 × terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
02:46:14 → terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
02:46:48 × fizbin__ quits (~fizbin@user/fizbin) (Remote host closed the connection)
02:47:07 → fizbin__ joins (~fizbin@user/fizbin)
02:47:51 × phma quits (~phma@2001:5b0:210b:b498:a19:569a:587e:d186) (Read error: Connection reset by peer)
02:48:18 → phma joins (~phma@2001:5b0:210b:b498:a19:569a:587e:d186)
02:51:41 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds)
02:54:51 × fizbin__ quits (~fizbin@user/fizbin) (Remote host closed the connection)
02:55:10 → fizbin__ joins (~fizbin@user/fizbin)
03:21:35 × m257 quits (~maaz@174.92.92.146) (Ping timeout: 264 seconds)
03:26:59 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
03:35:24 → y04nn joins (~username@2a03:1b20:8:f011::e10d)
03:49:27 × ocra8_ quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
03:50:05 → aforemny_ joins (~aforemny@2001:9e8:6cc1:5700:7925:7c97:a565:d41)
03:51:19 × aforemny quits (~aforemny@2001:9e8:6cdc:cf00:2044:2ce0:424e:adbd) (Ping timeout: 255 seconds)
04:14:20 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds)
04:20:24 × y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds)
04:26:54 → m257 joins (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca)
04:29:52 × AlexNoo quits (~AlexNoo@5.139.232.131) (Read error: Connection reset by peer)
04:30:16 → AlexNoo joins (~AlexNoo@5.139.232.131)
04:38:08 → agent314 joins (~quassel@104.129.57.116)
04:41:08 → Guest71 joins (~Guest34@syn-067-011-226-042.res.spectrum.com)
04:41:49 × euleritian quits (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
04:42:01 → euleritian joins (~euleritia@p200300d40f4af80064851c208aa2c3c6.dip0.t-ipconnect.de)
04:47:46 → feetwind joins (~mike@user/feetwind)
04:59:08 × euleritian quits (~euleritia@p200300d40f4af80064851c208aa2c3c6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
04:59:34 → euleritian joins (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de)
05:00:52 × Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!)
05:00:56 × euleritian quits (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
05:01:09 → euleritian joins (~euleritia@p200300d40f4af800c0093a115bbe161a.dip0.t-ipconnect.de)
05:23:46 → Fijxu joins (~Fijxu@user/fijxu)
05:27:25 × Guest71 quits (~Guest34@syn-067-011-226-042.res.spectrum.com) (Ping timeout: 250 seconds)
05:47:30 → causal joins (~eric@50.35.88.207)
05:51:24 → qhong joins (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu)
05:57:35 × agent314 quits (~quassel@104.129.57.116) (Ping timeout: 264 seconds)
05:59:26 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:11:41 × m257 quits (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) (Ping timeout: 240 seconds)
06:17:21 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:23:20 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
06:27:20 × acarrico quits (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Ping timeout: 260 seconds)
06:36:13 × joeyadams quits (~joeyadams@2603:6010:5100:2ed:7cee:f3eb:d0a2:9947) (Quit: Leaving)
06:39:17 × euleritian quits (~euleritia@p200300d40f4af800c0093a115bbe161a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
06:39:53 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
06:39:55 → euleritian joins (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de)
06:41:46 × dtman34 quits (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
06:42:01 → acarrico joins (~acarrico@dhcp-68-142-57-215.greenmountainaccess.net)
06:42:07 → dtman34 joins (~dtman34@2601:447:d001:ed50:51c4:4bed:45a7:e135)
06:43:02 × mei quits (~mei@user/mei) (Remote host closed the connection)
06:44:00 → mei joins (~mei@user/mei)
06:46:11 → acidjnk_new joins (~acidjnk@p200300d6e714dc155164ce5cdc83914f.dip0.t-ipconnect.de)
06:47:17 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
06:48:29 × dtman34 quits (~dtman34@2601:447:d001:ed50:51c4:4bed:45a7:e135) (Ping timeout: 240 seconds)
06:51:33 × euleritian quits (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
06:51:37 → dtman34 joins (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net)
06:51:45 → euleritian joins (~euleritia@p200300d40f4af800925de47e212fd17b.dip0.t-ipconnect.de)
07:00:07 × tt1231097 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
07:02:47 → tt1231097 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
07:07:29 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:18:12 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
07:19:45 × famubu quits (~julinuser@user/famubu) (Quit: leaving)
07:31:07 → fendor joins (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346)
07:31:45 × forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in)
07:32:44 → forell joins (~forell@user/forell)
07:42:35 × xdminsy quits (~xdminsy@117.147.70.240) (Ping timeout: 264 seconds)
07:43:02 → xdminsy joins (~xdminsy@117.147.70.240)
07:43:24 × y-koj_ quits (~yk@2404:7a81:c840:5e00:e654:e8ff:fee1:ca92) (Quit: WeeChat 4.2.1)
07:49:16 → forell_ joins (~forell@host-178-216-90-220.sta.tvknaszapraca.pl)
07:49:38 × xdminsy quits (~xdminsy@117.147.70.240) (Read error: Connection reset by peer)
07:50:17 → xdminsy joins (~xdminsy@117.147.70.240)
07:52:05 × forell quits (~forell@user/forell) (Ping timeout: 252 seconds)
07:59:44 × euleritian quits (~euleritia@p200300d40f4af800925de47e212fd17b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
08:07:05 → euleritian joins (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de)
08:19:31 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
08:19:33 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 3.8)
08:21:17 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
08:25:55 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
08:26:26 → rvalue joins (~rvalue@user/rvalue)
08:29:02 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:39:48 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:39:52 → Sgeo_ joins (~Sgeo@user/sgeo)
08:57:58 → Square joins (~Square@user/square)
09:06:07 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
09:16:08 <tomsmeding> @cake
09:16:08 <lambdabot> cide ........ The Collaborative International Dictionary of English
09:16:34 <tomsmeding> ... uh? :p
09:17:13 <Rembane> I wonder what the story behind that one is
09:17:15 <Rembane> @cide
09:17:15 <lambdabot> cide ........ The Collaborative International Dictionary of English
09:17:17 <Rembane> Hm...
09:17:32 <Rembane> I was expecting @cide to refer to some cake acronym
09:19:20 <tomsmeding> @cide hello
09:19:23 <lambdabot> *** "Hello" gcide "The Collaborative International Dictionary of English v.0.48"
09:19:23 <lambdabot> Hello \Hel*lo"\, interj. & n.
09:19:23 <lambdabot> An exclamation used as a greeting, to call attention, as an
09:19:23 <lambdabot> exclamation of surprise, or to encourage one. This variant of
09:19:23 <lambdabot> {Halloo} and {Holloo} has become the dominant form. In the
09:19:25 <lambdabot> [3 @more lines]
09:19:37 <tomsmeding> @cake hello
09:19:38 <lambdabot> *** "Hello" gcide "The Collaborative International Dictionary of English v.0.48"
09:19:38 <lambdabot> Hello \Hel*lo"\, interj. & n.
09:19:38 <lambdabot> An exclamation used as a greeting, to call attention, as an
09:19:38 <lambdabot> exclamation of surprise, or to encourage one. This variant of
09:19:38 <lambdabot> {Halloo} and {Holloo} has become the dominant form. In the
09:19:40 <lambdabot> [3 @more lines]
09:19:48 <tomsmeding> does it take the most similar command or something?
09:19:52 <tomsmeding> https://github.com/lambdabot/lambdabot/blob/6d69d59d4db796fa3a750ec01d90156ffee2c209/lambdabot-reference-plugins/src/Lambdabot/Plugin/Reference/Dict.hs#L43
09:20:31 <tomsmeding> @unmtt ReaderT r IO a
09:20:31 <lambdabot> r -> IO a
09:20:34 <tomsmeding> seems so
09:21:39 <Rembane> That's funny!
09:21:50 <Rembane> @dac monad
09:21:50 <lambdabot> Maybe you meant: src rc ghc faq docs do dice
09:22:02 <Rembane> @dice 20
09:22:02 <lambdabot> unexpected end of input: expecting digit, operator or end of input: no rolls in expression
09:22:05 <Rembane> @dice
09:22:05 <lambdabot> unexpected end of input: expecting number, "d" or "("
09:22:09 <Rembane> @dice d20
09:22:09 <lambdabot> Rembane: 12
09:22:20 <Rembane> @dyce d20
09:22:20 <lambdabot> Rembane: 14
09:22:52 <Rembane> Science has been made!
09:24:05 × mikess quits (~mikess@user/mikess) (Ping timeout: 240 seconds)
09:25:46 <ski> @brain
09:25:47 <lambdabot> Be quiet Pinky, or I shall have to hurt you.
09:32:42 × dragestil quits (~znc@user/dragestil) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
09:37:50 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:39:08 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
09:40:11 × Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
09:50:35 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
09:50:48 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:54:12 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
09:56:35 → gmg joins (~user@user/gehmehgeh)
09:57:07 → __monty__ joins (~toonn@user/toonn)
10:24:59 → target_i joins (~target_i@user/target-i/x-6023099)
10:41:23 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
11:02:53 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
11:11:32 × euleritian quits (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
11:11:52 → euleritian joins (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de)
11:15:47 ← edrx parts (~Eduardo@179-191-223-123.static.sumicity.net.br) (Killed buffer)
11:15:53 → gmg joins (~user@user/gehmehgeh)
11:20:16 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
11:25:30 × euleritian quits (~euleritia@dynamic-176-006-188-140.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
11:26:10 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
11:37:06 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
11:38:06 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
11:40:39 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:44:14 → gmg joins (~user@user/gehmehgeh)
11:46:43 → sawilagar joins (~sawilagar@user/sawilagar)
11:49:09 × euphores quits (~SASL_euph@user/euphores) (Ping timeout: 256 seconds)
11:50:12 PotatoGim_ is now known as PotatoGim
11:54:35 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
11:55:05 → euleritian joins (~euleritia@dynamic-176-006-189-008.176.6.pool.telefonica.de)
11:55:12 → euphores joins (~SASL_euph@user/euphores)
12:02:53 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
12:02:54 → rvalue- joins (~rvalue@user/rvalue)
12:03:17 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 240 seconds)
12:05:40 flounders_ is now known as flounders
12:06:53 rvalue- is now known as rvalue
12:22:25 → ocra8 joins (ocra8@user/ocra8)
12:23:59 × euleritian quits (~euleritia@dynamic-176-006-189-008.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
12:26:51 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:28:05 → euleritian joins (~euleritia@dynamic-176-002-093-192.176.2.pool.telefonica.de)
12:32:05 × euleritian quits (~euleritia@dynamic-176-002-093-192.176.2.pool.telefonica.de) (Ping timeout: 240 seconds)
12:53:53 → wootehfoot joins (~wootehfoo@user/wootehfoot)
13:11:23 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:13:51 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:37:32 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
13:44:22 → joeyadams joins (~joeyadams@2603:6010:5100:2ed:2f7f:60c6:1960:5610)
13:56:03 → ss4 joins (~wootehfoo@user/wootehfoot)
13:57:50 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds)
13:58:47 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
13:59:44 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
14:02:06 → ph88 joins (~ph88@2a02:8109:9e26:c800:89a1:6764:e3be:d52b)
14:03:32 → euleritian joins (~euleritia@dynamic-176-006-183-204.176.6.pool.telefonica.de)
14:08:23 × euleritian quits (~euleritia@dynamic-176-006-183-204.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
14:08:29 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds)
14:10:23 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
14:15:40 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
14:15:59 × son0p quits (~ff@186.121.14.247) (Quit: Leaving)
14:20:51 × Philonous quits (~Philonous@user/philonous) (Quit: ZNC - https://znc.in)
14:21:12 → Philonous joins (~Philonous@user/philonous)
14:21:25 × auri quits (~auri@fsf/member/auri) (Quit: No Ping reply in 180 seconds.)
14:22:44 → auri joins (~auri@fsf/member/auri)
14:26:23 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
14:32:26 → son0p joins (~ff@186.121.14.247)
14:34:12 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
14:34:42 → rvalue joins (~rvalue@user/rvalue)
14:37:42 × red-snail quits (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
14:38:34 → red-snail joins (~snail@static.151.210.203.116.clients.your-server.de)
14:41:11 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
14:44:31 → yin joins (~yin@user/zero)
14:46:26 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
14:47:19 → petrichor joins (~znc-user@user/petrichor)
14:52:47 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds)
15:02:35 → jtza8 joins (~user@user/jtza8)
15:04:25 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:06:42 <jtza8> I'm wondering why GHC refuses to print UTF-8 encoded, non-ascii charactes despite my LANG environment variable being set to "en_US.UTF-8". My terminal doesn't have any trouble printing exotic characters.
15:08:13 <jtza8> (I'm trying to use the Hedgehog testing suite.)
15:09:29 <yin> jtza8: what are you getting instead?
15:09:32 → wootehfoot joins (~wootehfoo@user/wootehfoot)
15:10:24 <jtza8> Compiled code crashes with an exception, ghci prints question marks instead of "invalid" code points.
15:11:14 <yin> are you using print, putStr, show , or something else?
15:12:15 <jtza8> I tested putStrLn.
15:12:26 <jtza8> Strangely fails.
15:12:35 × ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
15:14:07 <yin> String or Text ?
15:14:26 <jtza8> String
15:15:41 × ph88 quits (~ph88@2a02:8109:9e26:c800:89a1:6764:e3be:d52b) (Ping timeout: 240 seconds)
15:16:16 <yin> try using Text
15:17:06 <jtza8> It's likely something with my setup. Using nix on Arch Linux.
15:17:36 <jtza8> Thanks though.
15:20:28 <yin> String represent sequences of characters encoded as Unicode code points but it's not tied to any specific encoding afaiui. using Text ensures the text is properly encoded as UTF-8
15:21:53 × aryah quits (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer)
15:24:29 → justsomeguy joins (~justsomeg@user/justsomeguy)
15:24:55 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
15:27:28 → aryah joins (~aryah@141-138-38-218.dsl.iskon.hr)
15:32:05 → justsomeguy joins (~justsomeg@user/justsomeguy)
15:32:25 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
15:32:59 × aryah quits (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 264 seconds)
15:33:23 → aryah joins (~aryah@141-138-38-218.dsl.iskon.hr)
15:36:30 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:38:18 → justsomeguy joins (~justsomeg@user/justsomeguy)
15:38:42 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
15:44:23 <tomsmeding> that's irrelevant
15:44:34 → justsomeguy joins (~justsomeg@user/justsomeguy)
15:44:40 <tomsmeding> the internal encoding of the buffer has nothing to do with what gets put on stdout by putStrLn
15:44:58 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
15:45:57 <tomsmeding> jtza8: is your executable running inside some interesting environment? Is its output piped to, or its input piped from, some other process (i.e. are some of stdin or stdout not a proper tty), or does it run inside a container, or a systemd unit, or cron job or whatever?
15:48:23 <tomsmeding> jtza8: what happens if you put `main = putStrLn "\12354"` in a file, compile that with ghc directly, and run the resulting executable manually?
15:48:30 <tomsmeding> (you should get あ)
15:49:29 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
15:50:48 → justsomeguy joins (~justsomeg@user/justsomeguy)
15:51:08 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
15:51:19 <tomsmeding> and also, what do you get if you pipe that program's output to xxd (or `od -x`)?
15:53:25 → lg188 joins (~lg188@82.18.98.230)
15:56:36 <int-e> jtza8: Hmm or maybe there is no en_US locale, have you tried C.UTF-8?
15:57:04 <int-e> (unlikely, but possible)
15:57:42 → mikess joins (~mikess@user/mikess)
16:07:22 → justsomeguy joins (~justsomeg@user/justsomeguy)
16:07:22 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
16:08:18 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
16:13:36 → justsomeguy joins (~justsomeg@user/justsomeguy)
16:14:46 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
16:20:50 → justsomeguy joins (~justsomeg@user/justsomeguy)
16:20:59 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
16:23:12 → michalz joins (~michalz@185.246.207.203)
16:27:04 → justsomeguy joins (~justsomeg@user/justsomeguy)
16:27:27 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
16:28:04 × michalz quits (~michalz@185.246.207.203) (Client Quit)
16:31:41 → michalz joins (~michalz@185.246.207.221)
16:32:26 × fendor quits (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection)
16:33:17 → justsomeguy joins (~justsomeg@user/justsomeguy)
16:33:32 × justsomeguy quits (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
16:40:55 <jtza8> Sorry for being AFK.
16:41:39 <jtza8> Here's a pastebin entry: https://paste.tomsmeding.com/EwfZ1ByG
16:42:52 <jtza8> I compiled the binary "unicode" directly via ghc: (i.e. 'ghc -o unicode Main.hs')
16:45:54 <monochrom> If you put it on play.haskell.org it prints 〹 successfully.
16:46:39 <monochrom> But 12345 is not 12354.
16:46:40 <tomsmeding> (〹 is not あ because the former is 12345 and the latter is 12354)
16:46:47 <tomsmeding> yes
16:46:59 <tomsmeding> "HANGZHOU NUMERAL TWENTY"
16:47:07 <tomsmeding> learn something new every day
16:47:09 <monochrom> 12354 yields あ successfully too on play.haskell.org
16:47:54 <tomsmeding> jtza8: what is the full output of `locale`?
16:48:15 <monochrom> Also works on my computer with ubuntu and pretty much default settings.
16:49:06 <jtza8> monochrom: Rats. I corrected the code point, but still nothing on my end.
16:49:26 <tomsmeding> (both code points are very standard unicode characters, so that should indeed not have made a difference)
16:49:31 → ph88 joins (~ph88@2a02:8109:9e26:c800:5ba1:c21c:6f3a:66ba)
16:50:37 <monochrom> BTW 12345 vs 12354 is why you should never type in anything by hand. Use cut-and-paste. Never trust yourself. :)
16:51:13 <jtza8> Too true, and that's in part why I'm using the pastebin. ;)
16:51:41 × aryah quits (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 240 seconds)
16:52:06 <jtza8> Still the old codepoint, but I've added the output of 'locale'. https://paste.tomsmeding.com/7YJUc3e0
16:53:14 <tomsmeding> jtza8: what is the output of `sudo locale-gen`?
16:53:32 <tomsmeding> this is a very standard locale, but who knows
16:54:14 <monochrom> What if you don't use nix's version of GHC.
16:56:36 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:57:08 <int-e> AFAICS `locale` would warn if the locales were not present
16:57:19 <int-e> s/locales were/locale was/
16:57:53 <tomsmeding> doesn't warn for me
16:58:16 <tomsmeding> oh hm, I guess it does
16:58:28 <tomsmeding> but setting LC_ALL overrides everything else, which makes sense but I forgot
16:59:32 <int-e> Even bash warns me: https://paste.debian.net/1317406/
17:00:10 <tomsmeding> I very rarely export, I 'env LC_NUMERIC=cheese locale' :p
17:00:20 <tomsmeding> but indeed bash does warn for mee too
17:01:01 <int-e> tomsmeding: I... hmm, it depends on my mood. I open and close terminals very frequently, so exporting doesn't usually hurt.
17:01:21 <geekosaur> the `env` is unnecessary if using a POSIXish shell
17:01:31 <tomsmeding> I know but I like being explicit
17:01:35 <jtza8> I've been using ghc 9.6.4 via nix-env. Undoing that for a moment exposes an older version of ghc installed via pacman. Somehow it seems like it's corrupted, that ghc can't find the Prelude module because files are missing. :|
17:02:00 <tomsmeding> jtza8: try 'ghc -dynamic'
17:02:27 <int-e> Ah, the Arch-nemesis.
17:02:32 <monochrom> Oh, I don't mean you should use arch's ghc either. :)
17:02:33 <tomsmeding> indeed
17:02:44 <tomsmeding> well it is a good test if it can be gotten to work on a simple file
17:02:47 <monochrom> Use ghcup's ghc.
17:02:50 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
17:02:52 <jtza8> That worked, but the binary failed to run the same way the others did.
17:03:00 <tomsmeding> interesting
17:03:07 <int-e> odd
17:03:11 <tomsmeding> then it would indeed be good to try a ghcup ghc
17:03:26 <jtza8> I'll do that now...
17:03:44 <tomsmeding> if you don't want ghcup to do things to your computer that you don't want, get a binary from here https://downloads.haskell.org/~ghcup/0.1.22.0/
17:03:59 <tomsmeding> then invoke that with `./ghcup install ghc`
17:04:04 <int-e> I have used Arch. The ghc package is good enough to bootstrap a properly built ghc :P
17:04:23 <tomsmeding> then take the `ghc-VERSION` from ~/.ghcup/bin/
17:04:38 <tomsmeding> removing the binary and the ~/.ghcup folder erases all trace of ghcup then
17:05:15 <int-e> (I don't know what hoops I jumped through for that... it's quite possible that I edited the ghc wrapper script to add -dynamic unconditionally.)
17:05:47 × ph88 quits (~ph88@2a02:8109:9e26:c800:5ba1:c21c:6f3a:66ba) (Ping timeout: 256 seconds)
17:11:21 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:11:41 → zetef joins (~quassel@5.2.182.98)
17:12:00 <jtza8> Interesting. The ghcup version works correctly.
17:14:54 × zetef quits (~quassel@5.2.182.98) (Remote host closed the connection)
17:15:39 <int-e> I wonder whether https://nixos.wiki/wiki/Locales is relevant for the Nix version.
17:17:06 <jtza8> It seems that when I use nix with developPackage things work correctly too.
17:20:48 <jtza8> int-e: Setting LOCALE_ARCHIVE seems to work too.
17:21:35 <int-e> fascinating
17:26:41 <jtza8> Now even the arch ghc is working in a new terminal environment where LOCALE_ARCHIVE wasn't set.
17:27:18 <jtza8> Anyhow. Thank you all for your help.
17:29:04 → Guest49 joins (~Guest49@98.97.3.189)
17:29:18 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:33:50 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
17:38:03 ← anon8697 parts (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (WeeChat 4.2.1)
17:39:16 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:52:31 → _xor joins (~xor@ip-208-102-243-175.dynamic.fuse.net)
17:52:35 × _xor quits (~xor@ip-208-102-243-175.dynamic.fuse.net) (Client Quit)
17:54:56 × jtza8 quits (~user@user/jtza8) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
17:57:58 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:59:16 → ph88 joins (~ph88@2a02:8109:9e26:c800:dacd:d178:fc2c:1568)
18:04:47 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
18:08:07 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
18:08:11 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:08:29 → y04nn joins (~username@2a03:1b20:8:f011::e10d)
18:08:48 → ss4 joins (~wootehfoo@user/wootehfoot)
18:10:49 → _xor joins (~xor@ip-208-102-243-175.dynamic.fuse.net)
18:11:59 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
18:13:15 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:13:54 → gentauro joins (~gentauro@user/gentauro)
18:27:03 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds)
18:31:43 → tomboy64 joins (~tomboy64@user/tomboy64)
18:36:00 × michalz quits (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in)
18:37:17 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:39:25 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:41:44 → edwtjo joins (~edwtjo@fsf/member/edwtjo)
18:45:23 → michalz joins (~michalz@185.246.207.203)
18:50:18 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
18:50:20 × ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
18:50:21 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
18:53:33 × fizbin__ quits (~fizbin@user/fizbin) (Ping timeout: 255 seconds)
18:57:53 → euleritian joins (~euleritia@dynamic-176-002-082-095.176.2.pool.telefonica.de)
19:00:16 → Sgeo joins (~Sgeo@user/sgeo)
19:08:56 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
19:18:27 → AlexZenon joins (~alzenon@5.139.232.131)
19:18:27 × euleritian quits (~euleritia@dynamic-176-002-082-095.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
19:19:49 → Square2 joins (~Square4@user/square)
19:41:36 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds)
19:49:04 → michalz_ joins (~michalz@185.246.207.215)
19:50:23 × michalz quits (~michalz@185.246.207.203) (Ping timeout: 252 seconds)
20:03:11 × Guest49 quits (~Guest49@98.97.3.189) (Ping timeout: 250 seconds)
20:07:01 × petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
20:14:10 → ph88^ joins (~ph88@2a02:8109:9e26:c800:69e1:d79e:9a8:b1e3)
20:17:04 × ph88 quits (~ph88@2a02:8109:9e26:c800:dacd:d178:fc2c:1568) (Ping timeout: 260 seconds)
20:21:54 × michalz_ quits (~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in)
20:29:10 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
20:29:18 → remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
20:31:58 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
20:32:13 → zetef joins (~quassel@5.2.182.98)
20:34:46 → fizbin__ joins (~fizbin@user/fizbin)
20:37:30 × y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds)
20:38:53 × fizbin__ quits (~fizbin@user/fizbin) (Ping timeout: 240 seconds)
20:44:49 → y04nn joins (~username@2a03:1b20:8:f011::e10d)
20:47:04 × laker quits (~laker78@user/laker78) (Quit: My VPS is down.. email me if you know it)
20:48:02 → pavonia joins (~user@user/siracusa)
20:48:37 → laker joins (~laker78@user/laker78)
20:54:28 × joeyadams quits (~joeyadams@2603:6010:5100:2ed:2f7f:60c6:1960:5610) (Quit: Leaving)
20:55:13 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
20:55:47 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
21:01:29 → fizbin__ joins (~fizbin@user/fizbin)
21:04:48 → sawilagar joins (~sawilagar@user/sawilagar)
21:19:07 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:26:05 → euleritian joins (~euleritia@dynamic-176-006-186-251.176.6.pool.telefonica.de)
21:32:41 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
21:34:39 × fizbin__ quits (~fizbin@user/fizbin) (Ping timeout: 255 seconds)
21:36:19 × zetef quits (~quassel@5.2.182.98) (Remote host closed the connection)
21:36:52 × y04nn quits (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds)
21:45:49 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:49:17 × euleritian quits (~euleritia@dynamic-176-006-186-251.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
21:49:36 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
21:51:49 → dyniec joins (~dyniec@dybiec.info)
21:53:07 × ocra8 quits (ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
21:53:57 × Square2 quits (~Square4@user/square) (Remote host closed the connection)
22:03:00 × rdcdr quits (~rdcdr@user/rdcdr) (Remote host closed the connection)
22:03:48 → rdcdr joins (~rdcdr@user/rdcdr)
22:07:06 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
22:09:23 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
22:11:19 → aryah joins (~aryah@141-138-38-218.dsl.iskon.hr)
22:12:14 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds)
22:14:55 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:15:31 → gmg joins (~user@user/gehmehgeh)
22:15:42 × gmg quits (~user@user/gehmehgeh) (Client Quit)
22:16:05 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
22:21:11 × ph88^ quits (~ph88@2a02:8109:9e26:c800:69e1:d79e:9a8:b1e3) (Remote host closed the connection)
22:21:41 × Square quits (~Square@user/square) (Ping timeout: 240 seconds)
22:35:21 → fizbin__ joins (~fizbin@user/fizbin)
22:35:58 × oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel)
22:36:17 → oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
22:37:00 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:39:52 × fizbin__ quits (~fizbin@user/fizbin) (Ping timeout: 260 seconds)
22:56:24 → joeyadams joins (~joeyadams@2603:6010:5100:2ed:1287:18ca:525:5199)
23:17:17 × aryah quits (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 240 seconds)
23:17:38 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
23:24:44 → aryah joins (~aryah@141-138-38-218.dsl.iskon.hr)
23:29:17 × acidjnk_new quits (~acidjnk@p200300d6e714dc155164ce5cdc83914f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
23:41:25 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
23:45:38 × whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
23:52:47 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds)
23:54:30 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
23:55:57 × aforemny_ quits (~aforemny@2001:9e8:6cc1:5700:7925:7c97:a565:d41) (Ping timeout: 255 seconds)
23:56:02 → aforemny joins (~aforemny@2001:9e8:6cd0:5400:a962:4a8:8d36:131e)
23:57:21 hiredman_ is now known as hiredman
23:59:41 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds)

All times are in UTC on 2024-05-19.