Newest at the top
| 2025-03-04 08:19:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-04 08:14:14 +0100 | <Square2> | Thanks for your input, I can now move on. |
| 2025-03-04 08:14:11 +0100 | <jackdk> | not magic: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/scoped_type_variables.html#extensio… |
| 2025-03-04 08:13:41 +0100 | <Square2> | wo. I just added a "forall a." in the outermost and it magically works |
| 2025-03-04 08:13:39 +0100 | <lambdabot> | 42 |
| 2025-03-04 08:13:38 +0100 | <mauke> | > let { outer :: forall a. (Read a) => String -> a; outer s = let { inner :: String -> a; inner = read } in inner s } in outer "42" :: Int |
| 2025-03-04 08:13:32 +0100 | <Leary> | Err, STV* |
| 2025-03-04 08:12:08 +0100 | <Square2> | [exa], Ok, not sure I understand the latter part ... but that is a me problem probably. =D |
| 2025-03-04 08:12:02 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-04 08:11:53 +0100 | <Leary> | There's nothing unintuitive about SCT, it just has bad syntax: you need to introduce the scoped tyvars in the outermost explicit forall. |
| 2025-03-04 08:11:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-03-04 08:11:02 +0100 | <[exa]> | Square2: most likely one of the inner signatures there is too generic in some of the variables (did you capture _all_ variables that need to get "through" so that the types check?) |
| 2025-03-04 08:10:41 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-04 08:09:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-04 08:09:45 +0100 | <Square2> | [exa], I will try. |
| 2025-03-04 08:09:16 +0100 | <[exa]> | Square2: can you post mwe? |
| 2025-03-04 08:09:11 +0100 | <[exa]> | Square2: it's often quite surprising in what it actually does, much initial intuition has also failed for me |
| 2025-03-04 08:08:41 +0100 | <Square2> | Seems it doesn't do what I want. It complains like: "Could not deduce `a0 ~ a'" |
| 2025-03-04 08:06:28 +0100 | <jackdk> | ScopedTypeVariables? |
| 2025-03-04 08:05:58 +0100 | madcabbage | (~cabbage@207.148.176.79) (Ping timeout: 252 seconds) |
| 2025-03-04 08:05:51 +0100 | <Square2> | There is no way you can have local functions use a type argument (in its signature) of the enclosing function? |
| 2025-03-04 08:04:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-04 08:02:00 +0100 | igemnace_ | igemnace |
| 2025-03-04 08:00:41 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
| 2025-03-04 07:55:24 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-04 07:53:03 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-04 07:49:05 +0100 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2025-03-04 07:48:23 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-04 07:47:52 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-04 07:47:43 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-04 07:47:39 +0100 | biberu | (~biberu@user/biberu) biberu |
| 2025-03-04 07:44:59 +0100 | m5zs7k_ | m5zs7k |
| 2025-03-04 07:44:38 +0100 | fantom | (~fantom@2.219.56.221) |
| 2025-03-04 07:43:31 +0100 | Ekho- | (~Ekho@user/ekho) Ekho |
| 2025-03-04 07:42:59 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-03-04 07:42:43 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Ping timeout: 243 seconds) |
| 2025-03-04 07:42:39 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2025-03-04 07:42:35 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2025-03-04 07:42:33 +0100 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2025-03-04 07:42:32 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2025-03-04 07:42:12 +0100 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2025-03-04 07:42:09 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2025-03-04 07:41:44 +0100 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2025-03-04 07:41:28 +0100 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2025-03-04 07:41:10 +0100 | Pixi` | Pixi |
| 2025-03-04 07:40:56 +0100 | madcabbage | (~cabbage@207.148.176.79) |
| 2025-03-04 07:40:41 +0100 | madcabbage | (~cabbage@207.148.176.79) (Remote host closed the connection) |
| 2025-03-04 07:40:41 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Max SendQ exceeded) |
| 2025-03-04 07:40:41 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Max SendQ exceeded) |
| 2025-03-04 07:40:41 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Max SendQ exceeded) |