Logs: liberachat/#haskell
| 2026-01-17 13:56:42 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 13:56:55 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 13:58:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 14:00:47 | <[exa]> | (TypeAbstractions implies TypeApplications?) |
| 2026-01-17 14:01:07 | <[exa]> | also, does it work with plain old `testEquality` ? |
| 2026-01-17 14:01:31 | <[exa]> | I doubt there's a way to patternmatch through the SomeTypeRep |
| 2026-01-17 14:02:46 | <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 14:05:52 | → | Zemy_ joins (~Zemy@mobile-107-80-206-39.mycingular.net) |
| 2026-01-17 14:08:10 | × | Zemy quits (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) (Ping timeout: 246 seconds) |
| 2026-01-17 14:09:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 14:16:01 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-17 14:16:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 14:19:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2026-01-17 14:22:37 | → | Zemy joins (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2026-01-17 14:23:38 | → | Core6067 joins (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) |
| 2026-01-17 14:24:08 | → | Core1625 joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2026-01-17 14:25:15 | × | Zemy_ quits (~Zemy@mobile-107-80-206-39.mycingular.net) (Ping timeout: 250 seconds) |
| 2026-01-17 14:25:54 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 14:26:59 | × | Zemy quits (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-17 14:27:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 14:28:09 | × | Core6067 quits (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) (Ping timeout: 260 seconds) |
| 2026-01-17 14:32:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 14:37:50 | → | spew joins (~spew@user/spew) |
| 2026-01-17 14:38:57 | → | Zemy joins (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) |
| 2026-01-17 14:38:57 | × | Core1625 quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2026-01-17 14:39:40 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 2026-01-17 14:43:16 | → | Core6086 joins (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) |
| 2026-01-17 14:43:16 | × | Zemy quits (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) (Ping timeout: 255 seconds) |
| 2026-01-17 14:43:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 14:43:51 | → | Zemy joins (~Zemy@mobile-107-80-206-9.mycingular.net) |
| 2026-01-17 14:44:04 | × | spew quits (~spew@user/spew) (Quit: brb) |
| 2026-01-17 14:44:28 | → | spew joins (~spew@user/spew) |
| 2026-01-17 14:44:41 | <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 14:46:15 | × | Zemy_ quits (~Zemy@12.50.228.210) (Ping timeout: 240 seconds) |
| 2026-01-17 14:48:02 | × | Core6086 quits (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) (Ping timeout: 265 seconds) |
| 2026-01-17 14:48:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 14:54:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 14:55:32 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) |
| 2026-01-17 14:57:43 | × | Zemy quits (~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-17 14:57:45 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: amazing, that's precisely what I was looking for! |
| 2026-01-17 14:59:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 14:59:42 | <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:05:18 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2026-01-17 15:07:09 | trickard_ | is now known as trickard |
| 2026-01-17 15:08:15 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) (Ping timeout: 245 seconds) |
| 2026-01-17 15:10:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 15:10:46 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 15:10:51 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) |
| 2026-01-17 15:11:26 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2026-01-17 15:11:56 | <geekosaur> | I don't see what's unusably shortened about the Matrix paste (at least via the bot's pastebin link) |
| 2026-01-17 15:14:25 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-01-17 15:14:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 15:15:21 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) (Ping timeout: 252 seconds) |
| 2026-01-17 15:18:27 | → | weary-traveler joins (~user@user/user363627) |
| 2026-01-17 15:19:07 | → | Square2 joins (~Square@user/square) |
| 2026-01-17 15:19:20 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-17 15:19:41 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-17 15:22:55 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-17 15:26:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 15:31:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 15:41:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 15:46:10 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 2026-01-17 15:47:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 15:49:25 | → | Square2 joins (~Square@user/square) |
| 2026-01-17 15:50:11 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 2026-01-17 15:50:34 | → | Square2 joins (~Square@user/square) |
| 2026-01-17 15:55:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 15:59:49 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2026-01-17 16:00:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 16:00:45 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-17 16:02:08 | DetourNe- | is now known as DetourNetworkUK |
| 2026-01-17 16:04:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 16:06:16 | × | housemate quits (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-17 16:08:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 16:10:16 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-17 16:10:23 | → | housemate joins (~housemate@203.56.146.214) |
| 2026-01-17 16:19:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 16:24:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 16:27:35 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2026-01-17 16:29:34 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-17 16:29:34 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-17 16:29:34 | → | haritz joins (~hrtz@user/haritz) |
| 2026-01-17 16:34:44 | <[exa]> | yeah might be an issue of my browser, curl worked just right |
| 2026-01-17 16:35:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 16:36:55 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-17 16:39:15 | <geekosaur> | I wonder if your browser doesn't treat things without HTTP headers as plain text |
| 2026-01-17 16:39:29 | <sm> | +1, the bridge's auto-pastebinned message looks good here |
| 2026-01-17 16:40:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 16:41:00 | <sm> | I think it provides normal http headers, but it's text/plain not html |
| 2026-01-17 16:43:21 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-01-17 16:46:23 | <geekosaur> | hm, right, it looks exactly like a plain text document, but devtools tells me it's html |
| 2026-01-17 16:47:33 | <sm> | devtools ? |
| 2026-01-17 16:47:39 | <sm> | I looked with curl -i and https://validator.w3.org/detailed.html |
| 2026-01-17 16:50:32 | <geekosaur> | in chrome |
| 2026-01-17 16:51:01 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2026-01-17 16:51:07 | <geekosaur> | also chrome is telling me there's a js script trying to run on the page. if the bridge is including that I think I'm going to eradicate it |
| 2026-01-17 16:51:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 16:51:43 | <geekosaur> | (if it's the browser injecting it, I think I need to do surgery on it…) |
| 2026-01-17 16:52:47 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-17 16:55:37 | <sm> | I don't know how a text/plain response could be responsible for that |
All times are in UTC.