Logs: liberachat/#haskell
| 2021-05-25 20:21:29 | × | Deide2 quits (~Deide@wire.desu.ga) (Ping timeout: 252 seconds) |
| 2021-05-25 20:23:13 | → | ejojo joins (~ejojo@89.107.3.51) |
| 2021-05-25 20:23:29 | <nova> | What is the preferred method for installing haskell, ghc, cabal, xmonad on arch? |
| 2021-05-25 20:23:46 | <sclv> | ghcup |
| 2021-05-25 20:23:52 | → | ruomad joins (~ruomad@82-64-17-144.subs.proxad.net) |
| 2021-05-25 20:23:54 | <Rembane> | nova: ghcup is a quite good experience |
| 2021-05-25 20:23:55 | → | fendor_ joins (~fendor@91.141.0.18.wireless.dyn.drei.com) |
| 2021-05-25 20:24:23 | <dmwit> | maerwald: There is also https://hackage.haskell.org/package/prune-juice, which states "packunused is unmaintained since 2014" as a reason for existing, haha. |
| 2021-05-25 20:24:26 | <nova> | I don't even know what it is, but I will spare the channel some spam and eggs and will promptly search it, and if I have any questions, I shall return. |
| 2021-05-25 20:24:50 | <dmwit> | Only seems to work with stack though? Not sure. |
| 2021-05-25 20:24:51 | → | kewa joins (~kewa@5.138.211.57) |
| 2021-05-25 20:25:29 | <nova> | oh goody - it's one of those 07bash -c "$(curl http://totaly-not-hax.com)" type things. I mean, I trust it, but .. eh .. okey .. |
| 2021-05-25 20:26:31 | <dmwit> | nova: You may be able to get it from your distro's package manager. |
| 2021-05-25 20:26:34 | × | fendor quits (~fendor@178.165.131.25.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2021-05-25 20:27:01 | <nova> | aur/ghcup-hs-bin as it were, but idk |
| 2021-05-25 20:27:27 | dmwit | shrugs |
| 2021-05-25 20:27:42 | <dmwit> | If you don't even trust your package manager, what proof of sanity *would* you accept? |
| 2021-05-25 20:28:29 | <sm> | nova: we love those don't we. :) Just download and review before running |
| 2021-05-25 20:28:48 | <nova> | that is what I am, indeed, doing q^u^p |
| 2021-05-25 20:29:00 | <tomsmeding> | also, you're downloading an executable anyway :) |
| 2021-05-25 20:29:07 | <tomsmeding> | but reviewing is always a good idea |
| 2021-05-25 20:29:38 | × | ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Remote host closed the connection) |
| 2021-05-25 20:29:49 | × | Guest11 quits (~textual@146.212.240.255) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-25 20:30:23 | → | WikiLycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-25 20:30:54 | <nova> | you're an executable 05#rekt - in all seriousness, after reviewing the executables and the link trail, I think I will try this, and if you don't hear back from me, then pretend I am your standard UNIX tool and all is well, and the return code is 0. Thanks again :-) |
| 2021-05-25 20:31:26 | <sm> | the executable is hopefully coming from a more-official-totally-harder-to-hack locataion |
| 2021-05-25 20:31:47 | <nova> | I agree with this, but you can't trust the back of your hand these days |
| 2021-05-25 20:32:20 | <sm> | I'm coming in late here, but if security conscious why not build the thing |
| 2021-05-25 20:32:45 | <nova> | I am not that worried. I just like to double check |
| 2021-05-25 20:32:52 | → | ham2 joins (~ham4@d8D8627D5.access.telenet.be) |
| 2021-05-25 20:32:53 | × | xwx quits (~george@user/george) (Ping timeout: 272 seconds) |
| 2021-05-25 20:33:15 | <sm> | ah, chicken and egg.. well install the most trustworthy old cabal/stack you can find from your distro I guess, then build the new one |
| 2021-05-25 20:33:19 | <sm> | nod |
| 2021-05-25 20:34:00 | <boxscape> | sm just write your own compiler in C so you can compile the compiler |
| 2021-05-25 20:34:14 | <tomsmeding> | "trivial" |
| 2021-05-25 20:34:31 | <sm> | but is that safe ? no! |
| 2021-05-25 20:34:37 | <Hafydd> | Then you need to trust the C compiler you use. |
| 2021-05-25 20:34:37 | <sm> | we're doomed |
| 2021-05-25 20:34:52 | <tomsmeding> | we were doomed anyway :p |
| 2021-05-25 20:35:51 | <sm> | work only on a strictly airgapped 80s home computer |
| 2021-05-25 20:36:10 | × | ham quits (~ham4@user/ham) (Ping timeout: 272 seconds) |
| 2021-05-25 20:36:12 | <Rembane> | Avoid compilers |
| 2021-05-25 20:36:41 | <sm> | honestly, you can see what the Butlerian Jihadists were on about |
| 2021-05-25 20:37:08 | <tomsmeding> | write an OS in haskell first |
| 2021-05-25 20:37:31 | <tomsmeding> | then realise that you're not capable of doing that without introducing gaping security holes |
| 2021-05-25 20:37:37 | <tomsmeding> | then join the Jihad |
| 2021-05-25 20:38:11 | <sm> | https://en.wikipedia.org/wiki/Dune_(franchise)#The_Butlerian_Jihad |
| 2021-05-25 20:38:43 | → | Tomurb joins (~tom@92-17.net.optinet.cz) |
| 2021-05-25 20:38:59 | <Rembane> | The Butlerian Jihad makes Dune so much stranger. |
| 2021-05-25 20:40:29 | → | lbseale_ joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-25 20:41:19 | → | pretty_dumm_guy joins (~trottel@185.244.212.222) |
| 2021-05-25 20:41:20 | × | ejojo quits (~ejojo@89.107.3.51) (Quit: Connection closed) |
| 2021-05-25 20:41:32 | → | ejojo joins (~ejojo@89.107.3.51) |
| 2021-05-25 20:43:33 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 20:43:58 | × | Tomurb quits (~tom@92-17.net.optinet.cz) (Ping timeout: 264 seconds) |
| 2021-05-25 20:44:17 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 272 seconds) |
| 2021-05-25 20:45:14 | × | ejojo quits (~ejojo@89.107.3.51) (Client Quit) |
| 2021-05-25 20:53:17 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-05-25 20:53:43 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-25 20:54:56 | → | Deide1 joins (~Deide@wire.desu.ga) |
| 2021-05-25 20:55:58 | × | Deide quits (~Deide@user/deide) (Ping timeout: 264 seconds) |
| 2021-05-25 21:00:48 | → | hseg joins (~gesh@185.120.126.41) |
| 2021-05-25 21:01:33 | × | coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-25 21:02:00 | <Boarders> | I am trying to run stylish-haskell but getting: stylish-haskell: dieVerbatim: user error (stylish-haskell: Failed parsing "/home/mcgill/Src/debugged/debugged.cabal". |
| 2021-05-25 21:02:12 | <Boarders> | any ideas why it would do that, I don't even know why it is reading the cabal file? |
| 2021-05-25 21:02:45 | <hseg> | hi. how do I add a git repo unavailable in stackage to my stack.yaml? |
| 2021-05-25 21:03:01 | <sclv> | Very Carefully |
| 2021-05-25 21:03:13 | <hseg> | *snort* ok...? |
| 2021-05-25 21:05:46 | → | haskman joins (~haskman@171.61.140.35) |
| 2021-05-25 21:05:54 | <hseg> | ok, checking the cardano repo, it seems i want to add packages of form {location: {git:, commit:}, extra-dep: true} to packages: |
| 2021-05-25 21:05:59 | → | onadplusm joins (~arnau@32.red-2-137-54.dynamicip.rima-tde.net) |
| 2021-05-25 21:06:14 | jiribenes_ | is now known as jiribenes |
| 2021-05-25 21:06:34 | × | onadplusm quits (~arnau@32.red-2-137-54.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-05-25 21:08:41 | <tapas> | https://github.com/kadena-io/chainweb-node/blob/master/stack.yaml |
| 2021-05-25 21:08:52 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away) |
| 2021-05-25 21:09:41 | <tapas> | you can add them in the extra-deps section. extra-deps: - { github: repo, commit: hash } |
| 2021-05-25 21:12:07 | <hseg> | ooh, that helps |
| 2021-05-25 21:13:02 | <minoru_shiraeesh> | I'm trying to play with an example from Haskell School of Expression |
| 2021-05-25 21:13:32 | <minoru_shiraeesh> | I get a weird error: |
| 2021-05-25 21:13:50 | <minoru_shiraeesh> | transformers-0.4.2.0 from stack configuration does not match >=0.3 && ==0.2.* |
| 2021-05-25 21:14:28 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds) |
| 2021-05-25 21:14:37 | <minoru_shiraeesh> | those constraints seem impossible |
| 2021-05-25 21:15:13 | <minoru_shiraeesh> | how can a version be greater than 0.3 and equal to 0.2.* at the same time? |
| 2021-05-25 21:15:14 | <starlord> | What do I read to understand typing rules? I've been staring at this paper for I don't know how long but I just don't get it |
| 2021-05-25 21:15:30 | <dminuoso> | starlord: Grab a copy of TaPL? |
| 2021-05-25 21:15:44 | <dminuoso> | It gives a smooth introduction into the topic in the beginning. |
| 2021-05-25 21:16:07 | × | WikiLycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-25 21:16:43 | <hpc> | minoru_shiraeesh: the set of version constraints can include both, it just becomes unresolvable - find where those are coming from and adjust things? |
| 2021-05-25 21:16:57 | <hpc> | maybe something depends on an obsolete package? |
| 2021-05-25 21:17:30 | <starlord> | dminuoso can you please expand that abbreviation? my google fu ain't that strong it seems |
| 2021-05-25 21:17:35 | <geekosaur> | or you're using it with an old resolver? |
| 2021-05-25 21:17:44 | <geekosaur> | starlord, Types and Programming Languages |
| 2021-05-25 21:17:58 | <boxscape> | by Benjamin Pierce |
| 2021-05-25 21:17:59 | <dminuoso> | starlord: At any rate, just to understand inference rules its probably overkill, but the book is a good read anyhow. |
| 2021-05-25 21:18:06 | <minoru_shiraeesh> | hpc: it says the constraints come from transformers-compat-0.6.6 |
| 2021-05-25 21:18:11 | → | pflanze_ joins (~pflanze@2001:1a88:19e:4500:24b7:a963:b85:697d) |
| 2021-05-25 21:18:17 | <dminuoso> | starlord: They are just inference rules similar to logic systems. |
| 2021-05-25 21:18:29 | → | polux7 joins (~polux@51.15.169.172) |
| 2021-05-25 21:18:37 | × | nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-25 21:18:41 | → | agumonkey joins (~user@88.160.31.174) |
All times are in UTC.