Newest at the top
2024-05-19 17:24:55 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-19 17:24:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-19 17:21:53 +0200 | aryah | (~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 +0200 | ph88 | (~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 +0200 | ss4 | (~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 +0200 | wootehfoot | (~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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-19 17:02:35 +0200 | jtza8 | (~user@user/jtza8) |
2024-05-19 16:52:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
2024-05-19 16:47:19 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-19 16:46:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-19 16:44:31 +0200 | yin | (~yin@user/zero) |
2024-05-19 16:41:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-19 16:38:34 +0200 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2024-05-19 16:37:42 +0200 | red-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 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-19 16:34:12 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-19 16:32:26 +0200 | son0p | (~ff@186.121.14.247) |
2024-05-19 16:26:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-05-19 16:22:44 +0200 | auri | (~auri@fsf/member/auri) |
2024-05-19 16:21:25 +0200 | auri | (~auri@fsf/member/auri) (Quit: No Ping reply in 180 seconds.) |
2024-05-19 16:21:12 +0200 | Philonous | (~Philonous@user/philonous) |
2024-05-19 16:20:51 +0200 | Philonous | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
2024-05-19 16:15:59 +0200 | son0p | (~ff@186.121.14.247) (Quit: Leaving) |
2024-05-19 16:15:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-05-19 16:10:23 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-19 16:08:29 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
2024-05-19 16:08:23 +0200 | euleritian | (~euleritia@dynamic-176-006-183-204.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-05-19 16:03:32 +0200 | euleritian | (~euleritia@dynamic-176-006-183-204.176.6.pool.telefonica.de) |
2024-05-19 16:02:06 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:89a1:6764:e3be:d52b) |
2024-05-19 15:59:44 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-19 15:58:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
2024-05-19 15:57:50 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
2024-05-19 15:56:03 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
2024-05-19 15:44:22 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2f7f:60c6:1960:5610) |
2024-05-19 15:37:32 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-19 15:13:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |