Newest at the top
| 2026-01-08 11:20:31 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2026-01-08 11:19:05 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-08 11:10:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-08 11:10:01 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2026-01-08 11:06:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-08 11:05:55 +0100 | danza | (~danza@user/danza) (Ping timeout: 240 seconds) |
| 2026-01-08 11:05:26 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-08 11:05:07 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-01-08 11:03:51 +0100 | danz98640 | (~danza@user/danza) danza |
| 2026-01-08 10:57:04 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-01-08 10:56:46 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-01-08 10:53:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-01-08 10:51:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-08 10:45:23 +0100 | <danza> | i see, makes sense |
| 2026-01-08 10:41:23 +0100 | kuribas | (~user@2a02-1810-2825-6000-e123-c17a-ed17-774f.ip6.access.telenet.be) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-01-08 10:41:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-08 10:40:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-08 10:40:37 +0100 | <dutchie> | danza: I'm using the newtype to hide details outside the module but this is an internal function |
| 2026-01-08 10:40:12 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-08 10:40:11 +0100 | <dutchie> | it didn't mention the a0 or I probably would have figured it out :( |
| 2026-01-08 10:40:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-08 10:34:44 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-01-08 10:33:26 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-08 10:32:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-08 10:32:30 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-08 10:31:42 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-08 10:30:55 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 240 seconds) |
| 2026-01-08 10:25:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-08 10:22:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-01-08 10:21:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-08 10:15:59 +0100 | <int-e> | dutchie: Btw there's an error message reading exercise here: it complains that it doesn't know that some `a0` and `Value` have the same representation. It's easy to guess where the `Value` comes from, but GHC should also tell you what it introduced `a0` for. |
| 2026-01-08 10:12:16 +0100 | <danza> | what is the point of having a newtype if then you use coerce |
| 2026-01-08 10:11:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a460:d351:8685:d1f0) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-08 10:10:51 +0100 | <int-e> | and specifying the key type is less of a hassle than figuring out whether we have partial type signatures :P |
| 2026-01-08 10:10:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-08 10:10:12 +0100 | <int-e> | merijn: yeah but it's complaining about the Value type |
| 2026-01-08 10:10:03 +0100 | <dutchie> | ah explicit annotation on Map.empty does it |
| 2026-01-08 10:09:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-01-08 10:09:47 +0100 | <merijn> | At least, it shouldn't be |
| 2026-01-08 10:09:43 +0100 | <merijn> | Map's key type is not coercible, afaik |
| 2026-01-08 10:09:14 +0100 | <int-e> | presumably you need a type signature like (Map.empty :: Map Text Value) so that the inner type is actually fully known. |
| 2026-01-08 10:08:26 +0100 | <dutchie> | so do I have to do `coerce . cons . coerce`? feels like I might as well explicitly unwrap/wrap then |
| 2026-01-08 10:08:04 +0100 | <dutchie> | right, does that not work? I want to coerce `NonEmpty (Map) -> NonEmpty (Map)` to a function on my newtype |
| 2026-01-08 10:07:49 +0100 | Googulator14 | Googulator |
| 2026-01-08 10:04:47 +0100 | <danza> | cons is partially applied, so you are applying coerce to a function |
| 2026-01-08 10:03:10 +0100 | <lambdabot> | Cons s s a a => a -> s -> s |
| 2026-01-08 10:03:08 +0100 | <danza> | :t cons |
| 2026-01-08 10:01:08 +0100 | <dutchie> | s/`/"/ |
| 2026-01-08 10:01:02 +0100 | <dutchie> | the error is "Couldn't match representation of type ‘a0’ with that of ‘Value’` |
| 2026-01-08 10:00:45 +0100 | kuribas | (~user@2a02-1810-2825-6000-e123-c17a-ed17-774f.ip6.access.telenet.be) kuribas |