Newest at the top
| 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?) |
| 2026-01-17 14:58:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 14:56:55 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 14:56:42 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 14:55:45 +0100 | <[exa]> | oh well it works with curl... :D |
| 2026-01-17 14:53:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:53:37 +0100 | <[exa]> | can you please pastebin the error? for IRC folks the code looks somehow unusably shortened (see topic for a good pastebin) |
| 2026-01-17 14:50:37 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> I hope it's something trivial I'm missing |
| 2026-01-17 14:50:22 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> or is SomeTypeRep defined on purpose to be unusable? if so, why? |
| 2026-01-17 14:50:08 +0100 | AlexZenon_2 | AlexZenon |
| 2026-01-17 14:50:01 +0100 | Alex_test_ | Alex_delenda_est |
| 2026-01-17 14:49:51 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/CPJSrwrMyneClYpVQHFTIqOi/Uki16-TNNYA (16 lines) |
| 2026-01-17 14:49:49 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> hi! how can I get around this type error (disregarding if this snippet has any sense or not --- it's an experiment) |
| 2026-01-17 14:44:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 14:43:47 +0100 | trickard_ | trickard |
| 2026-01-17 14:43:06 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |