Newest at the top
| 2024-11-08 00:30:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-08 00:25:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 00:23:46 +0100 | supercode | (~supercode@user/supercode) (Client Quit) |
| 2024-11-08 00:23:29 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-08 00:21:18 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2024-11-08 00:21:07 +0100 | xff0x | (~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) |
| 2024-11-08 00:15:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-08 00:13:49 +0100 | pnotequalnp44 | (~pnotequal@user/pnotequalnp) (Client Quit) |
| 2024-11-08 00:13:02 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-08 00:11:57 +0100 | pnotequalnp | (~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds) |
| 2024-11-08 00:11:07 +0100 | pnotequalnp44 | (~pnotequal@user/pnotequalnp) pnotequalnp |
| 2024-11-08 00:10:51 +0100 | <yin> | also feels like PatternSynonyms could be patched to allow the former |
| 2024-11-08 00:09:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 00:08:24 +0100 | <yin> | this feels kind of lispy |
| 2024-11-08 00:08:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) (Ping timeout: 260 seconds) |
| 2024-11-08 00:07:47 +0100 | ljdarj1 | ljdarj |
| 2024-11-08 00:07:46 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-11-08 00:07:10 +0100 | <yin> | the solution: `(MyPattern) { x = ... }` |
| 2024-11-08 00:06:47 +0100 | <yin> | this is fun!: i have a bidirectional pattern synonym and try to use record update syntax like `MyPattern { x = ... }` i can get the error `constructor MyPattern does not have field 'x'` |
| 2024-11-08 00:04:38 +0100 | pnotequalnp | (~pnotequal@user/pnotequalnp) pnotequalnp |
| 2024-11-08 00:04:34 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-08 00:00:45 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-07 23:58:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-07 23:58:04 +0100 | Everything | (~Everythin@178-133-1-121.mobile.vf-ua.net) (Remote host closed the connection) |
| 2024-11-07 23:54:24 +0100 | famubu | (~famubu@14.139.174.50) |
| 2024-11-07 23:53:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 23:46:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-11-07 23:44:50 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-11-07 23:43:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-07 23:38:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 23:36:35 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-07 23:36:19 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-07 23:36:16 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-07 23:35:53 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-07 23:35:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2024-11-07 23:35:53 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-11-07 23:35:42 +0100 | <monochrom> | Right yeah. |
| 2024-11-07 23:35:10 +0100 | <tomsmeding> | https://play.haskell.org/saved/Qtf5WYqV |
| 2024-11-07 23:35:02 +0100 | <tomsmeding> | and -XDeepSubsumption does not! |
| 2024-11-07 23:34:42 +0100 | <tomsmeding> | -XImpredicativeTypes also works :> |
| 2024-11-07 23:34:06 +0100 | <geekosaur> | -XDeepSubsumption if your ghc is new enough |
| 2024-11-07 23:33:46 +0100 | <monochrom> | Oh wait, it's shallow vs deep subsumption. |
| 2024-11-07 23:33:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-07 23:33:35 +0100 | <tomsmeding> | it certainly was disallowed before :) |
| 2024-11-07 23:33:29 +0100 | <tomsmeding> | (I would rather expect it the other round: instantiating 'undefined' with a type containing foralls could be _permissible due to_ quicklook) |
| 2024-11-07 23:33:06 +0100 | <monochrom> | I haven't tried. I only have GADTs and GHC2021 (I think it includes RankNTypes). |
| 2024-11-07 23:32:37 +0100 | <tomsmeding> | monochrom: is "foo = undefined" accepted if you turn on -XImpredicativeTypes? |
| 2024-11-07 23:31:47 +0100 | <monochrom> | Haha this is probably a consequence of quicklook impredicativity. I have "foo :: (forall x. ...) -> ()" for example (in general a rank-2+ type sig), then I can't have "foo = undefined" if I want a TODO stub, I have to write at least "foo _ = undefined". |
| 2024-11-07 23:27:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-07 23:24:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |