Newest at the top
2024-07-19 05:02:24 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-07-19 04:55:00 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
2024-07-19 04:52:36 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-19 04:49:50 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
2024-07-19 04:46:34 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2024-07-19 04:43:40 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2024-07-19 04:23:03 +0200 | td_ | (~td@i53870905.versanet.de) |
2024-07-19 04:22:52 +0200 | Square2 | (~Square@user/square) |
2024-07-19 04:21:26 +0200 | td_ | (~td@i53870925.versanet.de) (Ping timeout: 255 seconds) |
2024-07-19 04:12:46 +0200 | puke | (~puke@user/puke) |
2024-07-19 04:09:28 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-07-19 04:09:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:71aa:4bc6:5c8f:1add) (Ping timeout: 252 seconds) |
2024-07-19 04:04:05 +0200 | dehsou^ | (dehsou@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-07-19 04:03:54 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
2024-07-19 03:54:24 +0200 | monochrom | (trebla@216.138.220.146) |
2024-07-19 03:38:23 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
2024-07-19 03:07:57 +0200 | puke | (~puke@user/puke) (Ping timeout: 244 seconds) |
2024-07-19 03:07:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2024-07-19 03:03:42 +0200 | euleritian | (~euleritia@dynamic-176-004-239-040.176.4.pool.telefonica.de) |
2024-07-19 03:03:34 +0200 | euleritian | (~euleritia@dynamic-176-004-239-040.176.4.pool.telefonica.de) (Remote host closed the connection) |
2024-07-19 02:54:13 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
2024-07-19 02:45:45 +0200 | ystael | (~ystael@user/ystael) |
2024-07-19 02:41:36 +0200 | <Unicorn_Princess> | thanks, thought it would be something like that |
2024-07-19 02:38:57 +0200 | <c_wraith> | (More specifically - when ScopedTypeVariables is enabled, type variables appearing in a class definition's head are available to all declarations inside the class) |
2024-07-19 02:37:43 +0200 | <c_wraith> | Unicorn_Princess: enable ScopedTypeVariables. In that specific case, that's all you need to do. (unlike top-level type declarations, it doesn't need a forall to bring the variable into scope) |
2024-07-19 02:36:18 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 276 seconds) |
2024-07-19 02:35:53 +0200 | <Unicorn_Princess> | how can i specify that a type in a nested signature is the same as the type in the class declaration? example: https://paste.tomsmeding.com/xbrjE1uC |
2024-07-19 02:33:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:71aa:4bc6:5c8f:1add) |
2024-07-19 02:33:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-07-19 02:21:36 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-07-19 02:15:56 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-07-19 02:10:57 +0200 | mrmr155334346 | (~mrmr@user/mrmr) (Ping timeout: 276 seconds) |
2024-07-19 02:01:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:71aa:4bc6:5c8f:1add) (Ping timeout: 246 seconds) |
2024-07-19 01:59:29 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
2024-07-19 01:55:14 +0200 | zero | (~z@user/zero) |
2024-07-19 01:54:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-07-19 01:53:18 +0200 | zero | (~z@user/zero) (Quit: quit) |
2024-07-19 01:43:58 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-07-19 01:43:35 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-07-19 01:42:37 +0200 | pavonia | (~user@user/siracusa) |
2024-07-19 01:41:37 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-07-19 01:34:47 +0200 | tomku | (~tomku@user/tomku) |
2024-07-19 01:34:33 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 276 seconds) |
2024-07-19 01:19:36 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 276 seconds) |
2024-07-19 01:16:43 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
2024-07-19 01:15:01 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-07-19 01:09:02 +0200 | Guest18 | (~Guest18@2605:59c8:26f7:4e10:241b:ad0:4a05:c733) (Quit: Client closed) |
2024-07-19 00:59:14 +0200 | zero | (~z@user/zero) |
2024-07-19 00:58:17 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
2024-07-19 00:53:36 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |