Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 823 824 825 826 827 828 829 830 831 832 833 .. 5022
— 502,152 events total
2020-10-23 17:06:47 <merijn> Which (at least claims) to work on anything later than 10.7
2020-10-23 17:07:05 <Guest_47> aha
2020-10-23 17:07:09 <Guest_47> cheers, I'll try that
2020-10-23 17:07:31 <merijn> Guest_47: It's just a matter of "./configure --prefix=whatever/path/you/want && make install"
2020-10-23 17:07:54 → kadoban joins (kadobanmat@gateway/shell/matrix.org/x-ibzwjrmlfzihcpnq)
2020-10-23 17:08:02 → themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-bqmyhbzuevubqaxn)
2020-10-23 17:08:11 → sm[m] joins (simonmicma@gateway/shell/matrix.org/x-tilmtmvnszzwjtcv)
2020-10-23 17:08:13 → domenkozar[m] joins (domenkozar@NixOS/user/domenkozar)
2020-10-23 17:08:21 <merijn> Ah, I'm not sure if cabal-install has prebuilt binaries for that, though, although there should be a bootstrap script to compile it with just GHC installed
2020-10-23 17:08:32 → mikr[m] joins (mikrdavral@gateway/shell/matrix.org/x-jnlucypbifmucvfy)
2020-10-23 17:09:16 <__monty__> (If all else fails, nixpkgs has both GHC and cabal-install cached so you could install them with nix.)
2020-10-23 17:09:19 → sureyeaah joins (shauryab98@gateway/shell/matrix.org/x-yafeivvctuhylrnm)
2020-10-23 17:10:24 <__monty__> Though I guess brew should have both too.
2020-10-23 17:12:02 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-23 17:14:09 × thir quits (~thir@p4febc6a5.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-23 17:14:56 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-23 17:16:05 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-23 17:16:16 × texasmynsted quits (~texasmyns@185.240.246.92) ()
2020-10-23 17:17:31 → conal joins (~conal@64.71.133.70)
2020-10-23 17:21:43 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-23 17:22:22 → erolm_a joins (~erolm_a@62.18.213.68)
2020-10-23 17:22:29 × vilpan quits (~0@mail.elitnet.lt) (Quit: Leaving.)
2020-10-23 17:22:41 → rotaerk joins (rotaerk@2600:3c02::f03c:91ff:fe70:4a45)
2020-10-23 17:23:35 → thir joins (~thir@p4febc6a5.dip0.t-ipconnect.de)
2020-10-23 17:23:55 → dale joins (dale@unaffiliated/dale)
2020-10-23 17:24:03 → seanvert joins (~user@177.84.244.242)
2020-10-23 17:24:22 → dumptruckman joins (dumptruckm@2600:3c02::f03c:91ff:fe6e:2cfd)
2020-10-23 17:24:30 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-mwjmzzijsisquogc)
2020-10-23 17:24:54 × jespada quits (~jespada@90.254.243.98) (Quit: Leaving)
2020-10-23 17:26:24 → howdoi joins (uid224@gateway/web/irccloud.com/x-giahkircsluozbqw)
2020-10-23 17:27:15 × rotaerk quits (rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 244 seconds)
2020-10-23 17:27:49 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2020-10-23 17:27:58 × thir quits (~thir@p4febc6a5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-23 17:28:11 → thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-23 17:28:22 → cohn joins (~noone@unaffiliated/cohn)
2020-10-23 17:29:15 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2020-10-23 17:29:27 <maerwald> yes, install half another OS just to get GHC :p
2020-10-23 17:29:49 → denisse joins (~spaceCat@gateway/tor-sasl/alephzer0)
2020-10-23 17:30:00 <monsterchrom> I was procratinating ghcjs because of that. :)
2020-10-23 17:30:30 × raym quits (~ray@115.187.50.31) (Quit: leaving)
2020-10-23 17:31:10 → cantstanya joins (~chatting@gateway/tor-sasl/cantstanya)
2020-10-23 17:31:22 <jtmar> dumb question: is there any way to get this to work? `data U (a :: ()) where { U :: U (() :: ()) }` It fails with "Expected kind ‘()’, but ‘()’ has kind ‘*’"
2020-10-23 17:31:24 <maerwald> I bought 16GB more ram and 250GB more disk space, just so I can run a nix expression, which runs some stuff you could do in 50 LOC bash
2020-10-23 17:31:35 → thir_ joins (~thir@p200300f27f19de001ce90606181a98e7.dip0.t-ipconnect.de)
2020-10-23 17:31:39 <maerwald> (but it's reproducible)
2020-10-23 17:31:42 → andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2020-10-23 17:32:50 <maerwald> when it doesn't OOM out, it works well
2020-10-23 17:33:31 × coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-23 17:34:24 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-10-23 17:34:27 × seanvert quits (~user@177.84.244.242) (Remote host closed the connection)
2020-10-23 17:34:29 × thir quits (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-23 17:34:34 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-23 17:34:34 <yushyin> ah yes, I know that problem, but just with cabal build :P
2020-10-23 17:34:51 → seanvert joins (~user@177.84.244.242)
2020-10-23 17:35:50 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-10-23 17:36:27 hackage prolude 0.0.0.4 - ITProTV's custom prelude https://hackage.haskell.org/package/prolude-0.0.0.4 (saramuse)
2020-10-23 17:36:55 → Tario joins (~Tario@201.192.165.173)
2020-10-23 17:37:41 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-23 17:38:32 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-23 17:39:10 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-23 17:39:34 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-10-23 17:40:41 <monsterchrom> data U (a :: ()) where { U :: U '() }
2020-10-23 17:43:42 × dhil quits (~dhil@openvpn-125-1027.inf.ed.ac.uk) (Ping timeout: 260 seconds)
2020-10-23 17:44:35 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-23 17:46:00 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-23 17:46:26 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-23 17:46:34 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-23 17:46:59 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-10-23 17:48:43 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 258 seconds)
2020-10-23 17:49:22 → apoc joins (~apoc@april-fools/2014/ninth/apoc)
2020-10-23 17:49:56 × Guest_47 quits (c04c085e@client-8-94.eduroam.oxuni.org.uk) (Remote host closed the connection)
2020-10-23 17:51:42 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-23 17:52:34 → jbox joins (~atlas@unaffiliated/jbox)
2020-10-23 17:54:22 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-23 17:56:16 <jtmar> oh, yeah, single quotes, right. thanks.
2020-10-23 17:58:11 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-23 17:58:43 <monsterchrom> I think basically the parser stage doesn't have access to type/kind checking, so when it sees "X :: Y", it cannot infer "since Y is not Type, I see what you mean by X".
2020-10-23 18:00:01 × robotadam1 quits (~robotadam@154.13.1.56) ()
2020-10-23 18:00:55 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2020-10-23 18:02:50 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-23 18:03:40 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-23 18:04:40 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-23 18:05:19 × apoc quits (~apoc@april-fools/2014/ninth/apoc) (Changing host)
2020-10-23 18:05:19 → apoc joins (~apoc@bridge.mattzq.com)
2020-10-23 18:06:05 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-23 18:09:00 <__monty__> maerwald: Color me skeptical. I've run NixOS just fine with 2GB RAM.
2020-10-23 18:09:08 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-23 18:10:22 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-23 18:10:49 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-23 18:11:02 <maerwald> __monty__: yes, I have an expression that needs 6GB of memory (not the stuff it builds/compiles, but the nix-build process itself)
2020-10-23 18:11:12 <maerwald> that's some nice memory leak
2020-10-23 18:11:44 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-23 18:12:09 <__monty__> Then "I bought 16 GB more RAM" is very misleading.
2020-10-23 18:12:29 → chaosmasttter joins (~chaosmast@p200300c4a7138f0100d84ef38a79333e.dip0.t-ipconnect.de)
2020-10-23 18:13:34 → emmanuel_erc joins (~user@2604:2000:1382:ce03:e840:9069:29cf:ab15)
2020-10-23 18:13:35 → rotaerk joins (rotaerk@2600:3c02::f03c:91ff:fe70:4a45)
2020-10-23 18:13:56 <maerwald> the other half was for hls
2020-10-23 18:14:07 × britva quits (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep)
2020-10-23 18:14:10 <maerwald> but that's crashing now most of the time, so I have free ram for nix
2020-10-23 18:14:23 → isovector1 joins (~isovector@172.103.216.166)
←Prev  Next→
Page 1 .. 823 824 825 826 827 828 829 830 831 832 833 .. 5022

All times are in UTC.