Newest at the top
| 2026-01-17 16:15:21 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) (Ping timeout: 252 seconds) |
| 2026-01-17 16:14:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 16:14:25 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-17 16:11:56 +0100 | <geekosaur> | I don't see what's unusably shortened about the Matrix paste (at least via the bot's pastebin link) |
| 2026-01-17 16:11:26 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 16:10:51 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) |
| 2026-01-17 16:10:46 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 16:10:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:08:15 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) (Ping timeout: 245 seconds) |
| 2026-01-17 16:07:09 +0100 | trickard_ | trickard |
| 2026-01-17 16:05:18 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 15:59:42 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> and, everybody, thank you for your replies and apologize for the formatting --- there's nothing about pastebin in the Matrix room description and I don't think I can add it; geekosaur: is this your bridge? could we add a note about pastebin? |
| 2026-01-17 15:59:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 15:57:45 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: amazing, that's precisely what I was looking for! |
| 2026-01-17 15:57:43 +0100 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-17 15:55:32 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) |
| 2026-01-17 15:54:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:48:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 15:48:02 +0100 | Core6086 | (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) (Ping timeout: 265 seconds) |
| 2026-01-17 15:46:15 +0100 | Zemy_ | (~Zemy@12.50.228.210) (Ping timeout: 240 seconds) |
| 2026-01-17 15:44:41 +0100 | <Leary> | Man of Letters (Mikolaj): That type application doesn't allow you to match on the type; it just conflicts with the existential kind `k`. You can write a pattern synonym that works how you'd like, though: https://gist.github.com/LSLeary/7165377d1a28bf76aa4c0aae189a6968 |
| 2026-01-17 15:44:28 +0100 | spew | (~spew@user/spew) spew |
| 2026-01-17 15:44:04 +0100 | spew | (~spew@user/spew) (Quit: brb) |
| 2026-01-17 15:43:51 +0100 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) |
| 2026-01-17 15:43:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:43:16 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) (Ping timeout: 255 seconds) |
| 2026-01-17 15:43:16 +0100 | Core6086 | (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) |
| 2026-01-17 15:39:40 +0100 | Zemy_ | (~Zemy@12.50.228.210) |
| 2026-01-17 15:38:57 +0100 | Core1625 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2026-01-17 15:38:57 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) |
| 2026-01-17 15:37:50 +0100 | spew | (~spew@user/spew) spew |
| 2026-01-17 15:32:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 15:28:09 +0100 | Core6067 | (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) (Ping timeout: 260 seconds) |
| 2026-01-17 15:27:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:26:59 +0100 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-17 15:25:54 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 15:25:15 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-39.mycingular.net) (Ping timeout: 250 seconds) |
| 2026-01-17 15:24:08 +0100 | Core1625 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2026-01-17 15:23:38 +0100 | Core6067 | (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) |
| 2026-01-17 15:22:37 +0100 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2026-01-17 15:19:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2026-01-17 15:16:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 15:16:01 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-17 15:09:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:08:10 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) (Ping timeout: 246 seconds) |
| 2026-01-17 15:05:52 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-39.mycingular.net) |
| 2026-01-17 15:02:46 +0100 | <ncf> | what are you trying to do exactly? you can't pattern match on the type of the TypeRep, since it's erased at runtime, but you can certainly use the TypeRep itself: case someTypeRep (Proxy @Double) of SomeTypeRep d -> typeRepTyCon d -- Double |
| 2026-01-17 15:01:31 +0100 | <[exa]> | I doubt there's a way to patternmatch through the SomeTypeRep |
| 2026-01-17 15:01:07 +0100 | <[exa]> | also, does it work with plain old `testEquality` ? |
| 2026-01-17 15:00:47 +0100 | <[exa]> | (TypeAbstractions implies TypeApplications?) |