Newest at the top
| 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) |
| 2024-04-30 18:29:18 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Read error: Connection reset by peer) |
| 2024-04-30 18:28:01 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-30 18:22:02 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-04-30 18:21:46 +0200 | <yin> | TIL about autophobia |
| 2024-04-30 18:21:24 +0200 | mima | (~mmh@dhcp-138-246-3-42.dynamic.eduroam.mwn.de) |
| 2024-04-30 18:20:04 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-04-30 18:19:26 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-30 18:18:07 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-30 18:15:06 +0200 | <danza> | :D |
| 2024-04-30 18:14:41 +0200 | <lambdabot> | that I'll be in a permanent state of autophobia. |
| 2024-04-30 18:14:41 +0200 | <lambdabot> | Baughn says: From my point of view, anyone who understands everything ghc can do is /scary/. I'm sure that will change once I reach that level myself, but then again, there's also the possibility |
| 2024-04-30 18:14:40 +0200 | <danza> | @quote again |