Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 .. 5022
— 502,152 events total
2020-11-12 08:55:31 <benschza> tomsmeding: Thanks! I'll give that a try.
2020-11-12 08:55:46 <[exa]> benschza: btw if you didn't use a type hole yet, now is the time :]
2020-11-12 08:56:36 → thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de)
2020-11-12 08:57:29 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 08:57:40 <benschza> [exa]: I'll have to Google that :) Thanks for the pointer.
2020-11-12 08:57:51 <merijn> tomsmeding: In the end, I understand why the desire path is there, but some things are required/blocked for a reason, see also: people complaining about needing to write out module lists, people complaining about maintaining upperbounds, etc.
2020-11-12 08:58:20 <tomsmeding> true enough
2020-11-12 08:58:23 <merijn> As always, these problems are "trivial" if you just throw long term stability/usability under the bus
2020-11-12 08:58:44 <merijn> But if you think about how things should work long term, it just can't work
2020-11-12 08:58:54 <[exa]> benschza: basically you add ` :: _ ` after anything and the compiler reports on what it thinks should be in place of the _
2020-11-12 08:59:19 <[exa]> (same for values)
2020-11-12 09:00:01 × RISCi_ATOM1 quits (~RISCi_ATO@185.163.110.116) ()
2020-11-12 09:00:08 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) (Ping timeout: 272 seconds)
2020-11-12 09:00:31 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-12 09:01:14 × thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-12 09:01:57 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 09:01:58 → christo joins (~chris@81.96.113.213)
2020-11-12 09:06:10 → LKoen joins (~LKoen@77.174.9.109.rev.sfr.net)
2020-11-12 09:06:39 <daydaynatation> merijn: cabal complain that it doesn recognize --projectfile=...
2020-11-12 09:06:50 <daydaynatation> is it the right flag? I checked ont he user guide, couldn't find
2020-11-12 09:06:52 <merijn> oh, maybe it's --project-file?
2020-11-12 09:07:07 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-12 09:07:22 → kritzefitz joins (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de)
2020-11-12 09:07:49 <daydaynatation> thx
2020-11-12 09:08:12 → idhugo joins (~idhugo@users-1190.st.net.au.dk)
2020-11-12 09:09:54 × LKoen quits (~LKoen@77.174.9.109.rev.sfr.net) (Client Quit)
2020-11-12 09:10:04 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 09:11:09 → avdb joins (~avdb@ip-83-134-68-229.dsl.scarlet.be)
2020-11-12 09:12:55 × nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat)
2020-11-12 09:16:05 → thc202 joins (~thc202@unaffiliated/thc202)
2020-11-12 09:16:39 × bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection)
2020-11-12 09:17:44 → christo joins (~chris@81.96.113.213)
2020-11-12 09:19:55 <maerwald> was there a cabal helper tool that bumps version bounds of your package?
2020-11-12 09:20:33 <merijn> I think someone was working on one at some point?
2020-11-12 09:21:11 <maerwald> https://hackage.haskell.org/package/cabal-bounds
2020-11-12 09:21:22 → p8m_ joins (p8m@gateway/vpn/protonvpn/p8m)
2020-11-12 09:21:38 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds)
2020-11-12 09:24:25 × kritzefitz quits (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-12 09:27:38 × sw1nn quits (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) (Ping timeout: 260 seconds)
2020-11-12 09:30:34 <dminuoso> Is there a safe variant of fromIntegral anywhere?
2020-11-12 09:30:54 <dminuoso> I need runtime verification, not static.
2020-11-12 09:31:13 <merijn> dminuoso: I recommend a strong whisky and crying :)
2020-11-12 09:31:40 <maerwald> Glendronach 21
2020-11-12 09:31:57 <merijn> Sadness goes better with Islay
2020-11-12 09:32:03 <dminuoso> maerwald: Does that go well with Cola or better in tea?
2020-11-12 09:32:07 <maerwald> dude
2020-11-12 09:32:17 <merijn> dminuoso: I know you're joking and I'm still mad
2020-11-12 09:32:28 × SeMas quits (uid32977@gateway/web/irccloud.com/x-ccoximdwznrvbzyv) (Quit: Connection closed for inactivity)
2020-11-12 09:32:41 <dminuoso> merijn: I have quite a few whiskey fans, it triggers them every time. ;)
2020-11-12 09:33:09 <dminuoso> Or *whisky I guess
2020-11-12 09:33:09 <merijn> Whisky cola is fine, but just use shitty whisky >.>
2020-11-12 09:33:16 <maerwald> so you're a whisky?
2020-11-12 09:33:38 <merijn> Good whisky in cola ruins both your whisky and your cola (and your wallet) :p
2020-11-12 09:33:41 <dminuoso> Maybe the problem is that whisky connoisseurs don't use high quality cola for mixing their whisky.
2020-11-12 09:34:04 <[exa]> "high-quality cola" please elaborate
2020-11-12 09:34:11 <dminuoso> On a slightly more serious note, Im pondering getting these "cooling stones" for whisky.
2020-11-12 09:34:18 <dminuoso> But not for cooling it, but for heating rum.
2020-11-12 09:34:52 <dminuoso> Getting rum up to 25-28 degrees brings out quite a few flavors
2020-11-12 09:35:09 <merijn> I recommend we move this to offtopic :p
2020-11-12 09:35:13 <dminuoso> Indeed.
2020-11-12 09:35:19 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-zfqdguyjlahjbggz) (Quit: Connection closed for inactivity)
2020-11-12 09:36:52 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-12 09:37:53 → kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
2020-11-12 09:40:30 hackage polysemy-extra 0.1.3.0 - Extra Input and Output functions for polysemy.. https://hackage.haskell.org/package/polysemy-extra-0.1.3.0 (locallycompact)
2020-11-12 09:41:10 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-12 09:42:33 → alp joins (~alp@2a01:e0a:58b:4920:5893:9820:69f2:6f2)
2020-11-12 09:43:28 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-12 09:47:25 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-12 09:48:47 × xff0x quits (~fox@2001:1a81:53be:a900:d560:4ea6:2896:65fd) (Ping timeout: 272 seconds)
2020-11-12 09:49:26 → xff0x joins (~fox@2001:1a81:53be:a900:6ffc:a5ea:f6d0:8f5a)
2020-11-12 09:50:39 <dminuoso> merijn: on a more serious note, am I expected to just manually compare with maxBound?
2020-11-12 09:50:58 <dminuoso> Why is there no freaking numeric conversion with error handling in base?
2020-11-12 09:51:29 <dminuoso> Is it just assumed that narrowing cant possibly happening? Or that when it happens, its semantics (what are they?) are obviously what you want?
2020-11-12 09:51:33 <merijn> dminuoso: On a more seriouse note, I had to handroll it and you get awkward conversion too
2020-11-12 09:51:52 <dminuoso> Dont people ever deal with numbers? :(
2020-11-12 09:52:04 <dminuoso> Im so close to just use Integer everywhere.
2020-11-12 09:52:06 <merijn> dminuoso: I welcome any suggestions/things in GHC that improve this
2020-11-12 09:52:29 <merijn> dminuoso: It's somewhere down on my yak shaving list
2020-11-12 09:54:09 → nek0 joins (~nek0@mail.nek0.eu)
2020-11-12 09:57:30 hackage phonetic-languages-constraints 0.3.0.1 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constraints-0.3.0.1 (OleksandrZhabenko)
2020-11-12 09:57:46 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-12 09:58:29 × Yumasi quits (~guillaume@2a01cb09b06b29ea6448a1be2d68fad7.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2020-11-12 09:58:42 → adm joins (~adm@43.229.89.44)
2020-11-12 09:58:57 → Yumasi joins (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr)
2020-11-12 10:01:28 × daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-11-12 10:03:28 × adm quits (~adm@43.229.89.44) (Ping timeout: 272 seconds)
2020-11-12 10:04:33 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2020-11-12 10:05:31 hackage polysemy-extra 0.1.4.0 - Extra Input and Output functions for polysemy.. https://hackage.haskell.org/package/polysemy-extra-0.1.4.0 (locallycompact)
2020-11-12 10:11:23 × datajerk quits (~datajerk@sense.net) (Ping timeout: 260 seconds)
2020-11-12 10:14:40 → datajerk joins (~datajerk@sense.net)
2020-11-12 10:16:22 × Yumasi quits (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-11-12 10:17:42 → adm joins (~adm@43.229.89.44)
2020-11-12 10:18:19 → Yumasi joins (~guillaume@40.72.95.92.rev.sfr.net)
2020-11-12 10:21:51 × Sanchayan quits (~Sanchayan@122.181.216.76) (Quit: leaving)
2020-11-12 10:22:33 → ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-11-12 10:27:02 → neiluj joins (~jco@238.106.204.77.rev.sfr.net)
2020-11-12 10:27:07 × neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Changing host)
2020-11-12 10:27:07 → neiluj joins (~jco@unaffiliated/neiluj)
2020-11-12 10:28:07 → acidjnk_new joins (~acidjnk@p200300d0c718f661b553e508bfbf5b58.dip0.t-ipconnect.de)
2020-11-12 10:28:14 → tsmango joins (~tsmango@178.239.168.171)
←Prev  Next→
Page 1 .. 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 .. 5022

All times are in UTC.