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