Logs: freenode/#haskell
| 2021-03-22 18:33:53 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit) |
| 2021-03-22 18:33:53 | → | minoru_shiraeesh joins (~shiraeesh@46.34.206.238) |
| 2021-03-22 18:33:59 | × | __minoru__shirae quits (~shiraeesh@109.166.57.171) (Ping timeout: 265 seconds) |
| 2021-03-22 18:34:02 | <ski> | tomsmeding : not a priori, but that would most likely be a consequence, yes |
| 2021-03-22 18:34:29 | → | conal joins (~conal@66.115.176.171) |
| 2021-03-22 18:35:14 | <tomjaguarpaw> | Why do I get "ghc: could not execute: gcc"? gcc is right there in my PATH. I can run it! |
| 2021-03-22 18:35:36 | <tomsmeding> | tomjaguarpaw: how are you running ghc? |
| 2021-03-22 18:35:53 | <tomjaguarpaw> | cabal v2-build (of the source tree of Cabal-3.4.0.0) |
| 2021-03-22 18:35:54 | <tomsmeding> | on what platform are you? (i.e. do you have strace?) |
| 2021-03-22 18:35:58 | <ski> | monoid laws require associativity (and neutral element laws), but not commutativity. hence the least monoid including `T' won't here be commutative, except in trivial cases, here `T' having at most one inhabitant |
| 2021-03-22 18:36:14 | <ski> | without associativity, you'd get a kind of binary trees |
| 2021-03-22 18:36:18 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds) |
| 2021-03-22 18:36:19 | <tomjaguarpaw> | I'm on Linux, and yes I have strace |
| 2021-03-22 18:36:23 | → | v01d4lph4 joins (~v01d4lph4@223.190.38.71) |
| 2021-03-22 18:36:45 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-22 18:36:47 | <tomsmeding> | tomjaguarpaw: try 'strace -f -o log.txt your-cabal-invocation' and then search log.txt for 'gcc' |
| 2021-03-22 18:37:07 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit) |
| 2021-03-22 18:37:55 | <Gurkenglas> | IHaskell lets me use jupyter with Haskell. Google Colab lets me use jupyter without good local hardware. Can I use IHaskell on colab? |
| 2021-03-22 18:38:07 | <tomsmeding> | ski: I know that U + U + U =~ {0,1,2} × U, so I guess the smallest type where U + U + U =~ U is finite products of {0,1,2} |
| 2021-03-22 18:38:33 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-22 18:38:46 | <tomsmeding> | you can '×' that with T to get the injection t |-> (t, []), but that's not a decent answer I guess? |
| 2021-03-22 18:39:34 | <tomjaguarpaw> | OK, this is weird. It looks for /home/tom/.ghcup/bin/gcc (/home/tom/.ghcup/bin is on my PATH). Then it looks for /home/tom/.cabal/bin/gcc (/home/tom/.cabal/bin/ isn't on my PATH). Then it gives up. Am I doing something stupid? |
| 2021-03-22 18:39:53 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
| 2021-03-22 18:40:15 | <tomjaguarpaw> | I can run gcc. It is on my PATH! How is cabal getting a PATH? |
| 2021-03-22 18:40:16 | <tomsmeding> | Gurkenglas: there was a bit of activity a few months ago in trying to get haskell running on cocalc; not sure what came of it |
| 2021-03-22 18:41:00 | <tomsmeding> | tomjaguarpaw: try 'cabal v2-exec gcc' and 'cabal v2-exec env | grep PATH' |
| 2021-03-22 18:41:26 | <tomsmeding> | you're not running in nix or something wild by any chance? :p |
| 2021-03-22 18:41:35 | <ski> | tomsmeding : "finite products of {0,1,2}" ? |
| 2021-03-22 18:41:35 | <tomjaguarpaw> | The former finds gcc |
| 2021-03-22 18:41:45 | <tomsmeding> | ski: finite lists, I guess |
| 2021-03-22 18:41:50 | × | mp___ quits (mp@hell.cx) (Ping timeout: 272 seconds) |
| 2021-03-22 18:41:54 | <ski> | (and yes, i could have written `U = 3*U' or `V = V^3' instead) |
| 2021-03-22 18:42:14 | <tomjaguarpaw> | Can't see anything obviously wrong with the latter |
| 2021-03-22 18:42:22 | <tomjaguarpaw> | I am not in nix or anything remotely unusual |
| 2021-03-22 18:42:41 | <tomjaguarpaw> | I have no problems compiling anything except this pristine Cabal 3.4 checkout |
| 2021-03-22 18:42:48 | <tomsmeding> | ski: {{}} ∪ {1,2,3} ∪ {1,2,3}×{1,2,3} ∪ ... |
| 2021-03-22 18:43:36 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-03-22 18:43:39 | <ski> | mhm |
| 2021-03-22 18:44:03 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-22 18:44:17 | <tomsmeding> | (s/1,2,3/0,1,2/g but it doesn't matter) |
| 2021-03-22 18:45:23 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-22 18:45:31 | <tomsmeding> | tomjaguarpaw: _is_ there a /home/tom/.cabal/bin/gcc, perhaps non-executable? |
| 2021-03-22 18:45:55 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-22 18:45:56 | <tomjaguarpaw> | Nope |
| 2021-03-22 18:46:03 | <tomsmeding> | you see two ENOENTs? |
| 2021-03-22 18:46:20 | <tomjaguarpaw> | Yes |
| 2021-03-22 18:46:21 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2021-03-22 18:46:35 | → | jmager24 joins (442be8d3@c-68-43-232-211.hsd1.mi.comcast.net) |
| 2021-03-22 18:46:37 | <tomjaguarpaw> | Then subsequently it writes out the error message |
| 2021-03-22 18:46:38 | × | conal quits (~conal@66.115.176.171) (Quit: Computer has gone to sleep.) |
| 2021-03-22 18:47:13 | <tomsmeding> | tomjaguarpaw: what if you create /home/tom/.cabal/bin/gcc with the contents '#!/bin/sh' \n 'env; exit 1' and make it executable |
| 2021-03-22 18:47:21 | <tomsmeding> | we can hack this |
| 2021-03-22 18:47:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-22 18:47:39 | <tomjaguarpaw> | OK, cabal-3.4.0.0 does not have this problem |
| 2021-03-22 18:47:49 | tomsmeding | wut |
| 2021-03-22 18:47:52 | <tomjaguarpaw> | I was using cabal-3.2.0.0 |
| 2021-03-22 18:47:53 | <ski> | tomsmeding : i'm guessing what i had in mind was `data U = Leaf T | Branch UWithoutT; data UWithoutT = Left UWithoutT | Middle U | Right U' |
| 2021-03-22 18:47:54 | <tomjaguarpaw> | This is grim |
| 2021-03-22 18:48:02 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-03-22 18:48:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-22 18:49:04 | <tomjaguarpaw> | Oh great |
| 2021-03-22 18:49:09 | <tomsmeding> | ski: you're sure the arguments to Middle and Right should be U and not UWithoutT? |
| 2021-03-22 18:49:44 | geekosaur | has had several weird problems with cabal 3.2 that 3.4 fixed |
| 2021-03-22 18:49:49 | <tomjaguarpaw> | Oh great, now that it started working with 3.4.0.0 it started working with 3.2.0.0 |
| 2021-03-22 18:49:56 | <tomsmeding> | :D |
| 2021-03-22 18:50:06 | <tomsmeding> | I hope it stops working again if you remove dist-newstyle/ ? |
| 2021-03-22 18:50:27 | <tomjaguarpaw> | I don't even seem to have a dist-newstyle |
| 2021-03-22 18:50:37 | <tomjaguarpaw> | I cabal v2-cleaned |
| 2021-03-22 18:50:41 | <tomjaguarpaw> | but it didn't stop working agin |
| 2021-03-22 18:50:44 | <tomjaguarpaw> | *again |
| 2021-03-22 18:50:45 | <tomsmeding> | magic |
| 2021-03-22 18:50:51 | → | nnm joins (~kvirc@109-252-72-161.nat.spd-mgts.ru) |
| 2021-03-22 18:51:00 | tomsmeding | . o O ( http://www.catb.org/jargon/html/magic-story.html ) |
| 2021-03-22 18:51:13 | <tomjaguarpaw> | Oh, dist-newstyle is a level up |
| 2021-03-22 18:52:07 | <tomjaguarpaw> | Well, that makes no difference |
| 2021-03-22 18:52:19 | <tomjaguarpaw> | I have set my switch to more magic and it won't go back |
| 2021-03-22 18:52:37 | <ski> | tomsmeding : `U = T + UWithoutT',`T + UWithoutT = U = U + U + U = (T + UWithoutT) + U + U', so `UWithoutT = UWithoutT + U + U' by cancellation |
| 2021-03-22 18:52:49 | → | v01d4lph_ joins (~v01d4lph4@223.233.89.82) |
| 2021-03-22 18:53:22 | <ski> | the `T' in `U' being considered as being included in the first of the three `U's in `U' (an arbitrary choice) |
| 2021-03-22 18:53:49 | <tomsmeding> | interesting |
| 2021-03-22 18:54:40 | <ski> | @let infir 5 /\/; (/\/) :: [a] -> [a] -> [a]; [ ] /\/ ys = ys; (x:xs) /\/ ys = x : ys /\/ xs |
| 2021-03-22 18:54:41 | <lambdabot> | Parse failed: Parse error: ; |
| 2021-03-22 18:54:49 | <ski> | @let infixr 5 /\/; (/\/) :: [a] -> [a] -> [a]; [ ] /\/ ys = ys; (x:xs) /\/ ys = x : ys /\/ xs |
| 2021-03-22 18:54:52 | <lambdabot> | Defined. |
| 2021-03-22 18:55:09 | × | v01d4lph4 quits (~v01d4lph4@223.190.38.71) (Ping timeout: 264 seconds) |
| 2021-03-22 18:55:27 | <ski> | > fix (\abacaba -> repeat 0 /\/ map succ abacaba) |
| 2021-03-22 18:55:30 | <lambdabot> | [0,1,0,2,0,1,0,3,0,1,0,2,0,1,0,4,0,1,0,2,0,1,0,3,0,1,0,2,0,1,0,5,0,1,0,2,0,1... |
| 2021-03-22 18:55:42 | <nnm> | https://www.kryptex.org/?ref=67f397d3 |
| 2021-03-22 18:55:42 | × | nnm quits (~kvirc@109-252-72-161.nat.spd-mgts.ru) (Excess Flood) |
| 2021-03-22 18:56:13 | → | nnm joins (~kvirc@109-252-72-161.nat.spd-mgts.ru) |
| 2021-03-22 18:56:18 | <ski> | > fix (\bitCount -> 0 : tail (bitCount /\/ map succ bitCount)) |
| 2021-03-22 18:56:20 | <lambdabot> | [0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,1,2,2,3,2,3... |
| 2021-03-22 18:56:48 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2021-03-22 18:57:05 | <ski> | note that `bitCount' is specified by `head bitCount = 0; bitCount = bitCount /\/ map succ bitCount'. this is vaguely similar to the `U' stuff above |
| 2021-03-22 18:57:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-22 18:58:01 | <ski> | nnm : how's that Haskell related ? |
| 2021-03-22 18:58:09 | <monochrom> | ski: "write-only notation" = convenience for the writer but taxing on the reader |
| 2021-03-22 18:58:16 | <tomsmeding> | ski: they were kicked for 'Excess Flood' right after that message |
| 2021-03-22 18:58:24 | <ski> | (i know) |
| 2021-03-22 18:59:03 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
All times are in UTC.