Logs: freenode/#haskell
| 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.