2024/05/19

Newest at the top

2024-05-19 17:45:57 +0200 <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?
2024-05-19 17:44:58 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-19 17:44:40 +0200 <tomsmeding> the internal encoding of the buffer has nothing to do with what gets put on stdout by putStrLn
2024-05-19 17:44:34 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-19 17:44:23 +0200 <tomsmeding> that's irrelevant
2024-05-19 17:38:42 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-19 17:38:18 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-19 17:36:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-19 17:33:23 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-19 17:32:59 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 264 seconds)
2024-05-19 17:32:25 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-19 17:32:05 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-19 17:27:28 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-19 17:24:55 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-19 17:24:29 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-19 17:21:53 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer)
2024-05-19 17:20:28 +0200 <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
2024-05-19 17:17:36 +0200 <jtza8> Thanks though.
2024-05-19 17:17:06 +0200 <jtza8> It's likely something with my setup. Using nix on Arch Linux.
2024-05-19 17:16:16 +0200 <yin> try using Text
2024-05-19 17:15:41 +0200ph88(~ph88@2a02:8109:9e26:c800:89a1:6764:e3be:d52b) (Ping timeout: 240 seconds)
2024-05-19 17:14:26 +0200 <jtza8> String
2024-05-19 17:14:07 +0200 <yin> String or Text ?
2024-05-19 17:12:35 +0200ss4(~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
2024-05-19 17:12:26 +0200 <jtza8> Strangely fails.
2024-05-19 17:12:15 +0200 <jtza8> I tested putStrLn.
2024-05-19 17:11:14 +0200 <yin> are you using print, putStr, show , or something else?
2024-05-19 17:10:24 +0200 <jtza8> Compiled code crashes with an exception, ghci prints question marks instead of "invalid" code points.
2024-05-19 17:09:32 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-19 17:09:29 +0200 <yin> jtza8: what are you getting instead?
2024-05-19 17:08:13 +0200 <jtza8> (I'm trying to use the Hedgehog testing suite.)
2024-05-19 17:06:42 +0200 <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.
2024-05-19 17:04:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-19 17:02:35 +0200jtza8(~user@user/jtza8)
2024-05-19 16:52:47 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds)
2024-05-19 16:47:19 +0200petrichor(~znc-user@user/petrichor)
2024-05-19 16:46:26 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-19 16:44:31 +0200yin(~yin@user/zero)
2024-05-19 16:41:11 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-19 16:38:34 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2024-05-19 16:37:42 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-19 16:34:42 +0200rvalue(~rvalue@user/rvalue)
2024-05-19 16:34:12 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-19 16:32:26 +0200son0p(~ff@186.121.14.247)
2024-05-19 16:26:23 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-05-19 16:22:44 +0200auri(~auri@fsf/member/auri)
2024-05-19 16:21:25 +0200auri(~auri@fsf/member/auri) (Quit: No Ping reply in 180 seconds.)
2024-05-19 16:21:12 +0200Philonous(~Philonous@user/philonous)
2024-05-19 16:20:51 +0200Philonous(~Philonous@user/philonous) (Quit: ZNC - https://znc.in)
2024-05-19 16:15:59 +0200son0p(~ff@186.121.14.247) (Quit: Leaving)