Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 723 724 725 726 727 728 729 730 731 732 733 .. 5022
502,152 events total
2020-10-19 04:11:48 <koz_> Would you be able to tell me what's up with that dsal?
2020-10-19 04:12:32 <dsal> nixos itself makes my life much better. I've not really figured out the whole development mentality yet, though. But I do have the ability to build stuff in various places and deploy it in others, so that's nice.
2020-10-19 04:13:26 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-19 04:13:33 <dsal> I don't know anything about musl. (just had to look it up to see what you were talking about). I'd think creating a derivation with just those parts you care about would be more straightforward in nix than anywhere else, but I've not tried. I'm pretty low end on my haskell.
2020-10-19 04:13:36 GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-19 04:13:37 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-19 04:13:37 GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-19 04:13:47 <koz_> This is 100% a Nix problem.
2020-10-19 04:14:04 <koz_> dsal: https://gist.github.com/kozross/73ca7429f23852ba5650a1a67524200a
2020-10-19 04:14:13 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-19 04:14:27 <koz_> Key weirdness: https://gist.github.com/kozross/73ca7429f23852ba5650a1a67524200a#file-error-L159
2020-10-19 04:16:04 × plutoniix quits (~q@ppp-223-24-94-226.revip6.asianet.co.th) (Read error: Connection reset by peer)
2020-10-19 04:16:44 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
2020-10-19 04:17:13 Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-19 04:17:19 vicfred_ joins (~vicfred@unaffiliated/vicfred)
2020-10-19 04:17:22 patrick1 joins (~tarpk@ool-182dc9b3.dyn.optonline.net)
2020-10-19 04:18:46 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 258 seconds)
2020-10-19 04:20:01 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-10-19 04:20:26 <former_ocaml_use> installing with ghcup fixed my problem :O thanks everyone!!
2020-10-19 04:20:27 codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-10-19 04:20:28 × vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 272 seconds)
2020-10-19 04:20:39 mpiechotka joins (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net)
2020-10-19 04:20:57 <koz_> former_ocaml_use: No worries. 'ghcup list' is one thing that you may find helpful. :D
2020-10-19 04:21:38 × Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.102) (Ping timeout: 256 seconds)
2020-10-19 04:25:02 × isovector1 quits (~isovector@172.103.217.169) (Ping timeout: 256 seconds)
2020-10-19 04:26:33 × mpiechotka quits (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) (Quit: mpiechotka)
2020-10-19 04:28:59 × dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2020-10-19 04:32:38 thir joins (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de)
2020-10-19 04:37:54 <dsal> koz_: My computer's really very slow. I started that a long time ago. Between having an incredibly slow computer and a saturated network connection, it's taking me a while to reproduce your error. I'm very much not an expert, though, so I'll probably just be like "yeah, I got that same error and also don't know what I'm doing."
2020-10-19 04:38:06 <koz_> OK, don't worry about it then.
2020-10-19 04:38:33 <dsal> There are folks in #nixos who know things, though. It's a bit hit or miss. I have really obscure questions that people who don't know the answers to helpfully try to answer.
2020-10-19 04:38:39 <koz_> I found this, which may be somewhat enlightening: https://github.com/srid/neuron/blob/master/static.nix
2020-10-19 04:38:56 Whez joins (~textual@2a01:e0a:21f:1060:45e3:a6ce:25be:e68)
2020-10-19 04:38:56 × Whez quits (~textual@2a01:e0a:21f:1060:45e3:a6ce:25be:e68) (Client Quit)
2020-10-19 04:39:01 <koz_> This leans on a fork of nixpkgs, so I might try that and see if it gets me someplace.
2020-10-19 04:39:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-19 04:40:05 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-19 04:40:27 × thir quits (~thir@p200300f27f2f0100d058ed1e9e148e98.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-19 04:40:54 × Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds)
2020-10-19 04:41:04 plutoniix joins (~q@ppp-27-55-70-11.revip3.asianet.co.th)
2020-10-19 04:42:26 Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
2020-10-19 04:45:02 day_ joins (~Unknown@unaffiliated/day)
2020-10-19 04:45:10 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds)
2020-10-19 04:45:36 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-19 04:47:15 <former_ocaml_use> anyone here a haskell-mode user? in ocaml you can check the type by cursoring over it and C-c t is there an equivalent?
2020-10-19 04:47:47 aimee2 joins (~aimee@2605:a601:a671:4a00:443c:12b3:7e6a:e4a9)
2020-10-19 04:47:55 <aimee2> >
2020-10-19 04:48:08 aimee2 is now known as damien
2020-10-19 04:48:20 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-10-19 04:48:21 day_ is now known as day
2020-10-19 04:49:50 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-19 04:50:00 Tario joins (~Tario@201.192.165.173)
2020-10-19 04:50:47 justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-19 04:52:09 christo joins (~chris@81.96.113.213)
2020-10-19 04:53:07 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-19 04:54:35 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 04:55:55 takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-10-19 04:56:08 christo joins (~chris@81.96.113.213)
2020-10-19 04:56:53 mmkarakaya joins (b0584711@gateway/web/cgi-irc/kiwiirc.com/ip.176.88.71.17)
2020-10-19 04:57:47 × former_ocaml_use quits (3263cbdb@50.99.203.219) (Remote host closed the connection)
2020-10-19 04:58:06 former_ocaml_use joins (3263cbdb@50.99.203.219)
2020-10-19 04:58:18 da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-19 04:59:18 <former_ocaml_use> uh this might be a dumb question, but does anyone know where cabal puts the executable? I see a main.o file in the project root, but nothing else
2020-10-19 04:59:41 <koz_> former_ocaml_use: You used cabal new-build I assume? Or cabal build on recent cabal?
2020-10-19 05:01:09 bartemius joins (~bartemius@109-252-19-142.nat.spd-mgts.ru)
2020-10-19 05:01:24 <former_ocaml_use> cabal new-build
2020-10-19 05:01:30 <bartemius> Hi, everyone!)
2020-10-19 05:01:49 <former_ocaml_use> hi!
2020-10-19 05:01:59 <koz_> former_ocaml_use: It'll be someplace in dist-newstyle.
2020-10-19 05:02:01 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2020-10-19 05:02:10 <koz_> Named the same way as the name given in the executable stanza in your cabal file.
2020-10-19 05:02:19 <koz_> bartemius: Yo.
2020-10-19 05:02:25 damien parts (~aimee@2605:a601:a671:4a00:443c:12b3:7e6a:e4a9) ("WeeChat 2.8")
2020-10-19 05:03:14 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-19 05:03:32 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 05:06:14 isovector1 joins (~isovector@172.103.216.166)
2020-10-19 05:07:00 bartemius is now known as bartemius2
2020-10-19 05:07:53 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-19 05:08:05 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-19 05:08:43 × isovector1 quits (~isovector@172.103.216.166) (Client Quit)
2020-10-19 05:09:07 emmanuel_erc joins (~user@cpe-74-71-187-227.nyc.res.rr.com)
2020-10-19 05:09:38 bartemius2 is now known as bartemius
2020-10-19 05:11:54 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-19 05:13:16 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-19 05:13:44 × bartemius quits (~bartemius@109-252-19-142.nat.spd-mgts.ru) ()
2020-10-19 05:14:02 bartemius joins (~bartemius@109.252.19.142)
2020-10-19 05:16:36 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-19 05:21:20 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-19 05:27:28 × kupi quits (uid212005@gateway/web/irccloud.com/x-gbjfbdizrnfenkgr) (Quit: Connection closed for inactivity)
2020-10-19 05:28:27 × klixto quits (~klixto@130.220.8.132) (Quit: WeeChat 2.9)
2020-10-19 05:30:37 <sm[m]> cabal exec -- which EXE
2020-10-19 05:30:59 proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-19 05:34:15 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-19 05:34:36 polyrain joins (~polyrain@2001:8003:e501:6901:3dad:26f:cafa:b715)
2020-10-19 05:36:06 ensyde_ joins (~ensyde@2600:1702:2e30:1a40:ec42:dd4:da87:efd)
2020-10-19 05:37:22 × nschoe quits (~quassel@2a01:e0a:3c4:c7b0:6d74:2078:bb8:b17d) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2020-10-19 05:38:53 × ensyde quits (~ensyde@2600:1702:2e30:1a40:e4b3:9206:daf1:55c1) (Ping timeout: 272 seconds)
2020-10-19 05:38:54 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2020-10-19 05:40:29 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-19 05:40:42 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: Leaving)

All times are in UTC.