Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4598 4599 4600 4601 4602 4603 4604 4605 4606 4607 4608 .. 5022
— 502,152 events total
2021-04-25 20:32:44 <petrus> also, to test I still need to recreate my whole env
2021-04-25 20:33:07 → pavonia joins (~user@unaffiliated/siracusa)
2021-04-25 20:33:10 <zzz> maerwald: how do i install that?
2021-04-25 20:33:57 <maerwald> zzz: ghcup install cabal -u https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.4.0.0/cabal-install-3.4.0.0-i386-unknown-linux.tar.xz 3.4.0.0
2021-04-25 20:35:04 → gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-25 20:38:22 × alx741 quits (~alx741@181.196.69.117) (Ping timeout: 252 seconds)
2021-04-25 20:38:50 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 268 seconds)
2021-04-25 20:39:46 → Pickchea joins (~private@unaffiliated/pickchea)
2021-04-25 20:40:13 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-04-25 20:42:45 <zzz> maerwald: that seems to solve it. thanks!
2021-04-25 20:42:53 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-25 20:44:43 → pjb joins (~pjb@2a01cb04063ec50065c90891fe55ba7a.ipv6.abo.wanadoo.fr)
2021-04-25 20:44:59 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-25 20:45:00 → maralorn joins (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi)
2021-04-25 20:45:14 → nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-25 20:50:24 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-25 20:52:53 → alx741 joins (~alx741@181.196.69.35)
2021-04-25 20:56:45 → plast1k_ joins (~plast1k_@41.186.25.253)
2021-04-25 20:57:25 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-25 21:00:02 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-25 21:02:39 → nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-25 21:02:49 × minoru_shiraeesh quits (~shiraeesh@109.166.59.190) (Ping timeout: 260 seconds)
2021-04-25 21:03:06 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-25 21:04:46 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-25 21:05:04 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-25 21:08:27 <gnumonic> i don't suppose there's any way to have a typelevel $? singletons has one for the (k ~> k) defunctionalizations but it'd be so nice to not have so many parens in signatures
2021-04-25 21:09:34 × plast1k_ quits (~plast1k_@41.186.25.253) (Quit: Leaving)
2021-04-25 21:10:27 <ski> i'd consider that a specious reason for wanting it ..
2021-04-25 21:13:18 × wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds)
2021-04-25 21:13:59 → supercoven_ joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi)
2021-04-25 21:14:00 × supercoven_ quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Max SendQ exceeded)
2021-04-25 21:14:33 → supercoven_ joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi)
2021-04-25 21:15:18 × sajith quits (~sajith@fsf/member/nonzen) (Ping timeout: 240 seconds)
2021-04-25 21:16:09 × jackhill quits (~jackhill@marsh.hcoop.net) (Ping timeout: 250 seconds)
2021-04-25 21:16:19 × zva quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2021-04-25 21:16:46 × supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-04-25 21:16:52 → jackhill joins (~jackhill@marsh.hcoop.net)
2021-04-25 21:17:19 → aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net)
2021-04-25 21:18:52 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds)
2021-04-25 21:19:17 × Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection)
2021-04-25 21:20:23 × Enrico63 quits (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-25 21:20:31 × Alleria_ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 252 seconds)
2021-04-25 21:22:37 → Feuermagier joins (~Feuermagi@213.178.26.41)
2021-04-25 21:24:15 × aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving)
2021-04-25 21:25:24 × coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-25 21:25:39 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-utxhkfigbhneuqmd)
2021-04-25 21:30:22 → ech joins (~user@gateway/tor-sasl/ech)
2021-04-25 21:32:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-25 21:33:12 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-25 21:38:00 × LKoen quits (~LKoen@92.163.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-04-25 21:38:19 <remexre> does (fromIntegral . toInteger :: Word8 -> Word16) get optimized to a zero-extend?
2021-04-25 21:38:19 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-25 21:38:41 <remexre> and if not, are there primitives that do?
2021-04-25 21:38:56 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-04-25 21:39:38 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-25 21:40:47 × styledash quits (~styledash@157.230.173.136) (Quit: The Lounge - https://thelounge.chat)
2021-04-25 21:41:29 → styledash joins (~styledash@157.230.173.136)
2021-04-25 21:43:49 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-25 21:44:14 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-04-25 21:45:21 → pthariensflame joins (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b)
2021-04-25 21:46:16 <pavonia> remexre: Do you even need the fromInteger?
2021-04-25 21:46:20 × ixian quits (~mgold@terra.bitplane.org) (Quit: leaving)
2021-04-25 21:46:37 <remexre> oh, you're right, I don't need toInteger
2021-04-25 21:46:54 <int-e> @src fromIntegral
2021-04-25 21:46:55 <lambdabot> fromIntegral = fromInteger . toInteger
2021-04-25 21:46:57 <pavonia> Erm *to, yes
2021-04-25 21:47:11 <int-e> (a lie because of rewrite rules)
2021-04-25 21:47:50 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-04-25 21:49:12 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-25 21:49:30 × dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-04-25 21:49:40 <int-e> remexre: In the end, yes, it should be optimized to a zero-extend. Though it's not completely obvious even from the corresponding rewrite rule: https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/GHC/Word.hs#L418
2021-04-25 21:49:56 → fiedlr joins (~fiedlr@83.148.33.254)
2021-04-25 21:50:31 → Alleria joins (~textual@2603-7000-3040-0000-116a-d416-07d6-69e7.res6.spectrum.com)
2021-04-25 21:50:46 <remexre> okay, thanks!
2021-04-25 21:50:54 Alleria is now known as Guest14500
2021-04-25 21:51:18 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-04-25 21:53:07 × pthariensflame quits (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) ()
2021-04-25 21:53:54 × fendor quits (~fendor@178.115.128.12.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-04-25 21:57:00 × danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.0)
2021-04-25 21:58:36 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-25 21:59:15 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-04-25 21:59:35 → nehsou^ joins (nehsou@ip98-184-89-2.mc.at.cox.net)
2021-04-25 22:03:06 × pavonia quits (~user@unaffiliated/siracusa) (Read error: Connection reset by peer)
2021-04-25 22:05:21 ← edrx parts (~Eduardo@2804:56c:d2c0:6300:d28a:a35a:c563:afab) ("Killed buffer")
2021-04-25 22:05:26 × letmein quits (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Quit: letmein)
2021-04-25 22:05:57 → tempate joins (~tempate@unaffiliated/tempate)
2021-04-25 22:06:03 → letmein joins (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1)
2021-04-25 22:06:40 → pavonia joins (~user@unaffiliated/siracusa)
2021-04-25 22:07:31 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-25 22:07:37 × letmein quits (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Client Quit)
2021-04-25 22:07:38 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-25 22:07:44 <tempate> Why do I keep getting "Could not find module ‘Prelude'" ?
2021-04-25 22:07:54 <tempate> Have I missed an installation step?
2021-04-25 22:08:41 × petrus quits (~petrus@unaffiliated/petrus) (Quit: WeeChat 3.1)
2021-04-25 22:09:30 <tempate> oh, it's now working with "ghc -dynamic main.hs"
2021-04-25 22:10:35 <hpc> are you on arch?
2021-04-25 22:10:40 × HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: https://www.oglaf.com/archive/)
2021-04-25 22:12:25 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-04-25 22:13:43 × xff0x quits (~xff0x@2001:1a81:5378:d500:c8e4:3d2e:19af:2ab8) (Ping timeout: 260 seconds)
2021-04-25 22:14:01 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
←Prev  Next→
Page 1 .. 4598 4599 4600 4601 4602 4603 4604 4605 4606 4607 4608 .. 5022

All times are in UTC.