Newest at the top
2025-06-04 01:46:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-06-04 01:46:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-04 01:41:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 01:41:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 01:37:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-06-04 01:35:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2025-06-04 01:35:20 +0200 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) m_a_r_k |
2025-06-04 01:35:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-04 01:35:04 +0200 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) (Remote host closed the connection) |
2025-06-04 01:34:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 01:33:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 01:32:35 +0200 | sprotte24 | (~sprotte24@p200300d16f1e2800a443276ebc055c27.dip0.t-ipconnect.de) (Client Quit) |
2025-06-04 01:31:48 +0200 | sprotte24 | (~sprotte24@p200300d16f1e2800a443276ebc055c27.dip0.t-ipconnect.de) |
2025-06-04 01:30:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-04 01:29:12 +0200 | <dolio> | Unless you put a constraint on it in the existential type (or similar), it has no known instances, so in particular can't be printed. |
2025-06-04 01:29:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 01:28:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-04 01:28:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-04 01:27:40 +0200 | <dolio> | Yes. The thing you get out of an existential has an arbitrary type that is distinct from every other type. |
2025-06-04 01:23:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 01:23:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-04 01:21:45 +0200 | <EvanR> | so in ghci if you try to unwrap an "existential" and print out the type of the contents, you used to get "my brain exploded", now it's a more helpful message but still doesn't work. Is this because the type information is just gone? |
2025-06-04 01:20:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-04 01:16:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 01:15:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 01:14:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-04 01:12:54 +0200 | ChanServ | +v haskellbridge |
2025-06-04 01:12:54 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
2025-06-04 01:10:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 01:09:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 01:09:15 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Read error: Connection reset by peer) |
2025-06-04 01:03:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 01:03:39 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
2025-06-04 01:03:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 01:02:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-04 01:00:36 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-04 00:57:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 00:57:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 00:50:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 00:50:12 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 268 seconds) |
2025-06-04 00:49:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 00:45:21 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-04 00:42:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 00:42:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 00:36:13 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-06-04 00:36:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 00:35:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-04 00:32:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-06-04 00:31:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-04 00:30:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |