Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 273 274 275 276 277 278 279 280 281 282 283 .. 5022
— 502,152 events total
2020-09-28 17:51:41 <AWizzArd> I only have an Executable section defined, and multiple .hs files. Is that a correct setup for Cabal?
2020-09-28 17:51:59 <AWizzArd> Or should I have only my Main.hs under `Executable` and move everything else into a `Library`?
2020-09-28 17:52:05 × hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-nddutmibnpfeonkf) (Quit: killed)
2020-09-28 17:52:48 <sm[m]> AWizzArd: either is fine
2020-09-28 17:52:49 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 17:53:11 <sm[m]> re that warning, I think that's a known cabal bug, you'll find it in the issue tracker
2020-09-28 17:53:16 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-28 17:53:47 × knupfer quits (~Thunderbi@200116b8245ab000e96e2ee7c428c349.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-09-28 17:53:54 <AWizzArd> sm[m]: so even with this setup of having three .hs files, all under src/ and only having an `executable` section – this should allow me to use the repl without the `missing-home-modules` warning?
2020-09-28 17:54:00 <sm[m]> at least, there is a situation in which it gives a similar warning, not sure if it's the same
2020-09-28 17:54:51 <sm[m]> heh I put my foot in it
2020-09-28 17:55:18 → Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch)
2020-09-28 17:56:18 <sm[m]> @where pastecabalstack perhaps, AWizzArd
2020-09-28 17:56:18 <lambdabot> Help us help you: at https://paste.tomsmeding.com, https://gist.github.com or https://termbin.com, please paste your failing command, full output, and .cabal, package.yaml and/or stack.yaml files
2020-09-28 17:57:51 <monochrom> AWizzArd: "other-modules:"
2020-09-28 17:57:51 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 17:57:57 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-28 17:57:57 <AWizzArd> sm[m]: https://dpaste.com/F4DZ7J7J5
2020-09-28 17:58:04 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 17:58:12 <AWizzArd> Interestingly: cabal new-build accepts my other-modules.
2020-09-28 17:58:44 <AWizzArd> I can temporarily remove one of my other-module entries and `cabal new-build` will complain. But when both are present then there are zero warnings.
2020-09-28 17:58:52 <AWizzArd> Only `cabal new-repl` seems to not find them.
2020-09-28 17:59:03 <monochrom> Ah I didn't read the whole question. I don't know.
2020-09-28 18:00:01 × robbiet480 quits (~robbiet48@84.39.117.57) ()
2020-09-28 18:00:48 → hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-iqydoavyrkykkzgo)
2020-09-28 18:01:33 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Remote host closed the connection)
2020-09-28 18:01:46 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 246 seconds)
2020-09-28 18:02:06 <sm[m]> AWizzArd: does cabal new-repl -v give any clues ?
2020-09-28 18:02:50 <sm[m]> my other-modules does not have commas, maybe that's breaking it ?
2020-09-28 18:03:20 → knupfer joins (~Thunderbi@200116b8245ab00028129ffffe1c7ec1.dip.versatel-1u1.de)
2020-09-28 18:03:29 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-09-28 18:03:35 → knupfer1 joins (~Thunderbi@i59F7FF46.versanet.de)
2020-09-28 18:03:47 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-09-28 18:04:02 × keteskyl quits (~keteskyl@2600:6c64:7b7f:fa42:8860:7453:7229:ac21) (Ping timeout: 260 seconds)
2020-09-28 18:04:25 <sm[m]> it looks like commas are optional in other-modules (though not in build-depends)
2020-09-28 18:05:09 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 18:05:57 <AWizzArd> The -v doesn’t show anything meaningful. And with or without comma also doesn’t make the warning go away. Strange.
2020-09-28 18:06:31 <AWizzArd> I also just tried `cabal repl`. It behaves the same was as `cabal new-repl`.
2020-09-28 18:06:53 <sm[m]> perhaps a bug report
2020-09-28 18:07:08 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection)
2020-09-28 18:07:25 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 18:07:25 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:07:26 × knupfer quits (~Thunderbi@200116b8245ab00028129ffffe1c7ec1.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-09-28 18:07:26 knupfer1 is now known as knupfer
2020-09-28 18:07:55 <dolio> If you're using the current cabal-install, then `cabal repl` is the same as `cabal new-repl`.
2020-09-28 18:07:56 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 18:08:07 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 18:08:57 <AWizzArd> dolio: I am using a cabal-install in a pinned Nix version, where it gives me Cabal 2.4.1.0
2020-09-28 18:09:12 <dolio> Ah, okay.
2020-09-28 18:09:55 <AWizzArd> Maybe in some other project I will be using a newer version of Cabal and possibly that behaviour is no longer there.
2020-09-28 18:10:25 <maerwald> why is stack so slow at cloning repos?
2020-09-28 18:10:45 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 18:11:22 <maerwald> and: it seems to clone the same repe multiple times if you use subidrs (cabal doesn't)
2020-09-28 18:12:13 → jdgr joins (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139)
2020-09-28 18:12:53 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Client Quit)
2020-09-28 18:13:19 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 18:13:33 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Client Quit)
2020-09-28 18:14:01 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-28 18:14:07 <dolio> Well, it'd probably be good to check before bothering with filing a bug, because filing one against old versions of cabal probably won't do much.
2020-09-28 18:14:07 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-09-28 18:14:57 → CaptainFox[m] joins (onianimatr@gateway/shell/matrix.org/x-afvmemlusngzinxu)
2020-09-28 18:15:19 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 18:15:52 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 18:17:01 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-28 18:17:18 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-28 18:17:33 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:17:56 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 18:19:51 <AWizzArd> dolio: Yes. It also seems to be working, and it’s just this warning that keeps appearing.
2020-09-28 18:20:29 × softwarm quits (4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 245 seconds)
2020-09-28 18:21:16 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2020-09-28 18:21:19 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 258 seconds)
2020-09-28 18:21:54 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
2020-09-28 18:22:04 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds)
2020-09-28 18:22:13 → Andy2011Zoe joins (~Andy2011Z@185.204.1.185)
2020-09-28 18:22:25 <CaptainFox[m]> Is this channel active?
2020-09-28 18:22:29 <pjb> Yes.
2020-09-28 18:22:34 <CaptainFox[m]> Awesome!
2020-09-28 18:25:21 → chaosmasttter joins (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de)
2020-09-28 18:28:00 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:28:05 → mu__ joins (~mu@unaffiliated/mu)
2020-09-28 18:28:13 × ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-09-28 18:29:57 × Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-09-28 18:30:43 × Lycurgus quits (~niemand@98.4.96.130) (Quit: Exeunt)
2020-09-28 18:31:16 × lucid_0x80 quits (~lucid_0x8@85.132.71.57) (Ping timeout: 272 seconds)
2020-09-28 18:33:02 → isovector1 joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-09-28 18:33:22 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-09-28 18:33:44 <sm[m]> AWizzArd: what dolio said.. I didn't know your cabal was old
2020-09-28 18:34:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 18:35:25 <ddellacosta> Is there a good resource for learning about Haskell/GHC and type system properties like soundness, totality, completeness, (or lack thereof, why certain choices were made) etc.?
2020-09-28 18:37:08 <ddellacosta> I'm not finding much in the Haskell 2010 report so far, but may be looking in the wrong place
2020-09-28 18:37:25 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:37:50 <dolio> Types and Programming Languages?
2020-09-28 18:37:59 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-28 18:38:05 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 18:38:14 <Rembane> +1
2020-09-28 18:38:59 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 18:39:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-28 18:39:51 <ddellacosta> okay, I didn't think that was about Haskell in particular, but I'll take a look. I guess some of this is knowing that e.g. because it uses Hindley Milner it has specific properties? I was just hoping to find something that discusses this stuff in the context of Haskell specifically
2020-09-28 18:40:06 <dolio> It's not about Haskell.
2020-09-28 18:41:22 × TooDifficult quits (~TooDiffic@139.59.59.230) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 273 274 275 276 277 278 279 280 281 282 283 .. 5022

All times are in UTC.