Newest at the top
2024-04-30 19:56:13 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
2024-04-30 19:55:37 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-04-30 19:55:07 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-04-30 19:52:49 +0200 | glguy | (g@libera/staff/glguy) |
2024-04-30 19:51:34 +0200 | glguy | (g@libera/staff/glguy) (Quit: Quit) |
2024-04-30 19:48:33 +0200 | raym | (~ray@user/raym) (Ping timeout: 268 seconds) |
2024-04-30 19:48:28 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 260 seconds) |
2024-04-30 19:45:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-30 19:45:24 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-04-30 19:45:24 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-04-30 19:43:35 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-04-30 19:42:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-30 19:35:52 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-04-30 19:32:25 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 245 seconds) |
2024-04-30 19:31:14 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-04-30 19:28:05 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
2024-04-30 19:24:35 +0200 | danza | (~francesco@151.43.202.238) (Ping timeout: 264 seconds) |
2024-04-30 19:23:58 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-30 19:20:35 +0200 | <yin> | or maybe i'm misunderstanding |
2024-04-30 19:15:26 +0200 | <yin> | multiline signatures i'm guessing |
2024-04-30 19:15:13 +0200 | <yin> | ah i see |
2024-04-30 19:10:21 +0200 | yin | (~yin@user/zero) |
2024-04-30 19:08:49 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-30 19:02:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-30 19:02:42 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-04-30 19:02:42 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) |
2024-04-30 19:00:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-30 18:57:52 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-30 18:57:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-30 18:57:24 +0200 | Square | (~Square@user/square) |
2024-04-30 18:51:40 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-04-30 18:51:33 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
2024-04-30 18:50:41 +0200 | <dminuoso> | Or `t -> t` even, stuff of that shape |
2024-04-30 18:50:19 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-04-30 18:50:19 +0200 | <dminuoso> | Though its conceivable that bindings of type `(t -> t) -> t -> t` (without an explicit type signature) could fall into this trap as well |
2024-04-30 18:47:01 +0200 | <dminuoso> | Okay this is a bit more elaborate, but basically I had a polyvariadic typeclass trick going on, and indending the subsequent top level type signature placed it as an argument into the last (nested) where binding |
2024-04-30 18:43:05 +0200 | <dminuoso> | Oh yeah let me try and derive a motivating example that I can share |
2024-04-30 18:42:05 +0200 | mima | (~mmh@dhcp-138-246-3-42.dynamic.eduroam.mwn.de) (Ping timeout: 240 seconds) |
2024-04-30 18:40:40 +0200 | <yin> | i am not a fan of the layout rules but i can't picture such a case |
2024-04-30 18:36:37 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-04-30 18:36:34 +0200 | <danza> | but what you mean by "it altered the code"? |
2024-04-30 18:36:28 +0200 | <yin> | dminuoso: how? |
2024-04-30 18:36:02 +0200 | <danza> | sounds like consistent design... |
2024-04-30 18:35:32 +0200 | <dminuoso> | What a strange experience. |
2024-04-30 18:35:12 +0200 | <dminuoso> | Not just that, but in my specific code example, it altered the code, and type checked too. |
2024-04-30 18:34:49 +0200 | <dminuoso> | Haskell - where indenting a type signature lifts.. it well to the value level. |
2024-04-30 18:33:44 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-04-30 18:31:56 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-04-30 18:29:35 +0200 | destituion | (~destituio@85.221.111.174) |
2024-04-30 18:29:20 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |