Logs: liberachat/#haskell
| 2021-06-07 08:23:14 | → | mpt joins (~tom@2a02:908:1862:49e0::5) |
| 2021-06-07 08:25:01 | × | sshine quits (~simon@hubris.eta.solutions) (Ping timeout: 244 seconds) |
| 2021-06-07 08:25:09 | → | sshine joins (~simon@hubris.eta.solutions) |
| 2021-06-07 08:25:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-06-07 08:25:32 | × | Eoco quits (~ian@x-160-94-179-157.acm.umn.edu) (Ping timeout: 244 seconds) |
| 2021-06-07 08:25:49 | → | Eoco joins (~ian@x-160-94-179-157.acm.umn.edu) |
| 2021-06-07 08:28:58 | <tomsmeding> | kuribas: I think the default-extensions field in a .cabal file aren't read by ghci; perhaps via a roundabout way this is the same thing? |
| 2021-06-07 08:29:15 | <kuribas> | perhaps |
| 2021-06-07 08:29:30 | <kuribas> | I thought they *where* read by ghci? |
| 2021-06-07 08:30:18 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-07 08:31:56 | <tomsmeding> | kuribas: tbh I don't know, I'm only going off this comment here: https://github.com/AccelerateHS/accelerate/blob/master/accelerate.cabal#L562 |
| 2021-06-07 08:34:04 | <tomsmeding> | kuribas: perhaps at some point we'll have -XGHC2021, maybe that will help your case :) |
| 2021-06-07 08:34:51 | <kuribas> | tomsmeding: I just don't feel like debugging and doing tooling stuff at this point. |
| 2021-06-07 08:35:57 | → | agumonke` joins (~user@88.160.31.174) |
| 2021-06-07 08:37:34 | × | agumonkey quits (~user@88.160.31.174) (Ping timeout: 245 seconds) |
| 2021-06-07 08:38:13 | <kuribas> | tomsmeding: flycheck has worked for my thusfar. |
| 2021-06-07 08:38:46 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-07 08:39:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-06-07 08:39:23 | <tomsmeding> | kuribas: including default-extensions from the cabal file? |
| 2021-06-07 08:39:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-07 08:40:07 | <kuribas> | I never used that before |
| 2021-06-07 08:41:40 | <tomsmeding> | hm a 'cabal repl' in a random project does seem to pick up default-extensions |
| 2021-06-07 08:41:42 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2021-06-07 08:42:07 | <kuribas> | maybe my ghc is too old? |
| 2021-06-07 08:42:38 | <tomsmeding> | wouldn't expect an issue like this to happen with old ghcs specifically, but how old? :p |
| 2021-06-07 08:43:59 | <kuribas> | 8.6.5 |
| 2021-06-07 08:45:39 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-07 08:48:19 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 264 seconds) |
| 2021-06-07 08:49:30 | <tomsmeding> | kuribas: can you try to run 'cabal repl' and then ':set' inside this project? https://paste.tomsmeding.com/EfGGcx3C |
| 2021-06-07 08:49:40 | <tomsmeding> | (protip: there's the "Download paste" button at the bottom) |
| 2021-06-07 08:50:13 | <kuribas> | tomsmeding: I don't think flycheck uses the repl |
| 2021-06-07 08:51:39 | <kuribas> | :set to what? |
| 2021-06-07 08:52:28 | <kuribas> | options currently set: none. base language is: Haskell2010 with the following modifiers: -XExplicitForAll -XPatternSignatures -XScopedTypeVariables |
| 2021-06-07 08:52:28 | <kuribas> | |
| 2021-06-07 08:52:59 | <kuribas> | looks like it does set the extension in ghci |
| 2021-06-07 08:53:06 | → | ddellacosta joins (~ddellacos@86.106.121.165) |
| 2021-06-07 08:53:10 | <kuribas> | so I don't think that's the problem |
| 2021-06-07 08:55:51 | <tomsmeding> | ah indeed it doesn't, it invokes ghc directly or via stack |
| 2021-06-07 08:56:14 | <kuribas> | tomsmeding: where are you from? |
| 2021-06-07 08:56:25 | <tomsmeding> | kuribas: and interestingly it sets the one from the cabal file, not the one from the LANGUAGE pragma in Main.hs |
| 2021-06-07 08:56:30 | <kuribas> | the netherlands? |
| 2021-06-07 08:56:35 | <tomsmeding> | kuribas: hollands mensje |
| 2021-06-07 08:56:39 | <kuribas> | ok :) |
| 2021-06-07 08:57:33 | × | ddellacosta quits (~ddellacos@86.106.121.165) (Ping timeout: 252 seconds) |
| 2021-06-07 08:58:01 | <tomsmeding> | maybe the flycheck haskell auto-detection magic isn't rerunning or something when you add an extension to the cabal file? |
| 2021-06-07 08:58:23 | <tomsmeding> | but anyway you said you didn't feel like debugging and now I'm asking you to do that anyway, so I'll stop :p |
| 2021-06-07 08:59:51 | <kuribas> | I did all that |
| 2021-06-07 08:59:59 | <kuribas> | recompile, restart emacs, etc... |
| 2021-06-07 09:00:16 | <tomsmeding> | rip |
| 2021-06-07 09:00:33 | <maerwald> | did you try to close all windows? xD |
| 2021-06-07 09:00:36 | <kuribas> | yeah, I'll send a message to the flycheck github. |
| 2021-06-07 09:01:03 | <tomsmeding> | "please close all other programs before running this installer" |
| 2021-06-07 09:01:42 | <tomsmeding> | (before proceeding to some hideous full-screen thing) |
| 2021-06-07 09:01:59 | <kuribas> | hmm, I could try removing .ghc.environment... |
| 2021-06-07 09:04:39 | → | Haitang joins (~Taier@64-79-70-207.xlhdns.com) |
| 2021-06-07 09:04:48 | <Haitang> | hi |
| 2021-06-07 09:06:01 | <kuribas> | hey |
| 2021-06-07 09:06:21 | ← | Haitang parts (~Taier@64-79-70-207.xlhdns.com) () |
| 2021-06-07 09:06:40 | <tomsmeding> | bye |
| 2021-06-07 09:06:52 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-07 09:07:22 | <tomsmeding> | kuribas: I forgot to say, that :set output is the same as what I get on ghc 8.10.4 |
| 2021-06-07 09:07:27 | <kuribas> | tomsmeding: at this point I don't feel much about spending time in improving tooling. I would be more inclined to pay for it. |
| 2021-06-07 09:07:32 | <kuribas> | tomsmeding: right |
| 2021-06-07 09:08:43 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-06-07 09:09:15 | → | azeem joins (~azeem@176.200.235.0) |
| 2021-06-07 09:09:19 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-06-07 09:10:15 | × | azeem quits (~azeem@176.200.235.0) (Read error: Connection reset by peer) |
| 2021-06-07 09:10:20 | → | prite joins (~pritam@user/pritambaral) |
| 2021-06-07 09:11:03 | → | azeem joins (~azeem@176.200.235.0) |
| 2021-06-07 09:12:34 | × | agumonke` quits (~user@88.160.31.174) (Read error: Connection reset by peer) |
| 2021-06-07 09:13:09 | → | agumonke` joins (~user@88.160.31.174) |
| 2021-06-07 09:14:37 | × | azeem quits (~azeem@176.200.235.0) (Read error: Connection reset by peer) |
| 2021-06-07 09:14:50 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-07 09:19:17 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-07 09:23:32 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-07 09:24:58 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-07 09:26:07 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 264 seconds) |
| 2021-06-07 09:26:38 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 272 seconds) |
| 2021-06-07 09:27:24 | → | benin030 joins (~benin@183.82.206.136) |
| 2021-06-07 09:27:56 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-06-07 09:27:59 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Ping timeout: 245 seconds) |
| 2021-06-07 09:28:15 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 2021-06-07 09:29:14 | × | benin03 quits (~benin@183.82.206.136) (Ping timeout: 245 seconds) |
| 2021-06-07 09:29:26 | benin030 | is now known as benin03 |
| 2021-06-07 09:29:27 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-07 09:31:36 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-07 09:32:01 | × | prite quits (~pritam@user/pritambaral) (Quit: Konversation terminated!) |
| 2021-06-07 09:33:18 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 252 seconds) |
| 2021-06-07 09:34:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-07 09:34:29 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 272 seconds) |
| 2021-06-07 09:36:36 | × | agumonke` quits (~user@88.160.31.174) (Ping timeout: 252 seconds) |
| 2021-06-07 09:37:03 | → | Torro joins (Torro@gateway/vpn/protonvpn/torro) |
| 2021-06-07 09:39:24 | <kuribas> | is there a *good* way to add orphan instances? |
| 2021-06-07 09:39:54 | <kuribas> | when there is only one instance that really makes sense? |
| 2021-06-07 09:39:54 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-07 09:40:27 | <Taneb> | kuribas: I think it depends if you're writing a library that you're going to share with other people |
| 2021-06-07 09:41:11 | <kuribas> | For my current problem it is cassava FromNamedRecord/ToNamedRecord for Aeson Value. |
| 2021-06-07 09:41:24 | <kuribas> | I don't want to newtype it, because Value is the right datatype to use. |
| 2021-06-07 09:41:43 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-06-07 09:41:54 | <Taneb> | That feels like a weird instance? |
All times are in UTC.