Newest at the top
2024-05-19 18:08:18 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-05-19 18:07:22 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-19 18:07:22 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-19 17:57:42 +0200 | mikess | (~mikess@user/mikess) |
2024-05-19 17:57:04 +0200 | <int-e> | (unlikely, but possible) |
2024-05-19 17:56:36 +0200 | <int-e> | jtza8: Hmm or maybe there is no en_US locale, have you tried C.UTF-8? |
2024-05-19 17:53:25 +0200 | lg188 | (~lg188@82.18.98.230) |
2024-05-19 17:51:19 +0200 | <tomsmeding> | and also, what do you get if you pipe that program's output to xxd (or `od -x`)? |
2024-05-19 17:51:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-19 17:50:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-19 17:49:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-05-19 17:48:30 +0200 | <tomsmeding> | (you should get あ) |
2024-05-19 17:48:23 +0200 | <tomsmeding> | jtza8: what happens if you put `main = putStrLn "\12354"` in a file, compile that with ghc directly, and run the resulting executable manually? |
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 +0200 | justsomeguy | (~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 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-19 17:44:23 +0200 | <tomsmeding> | that's irrelevant |
2024-05-19 17:38:42 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-19 17:38:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-19 17:36:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-19 17:33:23 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
2024-05-19 17:32:59 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 264 seconds) |
2024-05-19 17:32:25 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-19 17:32:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-19 17:27:28 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
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) |