Newest at the top
2024-05-04 21:25:03 +0200 | <mauke> | what do you mean, from utf8 to utf16? |
2024-05-04 21:25:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:24:19 +0200 | <tomsmeding> | and I doubt it's that clever |
2024-05-04 21:24:13 +0200 | <tomsmeding> | it would not make a difference if ghc would do the translation from utf8 to utf16 at compile time just by simplifying the code |
2024-05-04 21:23:44 +0200 | <mauke> | why does that make a difference? |
2024-05-04 21:23:35 +0200 | <tomsmeding> | raehik: pattern match on the ErrorMessage using a type family? >:D |
2024-05-04 21:22:45 +0200 | <tomsmeding> | because of internal UTF8 representation |
2024-05-04 21:22:35 +0200 | <tomsmeding> | raehik: I don't actually know, I'm guessing here, but I suspect that probie's answer about Text is only valid for text >= 2.0 |
2024-05-04 21:22:12 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-05-04 21:21:20 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:21:10 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-05-04 21:19:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:17:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-04 21:16:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:15:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:12:54 +0200 | <raehik> | I suppose I should be able to write my own easily enough. Feels like it should exist somewhere already >:( |
2024-05-04 21:11:32 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:10:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:08:22 +0200 | <raehik> | Is there a type family like `ShowNat :: Natural -> Symbol`? `ShowType :: a -> ErrorMessage` is close, but I need a Symbol. |
2024-05-04 21:07:39 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-04 21:07:36 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-04 21:06:27 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:05:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 21:04:31 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-04 21:01:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 21:00:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 20:58:43 +0200 | michalz | (~michalz@185.246.207.217) |
2024-05-04 20:56:40 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 20:55:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 20:51:39 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 20:50:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 20:46:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 20:45:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 20:42:04 +0200 | euleritian | (~euleritia@87.79.39.180) |
2024-05-04 20:41:37 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 20:41:10 +0200 | euleritian | (~euleritia@87.79.39.180) (Read error: Connection reset by peer) |
2024-05-04 20:40:08 +0200 | ksqsf | (~user@77.64.252.144) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2.50)) |
2024-05-04 20:39:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 20:38:11 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
2024-05-04 20:36:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 20:35:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 20:32:52 +0200 | euleritian | (~euleritia@87.79.39.180) |
2024-05-04 20:31:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 20:29:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 20:27:45 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-05-04 20:27:45 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-05-04 20:26:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-04 20:25:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-04 20:23:06 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-04 20:21:24 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |