Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 .. 5022
— 502,152 events total
2020-11-18 22:31:23 × jedws quits (~jedws@101.184.175.183) (Ping timeout: 260 seconds)
2020-11-18 22:31:56 → kaychaks_riot joins (kaychaksma@gateway/shell/matrix.org/x-mkllmseyzgoebiyk)
2020-11-18 22:32:04 <hekkaidekapus> dolio: If I’m getting what you want, annotating the result if okay, but ugly for arguments.
2020-11-18 22:32:06 <iqubic> What font is what?
2020-11-18 22:32:30 → psydruid joins (psydruidma@gateway/shell/matrix.org/x-tkomzubgcyrydslv)
2020-11-18 22:32:35 <anon1252> iqubic: Sorry, nevermind, I thought it was a screenshot but it's not so I've got it.
2020-11-18 22:32:50 <iqubic> anon1252: I posted a total of 0 images, so whatever font it is must be coming from your computer.
2020-11-18 22:32:50 <dolio> I just don't want any other feature to require you to use this sort of annotation.
2020-11-18 22:32:58 <hekkaidekapus> heh
2020-11-18 22:32:59 <iqubic> I have no idea what font your computer is using.
2020-11-18 22:33:07 <dolio> I want to be able to write signatures on their own line.
2020-11-18 22:33:44 <iqubic> So, anyone know why my thing won't compile?
2020-11-18 22:34:32 <hekkaidekapus> Euh, haven’t re-read the full proposal but I don’t think there is another feature requiring to use the new syntax. It’s just an option.
2020-11-18 22:34:48 → jedws joins (~jedws@101.184.175.183)
2020-11-18 22:35:19 <dolio> Yeah, that's fine.
2020-11-18 22:35:20 <koz_> iqubic: 4.12 is 8.6.
2020-11-18 22:35:22 <koz_> Not 8.8.
2020-11-18 22:38:45 × nuncanada quits (~dude@179.235.160.168) (Ping timeout: 240 seconds)
2020-11-18 22:40:02 × avn quits (~avn@78-56-108-78.static.zebra.lt) (Ping timeout: 265 seconds)
2020-11-18 22:40:34 <hekkaidekapus> @where boot-libs-versions -- iqubic
2020-11-18 22:40:34 <lambdabot> <https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history>
2020-11-18 22:40:43 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-18 22:41:01 <iqubic> koz_: How shall I change my cabal file?
2020-11-18 22:41:04 × falafel quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Remote host closed the connection)
2020-11-18 22:41:09 <koz_> iqubic: Change your base pin.
2020-11-18 22:41:22 <koz_> To match the version that comes with GHC 8.8.4.
2020-11-18 22:42:03 <iqubic> I don't know how to do that. Can you teach me?
2020-11-18 22:42:45 <koz_> iqubic: Your version of base is set by '^>= 4.12.0.0' in your cabal file. It should be ^>= 4.13.0.0.
2020-11-18 22:42:54 <iqubic> Thanks.
2020-11-18 22:43:31 <boxscape> ^>= 4.12.0.0 matches anything below 4.13? or anything below 5?
2020-11-18 22:43:35 <ski> hekkaidekapus : one down ?
2020-11-18 22:43:39 <koz_> boxscape: Neither of these.
2020-11-18 22:43:42 <boxscape> oh
2020-11-18 22:44:09 <koz_> The exact meaning of ^>=-style bounds is explained in the Cabal docs.
2020-11-18 22:44:19 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-18 22:44:22 <boxscape> (I meant at least 4.12.0.0 and below x, but I'll check the docs)
2020-11-18 22:44:32 <hekkaidekapus> ski: Isn’t the ML-style annotations question resolved by that proposal?
2020-11-18 22:45:42 × foursaph quits (~foursaph@dynamic-077-006-006-064.77.6.pool.telefonica.de) (Quit: leaving)
2020-11-18 22:45:46 <hekkaidekapus> And even the PatternSignatures one?
2020-11-18 22:46:07 <boxscape> "^>= x.y.z.u == >= x.y.z.u && < x.(y+1)"
2020-11-18 22:46:18 → britva joins (~britva@2a02:aa13:7240:2980:7da5:a1a0:c038:90b4)
2020-11-18 22:46:35 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-18 22:46:45 <boxscape> so... ^>= 4.12.0.0 == >= 4.12.0.0 && < 4.13
2020-11-18 22:47:09 <hekkaidekapus> boxscape: Yeah, basically the version after ^>= means it will not break PVP.
2020-11-18 22:47:16 <boxscape> ok
2020-11-18 22:48:11 <hekkaidekapus> iqubic: For future fixes, you could bookmark the URL I pasted above.
2020-11-18 22:48:17 <koz_> I keep misreading PVP as 'player-versus-player', rofl.
2020-11-18 22:48:35 <koz_> Haskell has the Battle Royale approach to package versioning, clearly.
2020-11-18 22:49:00 <ski> hekkaidekapus : oh. yes, i think so. i was just thinking you meant you commented or added something to that discussion, but couldn't find a recent addition
2020-11-18 22:49:26 <hekkaidekapus> Nope, I don’t do GitHub comments ;)
2020-11-18 22:49:56 <hekkaidekapus> The remaining task is to scale down STV.
2020-11-18 22:50:26 × nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection)
2020-11-18 22:50:28 <ski> (preferably flipping when it binds tyvars over the body, and when it doesn't)
2020-11-18 22:51:27 × forell quits (~forell@unaffiliated/forell) (Quit: ZNC - https://znc.in)
2020-11-18 22:51:28 <hekkaidekapus> Aye. But that would be nearly impossible given its wide adoption.
2020-11-18 22:51:31 <ski> (i think i remember, when i first read about it, i was thinking they must've made a mistake in the docs, meaning the opposite of what was written .. until i tested it)
2020-11-18 22:51:49 → forell joins (~forell@unaffiliated/forell)
2020-11-18 22:52:01 → nek0 joins (~nek0@mail.nek0.eu)
2020-11-18 22:52:07 <ski> yes. so an alternative extension with the opposite behavious would be what one might reasonably hope for, i think
2020-11-18 22:52:50 ← nut parts (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) ("ERC (IRC client for Emacs 26.3)")
2020-11-18 22:53:05 <hekkaidekapus> Absolutely. And then set in motion a decade-long process to deprecate STV :D
2020-11-18 22:53:29 × britva quits (~britva@2a02:aa13:7240:2980:7da5:a1a0:c038:90b4) (Quit: This computer has gone to sleep)
2020-11-18 22:53:30 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-18 22:53:31 <ski> well, how long have we had STV, now ?
2020-11-18 22:53:34 ski can't recall
2020-11-18 22:53:43 <hekkaidekapus> Me, neither.
2020-11-18 22:53:52 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-18 22:54:00 <ski> anyway, better late, than never
2020-11-18 22:54:07 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-18 22:54:59 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-18 22:54:59 <hekkaidekapus> In the Users’ Guide, STV is there since 6.8.1.
2020-11-18 22:55:07 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-18 22:56:35 → avn joins (~avn@78-56-108-78.static.zebra.lt)
2020-11-18 22:58:00 hekkaidekapus sees where ski got the confusion: “But I was rejected I don’t recall for what reasons.” s/I was/ It was/
2020-11-18 22:58:14 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-18 22:58:17 ← anon1252 parts (5ec1fe17@5ec1fe17.skybroadband.com) ()
2020-11-18 22:59:14 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-11-18 22:59:20 <ski> (no. i noted that at the time, and internally typo-corrected it as you indicate)
2020-11-18 23:00:02 <hekkaidekapus> Ah, ok.
2020-11-18 23:00:23 <ski> (for some reason, i've noticed that i, unnervingly often, write "i" when i mean "it")
2020-11-18 23:01:15 <hekkaidekapus> heh Those pesky keyboards :d
2020-11-18 23:02:12 <ski> (.. and some other annoying typos, like the "the the" class of typos (you pause after writing a word, to think, and then when you continue, you repeat the last word). also, sometimes, when thinking ahead about how to formulate myself, i write out a later planned word, in place of the current one that i intended)
2020-11-18 23:02:30 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-18 23:04:00 <ski> (and no, i don't think i'm simply failing to press the "t" key in the "it". it may be related to another class of typos, where i write another word, that, when pronounced, sounds more or less similar to the intended word)
2020-11-18 23:05:33 <ski> (.. some kind of mess-up, in the internal sentence-structure to keypress serialization)
2020-11-18 23:05:34 <hekkaidekapus> Maybe it’s the cerebral chemistry being quicker than the bio-mechanical anatomy. By the time a typo is spotted, some other body part has already initiated an irreversible action.
2020-11-18 23:05:39 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-18 23:06:39 <hpc> i wonder if they make joke keyboards that don't have a backspace or delete key
2020-11-18 23:07:11 <ski> it's interesting to read a transcript of what someone has spoken, including "er"s, half-formed sentences, changing midway through, &c.
2020-11-18 23:08:22 <ski> hm. perhaps they could brand those keyboards "Dijkstra"
2020-11-18 23:09:14 <justsomeguy> ski: I do a lot of that, too. My worst sin is writing in inconsistent tense (past, present, future), because I've rephrased my comment in the chat box five or six times before sending.
2020-11-18 23:09:22 <ski> (another example of an annoying typo is writing "now" in place of "not" (or vice versa))
2020-11-18 23:09:34 × random quits (~random@46.254.129.126) (Ping timeout: 246 seconds)
2020-11-18 23:10:10 <ski> yea, rephrasing (incompletely/inconsistently) is dangerous
2020-11-18 23:10:38 × abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-11-18 23:11:02 justsomeguy also sometimes habitually replaces English words with similar sounding command names since he's more used to typing them, which is hilarious.
2020-11-18 23:11:21 <ski> hm, yea. i've noticed that too
2020-11-18 23:11:33 <ski> e.g. writing "type" in place of "typo"
2020-11-18 23:11:58 <ski> partly a muscle-memory thing, i'd guess
2020-11-18 23:11:58 × Tourist quits (~tourist@unaffiliated/tourist) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 .. 5022

All times are in UTC.