Newest at the top
| 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 |
| 2024-04-30 18:10:40 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2024-04-30 18:09:39 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-30 18:08:45 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-04-30 18:08:41 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-30 18:07:30 +0200 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-30 18:07:25 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2024-04-30 18:05:26 +0200 | <lambdabot> | Ezla says: Why does Haskell need so many thunks? |
| 2024-04-30 18:05:26 +0200 | <shapr> | @quote |
| 2024-04-30 18:03:27 +0200 | mikess | (~mikess@user/mikess) |
| 2024-04-30 18:00:52 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (Ping timeout: 256 seconds) |
| 2024-04-30 17:58:30 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) |
| 2024-04-30 17:58:07 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-30 17:57:17 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (Ping timeout: 240 seconds) |
| 2024-04-30 17:56:36 +0200 | Pozyomka | (~pyon@user/pyon) |
| 2024-04-30 17:55:47 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:2575:1903:5fc2:ed7c) (Ping timeout: 260 seconds) |
| 2024-04-30 17:55:27 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-30 17:55:24 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2024-04-30 17:55:19 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |