Logs: liberachat/#haskell
| 2021-06-19 19:48:12 | × | fabfianda quits (~fabfianda@mob-5-90-241-140.net.vodafone.it) (Ping timeout: 252 seconds) |
| 2021-06-19 19:48:20 | → | benin0369 joins (~benin@183.82.205.58) |
| 2021-06-19 19:49:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Ping timeout: 265 seconds) |
| 2021-06-19 19:49:13 | → | fabfianda joins (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) |
| 2021-06-19 19:49:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) |
| 2021-06-19 19:51:53 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: The Lounge - https://thelounge.chat) |
| 2021-06-19 19:57:11 | → | zeenk joins (~zeenk@82.76.113.130) |
| 2021-06-19 20:00:49 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 20:01:02 | → | jneira_ joins (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) |
| 2021-06-19 20:04:15 | → | rawles joins (~o@sputnik.rawles.net) |
| 2021-06-19 20:05:04 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-19 20:05:04 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 258 seconds) |
| 2021-06-19 20:07:53 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-19 20:09:32 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-19 20:09:50 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 252 seconds) |
| 2021-06-19 20:11:19 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 20:11:52 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-19 20:12:48 | <boxscape> | ugh, the haskell report says "variables bound by let have fully polymorphic types while those defined by <-are lambda bound and are thus monomorphic" and then gives the identity laws for <- in terms of let |
| 2021-06-19 20:13:02 | <boxscape> | oh wait |
| 2021-06-19 20:13:15 | <boxscape> | I suppose the let defines a function, which is the same as a lambda |
| 2021-06-19 20:13:24 | <boxscape> | I guess that's the important bit |
| 2021-06-19 20:15:56 | <boxscape> | mainly I'm wondering if having `do {x <- ask; return x}` throw a compile time error, but `ask >>= \x -> return x` work in some situations constitutes a GHC bug or could be seen as expected behavior |
| 2021-06-19 20:17:30 | → | warnz joins (~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3) |
| 2021-06-19 20:19:28 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-19 20:19:39 | × | jneira_ quits (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2021-06-19 20:19:46 | × | Morrow quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 268 seconds) |
| 2021-06-19 20:19:49 | <boxscape> | (this is the example I'm looking at https://paste.tomsmeding.com/RNgN10f2 ) |
| 2021-06-19 20:19:58 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-19 20:20:18 | <dminuoso> | boxscape: which GHC version? |
| 2021-06-19 20:20:22 | <boxscape> | HEAD |
| 2021-06-19 20:20:23 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-19 20:20:33 | <boxscape> | (i.e. 9.3) |
| 2021-06-19 20:20:34 | <dminuoso> | Has quicklook been merged into that already? |
| 2021-06-19 20:20:37 | <boxscape> | yes |
| 2021-06-19 20:21:09 | <dminuoso> | Curious, what compilation error do you get? |
| 2021-06-19 20:21:22 | <boxscape> | right, I was going to include that, hold on |
| 2021-06-19 20:22:02 | × | warnz quits (~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3) (Ping timeout: 265 seconds) |
| 2021-06-19 20:22:47 | <boxscape> | dminuoso https://paste.tomsmeding.com/h9KZpAeO |
| 2021-06-19 20:24:20 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 244 seconds) |
| 2021-06-19 20:25:27 | → | MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-19 20:25:30 | <dminuoso> | boxscape: Judging from the haskell report, your quoted section does seem to apply, no? |
| 2021-06-19 20:25:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-19 20:26:11 | <boxscape> | yes, but I would expect that this shouldn't make the two different? Since x is "lambda bound" in both |
| 2021-06-19 20:26:32 | × | blackbart quits (~sv@pool-173-63-177-191.nwrknj.fios.verizon.net) (Quit: leaving) |
| 2021-06-19 20:26:43 | <boxscape> | (Not sure if you were arguing for it being a bug or it being expected, actually) |
| 2021-06-19 20:27:01 | <dminuoso> | The term "lambda bound" is sadly not defined anywhere |
| 2021-06-19 20:27:58 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-19 20:28:22 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-06-19 20:29:06 | × | cuz quits (~user@2601:182:cc02:8b0:2101:5597:2ede:b8bf) (Ping timeout: 240 seconds) |
| 2021-06-19 20:30:42 | <dminuoso> | boxscape: but I guess you are right |
| 2021-06-19 20:32:17 | <dminuoso> | boxscape: out of curiosity, is this in GHCi or GHC? |
| 2021-06-19 20:32:22 | <boxscape> | ghci |
| 2021-06-19 20:32:58 | <dminuoso> | I stumbled over some fancy bits suggesting that there's some subtle differences in type checking depending on whether its in GHCi or not.... |
| 2021-06-19 20:33:03 | <dminuoso> | o.o |
| 2021-06-19 20:33:12 | <boxscape> | huh, well, I'll try ghc |
| 2021-06-19 20:33:35 | <boxscape> | same thing |
| 2021-06-19 20:33:38 | <dminuoso> | boxscape: judging from the code its the other way around |
| 2021-06-19 20:33:42 | <dminuoso> | ghci admits slightly more |
| 2021-06-19 20:33:46 | <boxscape> | I see |
| 2021-06-19 20:36:38 | <boxscape> | dminuoso it could be that due to RankNTypes variables bound by lambdas can be polymorphic (during checking, but not inference) but that this doesn't extend to variables bound by <-. Which would not need to be covered by the report since it doesn't have RankNTypes |
| 2021-06-19 20:38:31 | <boxscape> | I wonder if I can find an example of this that doesn't need ImpredicativeTypes, but RankNTypes |
| 2021-06-19 20:39:19 | × | xff0x quits (~xff0x@2001:1a81:5339:fe00:214:efbd:9851:b8b5) (Ping timeout: 244 seconds) |
| 2021-06-19 20:39:53 | → | Guest9 joins (~Guest9@103.250.137.22) |
| 2021-06-19 20:40:27 | → | xff0x joins (~xff0x@2001:1a81:5339:fe00:6f23:db32:56d4:ea84) |
| 2021-06-19 20:41:21 | × | ml90864 quits (~ml90864@81-204-103-231.fixed.kpn.net) (Quit: Lost terminal) |
| 2021-06-19 20:45:45 | → | jneira_ joins (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) |
| 2021-06-19 20:45:53 | <dminuoso> | boxscape: what about `newtype F = F (forall s. s)` and `do { F s <- ... }`? |
| 2021-06-19 20:46:18 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-06-19 20:48:03 | <boxscape> | dminuoso ah, interesting, that doesn't produce a compile error, and s is indeed polymorphic |
| 2021-06-19 20:49:10 | <boxscape> | I suppose I'll report it as a bug then |
| 2021-06-19 20:51:21 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-19 20:53:50 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-06-19 20:59:08 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 252 seconds) |
| 2021-06-19 21:03:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-19 21:04:51 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2021-06-19 21:05:14 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2021-06-19 21:06:34 | <boxscape> | turns out the Reader newtype isn't necessary, the same thing happens without it, but *only* if ImpredicativeTypes is on, otherwise neither version will compile |
| 2021-06-19 21:07:50 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-19 21:08:05 | × | jonathanx_ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-06-19 21:08:24 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-06-19 21:09:54 | × | hueso quits (~root@user/hueso) (Ping timeout: 264 seconds) |
| 2021-06-19 21:11:19 | → | chazza joins (~igloo@94.5.6.23) |
| 2021-06-19 21:12:59 | × | chazza quits (~igloo@94.5.6.23) (Remote host closed the connection) |
| 2021-06-19 21:14:06 | → | hueso joins (~root@user/hueso) |
| 2021-06-19 21:15:16 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-19 21:17:48 | → | ddellaco_ joins (~ddellacos@86.106.121.100) |
| 2021-06-19 21:20:02 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds) |
| 2021-06-19 21:20:35 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-06-19 21:21:26 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-19 21:23:04 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-19 21:23:48 | × | Guest9 quits (~Guest9@103.250.137.22) (Quit: Connection closed) |
| 2021-06-19 21:24:37 | → | img joins (~img@user/img) |
| 2021-06-19 21:24:47 | × | xff0x quits (~xff0x@2001:1a81:5339:fe00:6f23:db32:56d4:ea84) (Ping timeout: 244 seconds) |
| 2021-06-19 21:24:48 | × | chrysanthematic quits (~chrysanth@user/chrysanthematic) (Quit: chrysanthematic) |
| 2021-06-19 21:25:39 | → | xff0x joins (~xff0x@2001:1a81:5339:fe00:b030:ca5c:f625:5fbb) |
| 2021-06-19 21:26:06 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-19 21:26:48 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:1960:9d14:60f8:23cf) (Ping timeout: 265 seconds) |
| 2021-06-19 21:27:26 | × | cercerilla quits (~rebecca@024-178-254-009.res.spectrum.com) (Quit: WeeChat 3.2) |
| 2021-06-19 21:27:41 | → | bilegeek joins (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) |
| 2021-06-19 21:27:43 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
All times are in UTC.