Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 964 965 966 967 968 969 970 971 972 973 974 .. 5022
— 502,152 events total
2020-10-30 21:46:11 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-30 21:47:26 × hiroaki quits (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2020-10-30 21:47:27 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-30 21:49:18 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-30 21:50:04 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-30 21:51:33 → conal joins (~conal@64.71.133.70)
2020-10-30 21:51:58 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-30 21:52:22 → conal joins (~conal@64.71.133.70)
2020-10-30 21:52:44 <monsterchrom> Amazing, my program that uses HXT written in 2015 still builds today.
2020-10-30 21:52:46 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-30 21:53:00 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-30 21:53:02 <jbox> I've been trying to get a haskell dev environment set up
2020-10-30 21:53:12 <jbox> should I use ghcup or stack to install everything?
2020-10-30 21:53:33 → conal joins (~conal@64.71.133.70)
2020-10-30 21:53:33 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-30 21:53:56 → conal joins (~conal@64.71.133.70)
2020-10-30 21:53:58 <maerwald> are you a beginner? What platform?
2020-10-30 21:54:09 → acidjnk_new joins (~acidjnk@p200300d0c72260940830e3b8f3af47a8.dip0.t-ipconnect.de)
2020-10-30 21:54:20 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-30 21:54:40 <taio> Thanks for the answer. I know Num is a type class. my question was about what to call this function, e.g. a constraint constructor?
2020-10-30 21:55:32 <dolio> You should only call it a constructor if it makes sense to match on it with e.g. a type class.
2020-10-30 21:56:42 <jbox> maerwald: I'm a beginner. I'm trying to get a dev environment set up so I can use xmonad. I'm on Arch Linux
2020-10-30 21:56:43 <monsterchrom> :)
2020-10-30 21:56:56 <monsterchrom> I like dolio's criterion.
2020-10-30 21:57:44 <maerwald> jbox: it seems xmonad README suggest to use cabal, so I'd go with ghcup + cabal. But it also supports stack
2020-10-30 21:57:46 <byorgey> jbox: if you just want to use xmonad, probably easiest to use ghcup, then install xmonad with cabal
2020-10-30 21:58:33 <byorgey> jbox: also, you should feel free to hang out and ask questions in #xmonad too
2020-10-30 21:58:39 <jbox> I tried installing xmonad with my distro package managers first, and it worked out of the box, but it gave me problems when I tried to configure anything, so I'm doing it the "right" way now haha
2020-10-30 21:58:51 <jbox> byorgey: gotcha, thank you :)
2020-10-30 21:58:54 <jbox> maerwald: thank you :)
2020-10-30 21:59:39 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-30 22:00:11 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-wolcdiinxgeovzoz)
2020-10-30 22:02:14 × taio quits (~enrik@p200300ceaf3ada00a0ac217f85c7e4a1.dip0.t-ipconnect.de) (Quit: Konversation terminated!)
2020-10-30 22:02:17 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2020-10-30 22:03:03 → flux41 joins (2fe3e53b@047-227-229-059.res.spectrum.com)
2020-10-30 22:03:33 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-30 22:06:09 hackage phonetic-languages-examples 0.1.0.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.1.0.0 (OleksandrZhabenko)
2020-10-30 22:08:49 → hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-30 22:08:57 × hiroaki quits (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-30 22:09:02 × xff0x_ quits (~fox@2001:1a81:52d0:1400:27e4:ce:8da5:24fb) (Ping timeout: 264 seconds)
2020-10-30 22:09:27 hekkaidekapus_ is now known as hekkaidekapus
2020-10-30 22:09:44 → xff0x_ joins (~fox@2001:1a81:52d0:1400:272a:7056:8d00:dd17)
2020-10-30 22:09:51 → hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-30 22:10:21 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-30 22:11:17 <flux41> does anyone have a good beginner reference for kinds
2020-10-30 22:11:26 × knupfer quits (~Thunderbi@mue-88-130-61-065.dsl.tropolys.de) (Ping timeout: 264 seconds)
2020-10-30 22:11:27 <flux41> been reading through 5-6 tutorials with no success
2020-10-30 22:12:12 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-30 22:13:51 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-30 22:14:52 <DigitalKiWicked> does https://wiki.archlinux.org/index.php/Xmonad not work?
2020-10-30 22:15:42 × krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye)
2020-10-30 22:15:48 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-30 22:16:28 → krjst joins (~krjst@2604:a880:800:c1::16b:8001)
2020-10-30 22:17:53 → christo joins (~chris@81.96.113.213)
2020-10-30 22:18:08 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-30 22:18:29 × zrl quits (4910eeec@c-73-16-238-236.hsd1.vt.comcast.net) (Remote host closed the connection)
2020-10-30 22:19:34 × rusua quits (uid124537@gateway/web/irccloud.com/x-cncclluxfybvzlls) (Quit: Connection closed for inactivity)
2020-10-30 22:19:55 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-30 22:19:57 <jbox> whenever I try to launch stack or xmonad, I get an error like "error while loading shared libraries: libHSbase-4.14.1.0-ghc8.10.2.so: cannot open shared object file: No such file or directory"
2020-10-30 22:20:05 <jbox> and the .so file is different each time
2020-10-30 22:21:33 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-30 22:22:47 → christo joins (~chris@81.96.113.213)
2020-10-30 22:22:50 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-30 22:22:52 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Client Quit)
2020-10-30 22:23:30 → wretchswollen joins (~john@128.32.176.159)
2020-10-30 22:23:39 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-30 22:24:32 wretchswollen is now known as crestfallen
2020-10-30 22:24:48 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-30 22:24:59 → alp_ joins (~alp@2a01:e0a:58b:4920:ac3f:7188:7379:b7ad)
2020-10-30 22:25:06 <maerwald> jbox: do you have a GHC installed via pacman?
2020-10-30 22:26:40 <jbox> maerwald: I have ghc 8.8.4 isntalled via ghcup
2020-10-30 22:27:03 <maerwald> why is something picking ghc-8.10.2 then
2020-10-30 22:27:14 <jbox> oh, I also have it installed through pacman LOL
2020-10-30 22:27:16 <jbox> thank you
2020-10-30 22:27:22 <maerwald> uninstall that
2020-10-30 22:27:45 <maerwald> also, you can tell cabal which ghc to use: cabal build -w ghc-8.8.4
2020-10-30 22:28:14 <jbox> ghc is required by xmonad. Should I not install xmonad via pacman either?
2020-10-30 22:28:24 <jbox> I haven't even built anything yet hahaha
2020-10-30 22:28:34 <jbox> I've screwed this up so bad
2020-10-30 22:28:37 <maerwald> I'd not install anything haskell-ish via pacman
2020-10-30 22:28:46 <sm[m]> flux41: kinds aren't a beginner topic I think
2020-10-30 22:30:06 <jbox> maerwald: gotcha, thank you
2020-10-30 22:30:38 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Ping timeout: 264 seconds)
2020-10-30 22:32:09 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-30 22:32:54 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-30 22:36:02 × ericsagnes quits (~ericsagne@2405:6580:0:5100:6fa3:8602:28fd:306c) (Ping timeout: 264 seconds)
2020-10-30 22:36:30 <crestfallen> hi a member was helping me with this program and wrote the evaluation to resolve to Nothing. So I'm a bit confused, because (with one or two possible mistakes) I thought the evaluation would look something like this: https://termbin.com/2b34
2020-10-30 22:38:29 × motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Quit: quit)
2020-10-30 22:38:49 × flux41 quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Ping timeout: 245 seconds)
2020-10-30 22:38:50 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-30 22:38:50 <crestfallen> I believe I have errors on lines 2 and/or 3: too many or too few Add 's ..
2020-10-30 22:39:17 <crestfallen> please critique
2020-10-30 22:40:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-30 22:42:09 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-30 22:42:20 <crestfallen> yeah I guess the 2 Just constructors in the left branch on line 4 are also wrong
2020-10-30 22:43:24 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-30 22:45:29 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-30 22:45:52 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-30 22:46:06 × Tario quits (~Tario@201.204.63.11) (Ping timeout: 256 seconds)
2020-10-30 22:46:18 × Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving)
←Prev  Next→
Page 1 .. 964 965 966 967 968 969 970 971 972 973 974 .. 5022

All times are in UTC.