<edwardk> trying to figure out how to get a project building with eta on nix
<johnw> puffnfresh[m]: ping
<puffnfresh[m]> johnw: hey!!!!
<puffnfresh[m]> are my messages disappearing or something??
<johnw> yeah, one of them did, at least from my client
<johnw> but I saw the notification
<johnw> odd
<johnw> anyway
<johnw> Ed and I have a Haskell project
<johnw> that we'd like to build as an Eta project
<edwardk> i blame emacs
<johnw> but just using regular Nix stuff from the user's perspective
<johnw> so I want to hide etlas/sbt/whatever
<johnw> this is what I've started with:
<edwardk> basically what i'm trying to do is figure out a sort of minimal project setup where a user could download the thing and with nix installed build a thing with eta (that will ultimately use all the shiny new backpacky bits)
<edwardk> happy to start from basically "hello world" and incrementally add the bits i need
<johnw> how do I setup the buildPhase to use etlas to build, and how do I install the products so they are runnable after installation?
<puffnfresh[m]> with a lot of work
<puffnfresh[m]> it's something I'm going to spend many hours on
<puffnfresh[m]> one day
<johnw> any interest in said work?
<johnw> can we give you a virtual cookie?
<edwardk> the word 'one day' is somewhat concerning
<edwardk> clearly we need to do this jointly on twitch. :0
<johnw> I didn't quite see how that issues relates
<puffnfresh[m]> basically need to rewrite https://github.com/typelead/eta/blob/master/shake/Build.hs in Nix or at least modify it to install to the Nix store
<johnw> we can't copy from wherever it places the build products?
<johnw> i.e., buildPhase = ''etlas build ; cp -pR ... $out/...?''
<puffnfresh[m]> yeah that'll work
<puffnfresh[m]> Etlas downloads packages and patches them
<johnw> Ed and I are together, so eager, so close...
<puffnfresh[m]> so you'll have to do that in Nix
<johnw> oh
<johnw> hmmm
<johnw> i need an etlas builder?
<puffnfresh[m]> yeah pretty much
<johnw> this just became non-trivial really fast
<puffnfresh[m]> ideally we'd get this integrated with haskellPackages but I think that's super far off
<puffnfresh[m]> yeah sorry!
<puffnfresh[m]> I will do it, one day
<johnw> at this point, I must leave it up to you, Ed, and his supply of diet coke
<edwardk> ok, so basically this isn't going to work
<johnw> i would estimate that this sounds like two weeks of work
<puffnfresh[m]> I think that's a bit high, but yeah, it's not just a few hours
<johnw> that's 2 weeks + debugging
<johnw> i mean, it includes debugging time
* edwardk tries to figure out a way to get a week or two of puffnfresh's attention on the issue. ;)
<edwardk> the lack of something like this is pretty much why i went off on a succinct data structures tangent for the last stream rather than carrying on with abstract machines
<edwardk> i guess meanwhile, what i may do is experiment more with eta and just drop nix on the floor =(
<puffnfresh[m]> well I will try to get started on it tonight
<puffnfresh[m]> feel free to send me presents
<edwardk> poing me with an address and i'll send a case of beer. ;)
<edwardk> the only problem is that as you aren't tony the choice of beer is more complex than just 'try to find XXXX somewhere'
<puffnfresh[m]> nah that's my dad
philr has joined #nix-darwin
the has joined #nix-darwin
the has quit [Changing host]
the has joined #nix-darwin
the has quit [Excess Flood]
<johnw> puffnfresh[m]: how does the #if guard for an Eta project that also wants to work with Haskell work?
<puffnfresh[m]> I don't think Eta has a platform #define for some reason
Sonarpulse has quit [Ping timeout: 240 seconds]
ksx4system27 has joined #nix-darwin
<ksx4system27> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<ksx4system27> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<ksx4system27> Read what IRC investigative journalists have uncovered on the freenode pedophilia scandal https://encyclopediadramatica.rs/Freenodegate
<ksx4system27> A fascinating blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<edwardk> puffnfresh[m]: in etlas can i use an if impl(something to check?
macker824 has joined #nix-darwin
ksx4system27 has quit [Ping timeout: 256 seconds]
<puffnfresh[m]> was about to link you to your own issue https://github.com/typelead/etlas/issues/57
<puffnfresh[m]> impl(eta) exists
<edwardk> sweet
macker824 has quit [Remote host closed the connection]
<edwardk> =)
<edwardk> what version numbers does eta show for that>
<edwardk> are they like 7.10 and 8.2, etc. or did they renumber?
<edwardk> also i realize this is more #eta-lang relevant than nix-darwin, if we need to move the discussion
<puffnfresh[m]> I think it might be whatever eta --version reports
<edwardk> i can fake it given impl(eta) if needed i suppose
<edwardk> mostly just looking to upstream more of the patches from etlas into my own projects as a starting point for getting up to speed with eta
hamishmack has quit [Ping timeout: 248 seconds]
<edwardk> thanks!
<carlosdagos> > edwardk: i blame emacs
<carlosdagos> it was a good guess, it's almost always emacs :P
clever has quit [Ping timeout: 264 seconds]
jtojnar has quit [Ping timeout: 265 seconds]
jtojnar has joined #nix-darwin
<johnw> puffnfresh[m]: would you be willing to upload your eta-nix binaries to Cachix?
<puffnfresh[m]> johnw: yeah sure thing, I also have some progress on more Nix for Eta
<johnw> cool; Ed's poor machine is still building ghc since early this morning
<puffnfresh[m]> lol bugger alright
<johnw> gotta run now, back online in a half hour
<puffnfresh[m]> I'll be asleep by then, night!!
johnw has quit [Ping timeout: 240 seconds]
goodwill_ has joined #nix-darwin
ben has quit [*.net *.split]
coffeecupp__ has quit [*.net *.split]
goodwill has quit [*.net *.split]
jcrben has quit [*.net *.split]
mitchty has quit [*.net *.split]
goodwill_ is now known as goodwill
jcrben has joined #nix-darwin
mitchty has joined #nix-darwin
johnw has joined #nix-darwin
johnw has quit [Ping timeout: 260 seconds]
johnw has joined #nix-darwin
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nix-darwin
Sonarpulse has joined #nix-darwin
johnw has quit [Ping timeout: 260 seconds]
<ejpcmac> Hi! Why are `environment.shellAliases` and `programs.zsh.variables` put in the `/etc/zprofile` instead of the `/etc/zshrc`? As a result, when I do `sudo su`, I loose these aliases and variables in the shell.
<LnL> sudo su - gives you a login shell which will load zprofile
johnw has joined #nix-darwin
<johnw> hmm.. I still see this from time to time:
<johnw> Setup: ./haddock-library.cabal:5: Parse of field 'license-file' failed.
<johnw>
<johnw> edwardk: did you get my ghc drop?
<johnw> i think by now you wouldn't need it anymore
<johnw> LnL: unstable is working again, now without strictDeps!
<LnL> yeah
<edwardk> johnw: it is still building actually =)
<johnw> edwardk: did you get my command to seed your store?
<johnw> curl -s http://ftp.newartisans.com/pub/ghc.closure.xz | xz -dc | nix-store --import
carlosdagos has quit [Ping timeout: 256 seconds]
mpickering has quit [Ping timeout: 256 seconds]
carlosdagos has joined #nix-darwin
mpickering has joined #nix-darwin
nD5Xjz has quit [Ping timeout: 260 seconds]
nD5Xjz has joined #nix-darwin
philr has quit [Ping timeout: 244 seconds]
matthewbauer has joined #nix-darwin
<johnw> LnL: new failure today: /nix/store/9wsb4ajgy4853bgf100brh1nbmy4f1w3-darwin-system-18.09pre-git/activate: line 209: networksetup: command not found
<johnw> this happens after "configuring networking..."
<LnL> :o
<LnL> I just merged a bunch of stuff
<johnw> and only *just* started, which is weird
<johnw> ah
<johnw> bbiab
<LnL> I wish I could setup proper tests
johnw has quit [Ping timeout: 265 seconds]
<LnL> should be fixed
pjan has quit [Quit: さようなら]
johnw has joined #nix-darwin
<johnw> How do I sign the output from nix-store --export?
<johnw> Ed is trying to import it but it's complaining about the key being unknown
<johnw> or to ask it another way
<johnw> how do I get a closure from my machine to another?
hamishmack has joined #nix-darwin
johnw has quit [Quit: ZNC - http://znc.in]
johnw has joined #nix-darwin