Logs: liberachat/#haskell
| 2021-06-24 20:04:07 | <geekosaur> | not generally |
| 2021-06-24 20:04:22 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-24 20:04:40 | × | Guest95 quits (~Guest95@c-73-96-117-87.hsd1.or.comcast.net) (Quit: Client closed) |
| 2021-06-24 20:04:56 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 252 seconds) |
| 2021-06-24 20:04:58 | <geekosaur> | if one of the two is entirely internal to the package that uses it, it can work. they use completely separate types, values, etc. and can't see each other |
| 2021-06-24 20:05:26 | <geekosaur> | (but cabal/stack doesn't know about this and will reject build plans calling for it) |
| 2021-06-24 20:06:44 | <junkicide> | Vq: I checked haskell-process-path-ghci and the value is "ghci" so it should be run version 8.8.4 rather than 8.6.x |
| 2021-06-24 20:06:45 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-24 20:07:08 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 258 seconds) |
| 2021-06-24 20:07:27 | <geekosaur> | junkicide, did you instalol a newer version after starting emacs (or possibly your wm), possibly via ghcup? |
| 2021-06-24 20:07:52 | <geekosaur> | install* |
| 2021-06-24 20:07:57 | <safinaskar> | geekosaur: but the first section of this answer ( https://stackoverflow.com/a/43140519 ) mentions project, which builds (and eventually fails to build) with 2 different versions of "text" |
| 2021-06-24 20:08:00 | <junkicide> | geekosaur: I do remember using ghcup |
| 2021-06-24 20:08:47 | <geekosaur> | safinaskar, yes, that used to happen and it's why cabal and stack exist |
| 2021-06-24 20:09:24 | <geekosaur> | because ghc would blindly try to link them together and, as I said, the two versions can't see each other and will conflict when they collide |
| 2021-06-24 20:09:50 | <safinaskar> | geekosaur: so modern cabal and stack forbids such build plans? |
| 2021-06-24 20:10:01 | <geekosaur> | yes |
| 2021-06-24 20:10:22 | <junkicide> | geekosaur: I misunderstood, if you mean to ask if I recently installed a new version then the answer is no. |
| 2021-06-24 20:10:26 | <safinaskar> | geekosaur: this is sad |
| 2021-06-24 20:10:37 | <geekosaur> | because most of the time they cause the errors in your link |
| 2021-06-24 20:10:46 | <sclv> | its not sad, its the Only Correct Thing To Do |
| 2021-06-24 20:10:48 | <safinaskar> | geekosaur: i think this restriction limits ecosystem grow |
| 2021-06-24 20:10:57 | <geekosaur> | what sclv said |
| 2021-06-24 20:11:11 | <geekosaur> | causing weird errors does not help the ecosystem grow |
| 2021-06-24 20:11:34 | <safinaskar> | okey |
| 2021-06-24 20:13:06 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-24 20:13:06 | × | Morrow quits (~MorrowM_@147.161.12.76) (Read error: Connection reset by peer) |
| 2021-06-24 20:15:18 | <safinaskar> | % do { let { x = 3; }; x; } |
| 2021-06-24 20:15:18 | <yahb> | safinaskar: 3 |
| 2021-06-24 20:15:22 | <safinaskar> | why this works? |
| 2021-06-24 20:15:26 | → | johnw joins (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-06-24 20:15:42 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 20:16:24 | <geekosaur> | do is just syntactic sugar, if you don't use the parts that require Monad (or Applicative) the result doesn't require them either |
| 2021-06-24 20:16:30 | <geekosaur> | > do do do do do 5 |
| 2021-06-24 20:16:31 | <lambdabot> | 5 |
| 2021-06-24 20:17:21 | → | Morrow joins (~MorrowM_@147.161.12.76) |
| 2021-06-24 20:18:13 | <safinaskar> | ok, thanks |
| 2021-06-24 20:18:15 | <geekosaur> | https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-470003.14 specifies the desugaring |
| 2021-06-24 20:19:09 | <geekosaur> | ghc's is a little different because of ApplicativeDo and MonadFail which are not covered by the Report, but both follow the same general rule of not adding constraints unless specifically required |
| 2021-06-24 20:25:05 | × | DNH quits (~DNH@8.43.122.6) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-24 20:29:01 | → | maxon0 joins (~bc817c21@217.29.117.252) |
| 2021-06-24 20:29:21 | <maxon0> | hi. does GHC 8.10.4 support RecordDotSyntax? |
| 2021-06-24 20:29:32 | <maxon0> | can't find anything about it in release notes, so probably not |
| 2021-06-24 20:29:59 | → | tbd joins (~user@p200300d9df0abf00e670b8fffeaa0fa5.dip0.t-ipconnect.de) |
| 2021-06-24 20:30:02 | <maxon0> | I meant 8.10.5 |
| 2021-06-24 20:30:53 | <tbd> | Does someone know if/how it is possible to increase the timeout until an idle connection is closed in the http-client family of libraries? |
| 2021-06-24 20:31:35 | <tbd> | I see that connections are closed after 30 seconds if idle. |
| 2021-06-24 20:36:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 20:36:51 | <geekosaur> | maxon0, pretty sure it's only in 9.0.1 and later |
| 2021-06-24 20:42:06 | <geekosaur> | don';t see it in 9.0.1 so may be 9.2 |
| 2021-06-24 20:43:02 | <geekosaur> | yeh, it's in 9.2 |
| 2021-06-24 20:47:11 | ← | manveru[m]1 parts (~manveru@user/manveru) () |
| 2021-06-24 20:47:20 | <maxon0> | ah, ok! any ideas when we can expect a stable 9.2 releaes? |
| 2021-06-24 20:48:20 | <geekosaur> | no, they're cleaning up issues still |
| 2021-06-24 20:49:42 | <safinaskar> | maxon0: you can install ghc 9.2 prerelease using ghcup |
| 2021-06-24 20:50:33 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/milestones/365 suggests there's a fair amount of work still needed |
| 2021-06-24 20:52:12 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-24 20:52:28 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-06-24 20:54:01 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-24 20:56:21 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-24 20:56:45 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-24 20:56:48 | × | killsushi quits (~killsushi@user/killsushi) (Quit: Leaving) |
| 2021-06-24 20:58:51 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 21:01:02 | × | tbd quits (~user@p200300d9df0abf00e670b8fffeaa0fa5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-24 21:03:52 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-06-24 21:04:44 | <bitmapper> | huh, GHC used to have a .net backend |
| 2021-06-24 21:04:58 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-24 21:06:05 | ← | safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-06-24 21:09:07 | → | pera joins (~pera@user/pera) |
| 2021-06-24 21:09:21 | <troydm> | bitmapper: long time ago |
| 2021-06-24 21:09:32 | <bitmapper> | yeah |
| 2021-06-24 21:09:39 | <troydm> | bitmapper: obsolete now |
| 2021-06-24 21:09:39 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-06-24 21:09:56 | × | slack1256 quits (~slack1256@181.203.79.103) (Ping timeout: 268 seconds) |
| 2021-06-24 21:09:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-24 21:10:35 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-06-24 21:10:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-24 21:12:38 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2021-06-24 21:13:06 | <bitmapper> | yeah it's just i've always heard that languages like scala/haskell couldn't target .net due to CIL being very inflexible in regards to types |
| 2021-06-24 21:14:20 | <geekosaur> | you can target them as long as you're not interchanging data --- of course, the whole point of targeting them would be to take advantage of their libraries, so that makes it kinda pointless |
| 2021-06-24 21:14:51 | <geekosaur> | (you're not bound by CIL if you're not exchanging data and can define your types as needed) |
| 2021-06-24 21:19:22 | <bitmapper> | https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/babel01.pdf seems to say otherwise |
| 2021-06-24 21:19:28 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-24 21:20:50 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 21:21:36 | <geekosaur> | "Inparticular we aim for easier interoperability between com-ponents whose interfaces are expressed using function types,discriminated unions and parametric polymorphism, regard-less of the languages in which these components are implemented" |
| 2021-06-24 21:22:01 | <geekosaur> | if you're not interooperating you can do whatever, but interop is the point of CIL |
| 2021-06-24 21:24:55 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 246 seconds) |
| 2021-06-24 21:25:36 | × | chisui quits (~chisui@200116b8669b81005d1b8973bc3c68f4.dip.versatel-1u1.de) (Quit: Client closed) |
| 2021-06-24 21:25:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-24 21:28:55 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-24 21:30:42 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-24 21:32:53 | → | MorrowM joins (~MorrowM_@147.161.13.155) |
| 2021-06-24 21:35:02 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 256 seconds) |
| 2021-06-24 21:35:13 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-06-24 21:35:35 | × | pera quits (~pera@user/pera) (Ping timeout: 256 seconds) |
| 2021-06-24 21:35:51 | <maerwald> | is there a working online repl for haskell? |
| 2021-06-24 21:36:10 | × | Morrow quits (~MorrowM_@147.161.12.76) (Ping timeout: 256 seconds) |
| 2021-06-24 21:36:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-24 21:37:54 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-06-24 21:37:57 | <dsal> | I had repl.it kind of working yesterday. |
All times are in UTC.