Newest at the top
| 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 |
| 2026-01-17 14:40:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:38:07 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 240 seconds) |
| 2026-01-17 14:37:38 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 14:34:59 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 14:34:27 +0100 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) |
| 2026-01-17 14:31:56 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 14:28:55 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-17 14:27:28 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 14:27:15 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 14:24:36 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-17 14:24:15 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-17 14:23:32 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2026-01-17 14:23:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-17 14:13:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-17 14:12:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |