Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-05-18 15:50:47 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-18 15:51:15 × maylee quits (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de) (Remote host closed the connection)
2021-05-18 15:52:22 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-18 15:52:38 × mastarija_ quits (~mastarija@31.217.11.236) (Ping timeout: 268 seconds)
2021-05-18 15:52:43 × nineonine quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 260 seconds)
2021-05-18 15:54:11 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-05-18 15:54:43 × proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 265 seconds)
2021-05-18 15:56:35 star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-18 15:58:06 Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-05-18 15:58:24 LKoen joins (~LKoen@2a01cb0407597a00fc35f48c2db1ad23.ipv6.abo.wanadoo.fr)
2021-05-18 15:58:48 × frozenErebus quits (~frozenEre@94.129.65.28) (Ping timeout: 268 seconds)
2021-05-18 16:00:02 <Zemyla> Okay, I intalled Haskell 8.10.4, which cabal doesn't have sandboxing. I installed StateVar, but I can't load it in a GHCi session.
2021-05-18 16:01:05 thelounge04076 joins (69702d98@gateway/web/thelounge/ip.105.112.45.152)
2021-05-18 16:01:13 <monochrom> "cabal install --lib" is the new way to make a library available to raw ghci.
2021-05-18 16:01:22 × thelounge04076 quits (69702d98@gateway/web/thelounge/ip.105.112.45.152) (Client Quit)
2021-05-18 16:01:31 <monochrom> and raw ghc
2021-05-18 16:01:42 <Uniaika> personally I use 'cabal repl --build-depends StateVar'
2021-05-18 16:01:45 <monochrom> raw = does not go through cabal
2021-05-18 16:02:15 <Zemyla> Okay, figured it out.
2021-05-18 16:02:55 <geekosaur> there's also ---package-env which is more or less the replacement for sandboxes
2021-05-18 16:03:11 <geekosaur> I think thta's the option
2021-05-18 16:03:25 stree joins (~stree@68.36.8.116)
2021-05-18 16:03:36 <geekosaur> yes
2021-05-18 16:04:25 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-18 16:05:12 jakalx joins (~jakalx@base.jakalx.net)
2021-05-18 16:05:33 <Zemyla> I wish that static values in classes were of type Tagged a Int or Const Int a rather than a -> Int or even proxy a -> Int.
2021-05-18 16:06:13 <Zemyla> I feel like it exposes more opportunities for optimization.
2021-05-18 16:06:31 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-18 16:07:42 <boxscape> in the future with https://github.com/ghc-proposals/ghc-proposals/pull/281 you're likely to see things like sizeOf :: forall a -> Storable a => Int
2021-05-18 16:07:53 <boxscape> called with `sizeOf Bool`, for example
2021-05-18 16:07:58 <boxscape> if that proposal gets accepted
2021-05-18 16:08:45 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-18 16:09:54 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-05-18 16:10:30 <Zemyla> Proposal: Bits has a class method called withFiniteBits :: Bits a => (FiniteBits a => r) -> r -> r. Because every Bits instance has to know whether it's a FiniteBits anyway.
2021-05-18 16:11:20 star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-18 16:11:30 × Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-05-18 16:11:37 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-05-18 16:12:13 Techcable joins (~Techcable@168.235.93.147)
2021-05-18 16:12:19 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2021-05-18 16:12:27 Thra11 joins (Thra11@gateway/vpn/protonvpn/thra11)
2021-05-18 16:13:44 × Thra11 quits (Thra11@gateway/vpn/protonvpn/thra11) (Client Quit)
2021-05-18 16:14:20 <Zemyla> Where do I go to make that proposal?
2021-05-18 16:16:17 <geekosaur> https://wiki.haskell.org/Library_submissions
2021-05-18 16:16:50 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) (Quit: Leaving)
2021-05-18 16:17:00 sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca)
2021-05-18 16:17:27 <boxscape> that links the old issue tracker though, https://wiki.haskell.org/Core_Libraries_Committee links to https://gitlab.haskell.org/ghc/ghc/-/issues
2021-05-18 16:17:29 <boxscape> (for base)
2021-05-18 16:17:42 × cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Remote host closed the connection)
2021-05-18 16:18:06 cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-18 16:19:11 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-05-18 16:19:15 ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-18 16:20:43 × xff0x quits (~xff0x@2001:1a81:5398:2600:1f9a:3035:a7ff:492) (Ping timeout: 260 seconds)
2021-05-18 16:21:38 xff0x joins (~xff0x@2001:1a81:5398:2600:5b17:a639:d013:bf5d)
2021-05-18 16:21:39 × p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 245 seconds)
2021-05-18 16:23:01 p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2021-05-18 16:23:42 nineonine joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8)
2021-05-18 16:24:10 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-18 16:24:41 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-18 16:24:48 proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-18 16:28:43 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2021-05-18 16:29:09 × nineonine quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 245 seconds)
2021-05-18 16:29:11 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-18 16:31:48 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-05-18 16:32:48 zaquest joins (~notzaques@5.128.210.178)
2021-05-18 16:34:19 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-18 16:34:49 tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-05-18 16:35:45 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-18 16:36:31 fendor_ joins (~fendor@77.119.128.236.wireless.dyn.drei.com)
2021-05-18 16:39:01 × fendor quits (~fendor@178.165.129.230.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-05-18 16:39:24 × xkapastel quits (uid17782@gateway/web/irccloud.com/x-mvdxvxychnvjhyrb) (Quit: Connection closed for inactivity)
2021-05-18 16:40:53 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca) (Remote host closed the connection)
2021-05-18 16:41:11 sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-205.dsl.bell.ca)
2021-05-18 16:46:24 ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-18 16:47:16 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-18 16:49:11 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-05-18 16:49:19 × ddellacosta quits (~ddellacos@2607:fb90:7bd8:528c:3571:35ed:63bd:586d) (Ping timeout: 250 seconds)
2021-05-18 16:50:01 × argento quits (~argent0@168.227.96.26) (Ping timeout: 252 seconds)
2021-05-18 16:52:11 × ystael quits (~ystael@130.44.151.113) (Ping timeout: 240 seconds)
2021-05-18 16:53:11 ystael joins (~ystael@246.sub-174-196-201.myvzw.com)
2021-05-18 16:53:11 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-18 16:56:01 nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-18 16:57:41 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-05-18 16:57:54 × xff0x quits (~xff0x@2001:1a81:5398:2600:5b17:a639:d013:bf5d) (Ping timeout: 245 seconds)
2021-05-18 16:58:51 xff0x joins (~xff0x@2001:1a81:5398:2600:34a3:dc49:97fe:469a)
2021-05-18 16:58:55 hexfive joins (~hexfive@50.35.83.177)
2021-05-18 16:58:57 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-ktaxminaewuooulr) (Quit: Connection closed for inactivity)
2021-05-18 17:00:41 ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-18 17:02:26 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-18 17:02:37 × kuribas quits (~user@ptr-25vy0i9wup0349cbbey.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-18 17:02:40 star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-18 17:04:24 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-18 17:05:54 × michalz quits (~user@185.246.204.56) (Remote host closed the connection)
2021-05-18 17:07:11 NImNtNineVlt joins (~NImNtNine@modemcable159.116-21-96.mc.videotron.ca)
2021-05-18 17:08:31 altern joins (~altern@altern.corbina.com.ua)
2021-05-18 17:08:38 justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2021-05-18 17:09:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-18 17:09:24 <altern> Could someone please help with the SO question https://stackoverflow.com/questions/67571584/no-instance-for-monadresource-io-arising-from-a-use-of-writeblob/67576166 ? Thanks!
2021-05-18 17:10:08 Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:ccc3:d023:842c:d65b)
2021-05-18 17:10:11 × ystael quits (~ystael@246.sub-174-196-201.myvzw.com) (Ping timeout: 240 seconds)
2021-05-18 17:11:50 <boxscape> > case () of {_ | False, undefined -> 0; _ -> 1} -- is this guaranteed to be 1 rather than bottom?

All times are in UTC.