Newest at the top
| 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 |
| 2026-01-17 14:11:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-01-17 14:08:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:02:55 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 13:58:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 13:54:31 +0100 | fp1 | (~Thunderbi@84-253-204-168.bb.dnainternet.fi) (Client Quit) |
| 2026-01-17 13:54:25 +0100 | fp1 | (~Thunderbi@84-253-204-168.bb.dnainternet.fi) fp |
| 2026-01-17 13:54:14 +0100 | fp | (~Thunderbi@2001-14bb-11b-8862-cedf-8b9b-bf14-e748.rev.dnainternet.fi) (Client Quit) |
| 2026-01-17 13:53:13 +0100 | fp | (~Thunderbi@2001-14bb-11b-8862-cedf-8b9b-bf14-e748.rev.dnainternet.fi) fp |
| 2026-01-17 13:52:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:47:26 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:3a79:510c:fa70:be22) (Remote host closed the connection) |
| 2026-01-17 13:47:18 +0100 | AlexNoo__ | AlexNoo |
| 2026-01-17 13:45:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 13:43:05 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 13:38:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:31:19 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2026-01-17 13:27:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |