Logs: liberachat/#haskell
| 2021-06-24 18:53:09 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-24 18:53:13 | → | DNH joins (~DNH@8.43.122.6) |
| 2021-06-24 18:53:43 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:1013:ebb1:53:41c1) (Ping timeout: 246 seconds) |
| 2021-06-24 18:56:02 | × | Morrow quits (~MorrowM_@147.161.12.76) (Read error: Connection reset by peer) |
| 2021-06-24 18:56:03 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-24 18:57:15 | <mrmonday> | fork the library, remove the putStrLn's? |
| 2021-06-24 18:57:29 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2021-06-24 18:57:48 | <mrmonday> | oh, missed that that mesasge was sent a day ago, my bad :< |
| 2021-06-24 18:58:05 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 18:58:12 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 252 seconds) |
| 2021-06-24 18:58:37 | → | Morrow joins (~MorrowM_@147.161.12.76) |
| 2021-06-24 18:58:53 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 18:59:09 | × | NieDzejkob quits (~quassel@195.149.98.3) (Ping timeout: 265 seconds) |
| 2021-06-24 18:59:45 | → | dunj3 joins (~dunj3@2001:16b8:307b:a700:5aa3:7c87:9028:f4cb) |
| 2021-06-24 19:00:16 | lbseale_ | is now known as lbseale |
| 2021-06-24 19:02:54 | × | ajb quits (~ajb@cupid.whatbox.ca) (Quit: bye) |
| 2021-06-24 19:03:31 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-06-24 19:05:35 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-24 19:06:27 | → | killsushi joins (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) |
| 2021-06-24 19:06:28 | × | killsushi quits (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) (Changing host) |
| 2021-06-24 19:06:28 | → | killsushi joins (~killsushi@user/killsushi) |
| 2021-06-24 19:08:53 | → | slack1256 joins (~slack1256@181.203.79.103) |
| 2021-06-24 19:10:43 | → | ub joins (~Thunderbi@p200300ecdf259dee1d074ed27adb7f01.dip0.t-ipconnect.de) |
| 2021-06-24 19:11:40 | × | ubert quits (~Thunderbi@p200300ecdf259dc21d074ed27adb7f01.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-24 19:11:40 | ub | is now known as ubert |
| 2021-06-24 19:13:43 | <peutri> | merely 2 hours or so |
| 2021-06-24 19:14:48 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 19:14:55 | → | peterhil_ joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 19:15:35 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 2021-06-24 19:15:38 | <slack1256> | Does Maybe have nominal or representational type role on its parameter? |
| 2021-06-24 19:16:10 | <Hecate> | I don't think it has a type role annotation… |
| 2021-06-24 19:16:30 | <slack1256> | Is there a flag I can put on ghci so it prints the inferred one? |
| 2021-06-24 19:17:15 | <Hecate> | hmm, you're going to have to scour the manual, I can't tell you that from the top of my head |
| 2021-06-24 19:17:58 | <slack1256> | Oh well. Thanks anyways! |
| 2021-06-24 19:18:46 | <glguy> | slack1256: representational |
| 2021-06-24 19:19:35 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Ping timeout: 256 seconds) |
| 2021-06-24 19:20:25 | × | awth13 quits (~user@user/awth13) (Ping timeout: 265 seconds) |
| 2021-06-24 19:20:34 | <slack1256> | That seems correct. How did you know? |
| 2021-06-24 19:20:49 | × | johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 250 seconds) |
| 2021-06-24 19:20:57 | × | DNH quits (~DNH@8.43.122.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 19:20:59 | <glguy> | that's the default, so if it doesn't say then it's representational |
| 2021-06-24 19:21:13 | <slack1256> | I mean, Maybe is parametric on `a` so it seems like representational should be. But is there a way the print to the inferred role? |
| 2021-06-24 19:21:27 | <glguy> | GHCi doesn't bother printing it for the most common case |
| 2021-06-24 19:21:49 | <slack1256> | Ah, so if ghci doesn't bother printing it, I can assume is representational. |
| 2021-06-24 19:21:53 | <slack1256> | Cool! |
| 2021-06-24 19:22:14 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-24 19:22:55 | × | chaosite quits (~chaosite@user/chaosite) (Quit: Lost terminal) |
| 2021-06-24 19:24:21 | → | DNH joins (~DNH@8.43.122.6) |
| 2021-06-24 19:24:36 | → | johnw joins (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-06-24 19:25:27 | → | junkicide joins (~user@2a01:e0a:195:20c0:91d0:f47d:73ce:dac7) |
| 2021-06-24 19:25:41 | × | peterhil_ quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-06-24 19:25:50 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 19:27:27 | → | manveru[m]1 joins (~manveru@user/manveru) |
| 2021-06-24 19:28:27 | <junkicide> | does anyone use haskell-mode in emacs? I want to know what version of ghci it is running |
| 2021-06-24 19:29:07 | <Vq> | I use haskell-mode, I wasn't aware it used ghci. |
| 2021-06-24 19:29:34 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-06-24 19:29:46 | <junkicide> | when you do C-c C-l, the so-called Haskell Interactive mode. isn't that ghci? |
| 2021-06-24 19:30:28 | <byorgey> | junkicide: I think it just runs whatever ghci is in your PATH. It doesn't come with a copy of ghc. |
| 2021-06-24 19:31:07 | <Vq> | It just says: Run ‘C-h f haskell-mode‘ for instruction how to setup a Haskell interaction mode. |
| 2021-06-24 19:31:23 | <junkicide> | byorgey: I see. where can I edit/view this path variable? |
| 2021-06-24 19:31:54 | <byorgey> | junkicide: what OS are you on? |
| 2021-06-24 19:31:58 | <Vq> | I use nix-shell to edit it. :o) |
| 2021-06-24 19:32:02 | <junkicide> | ubuntu |
| 2021-06-24 19:32:29 | <byorgey> | junkicide: if you open up a shell prompt (aka terminal) and type 'ghci', what happens? |
| 2021-06-24 19:32:36 | <Vq> | export PATH=my_ghc_prefix:$PATH # in .profile or similar |
| 2021-06-24 19:33:07 | <byorgey> | junkicide: https://superuser.com/questions/488173/how-can-i-edit-the-path-on-linux -- in case you actually need to edit your PATH |
| 2021-06-24 19:33:20 | <junkicide> | byorgey: it launches ghci 8.8.4 |
| 2021-06-24 19:33:49 | × | johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 250 seconds) |
| 2021-06-24 19:33:59 | <byorgey> | junkicide: ok, so that's probably what version haskell-mode will use. |
| 2021-06-24 19:34:02 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 19:34:55 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 19:35:07 | <junkicide> | thanks Vq and byorgey! |
| 2021-06-24 19:36:25 | <Vq> | You seem to be able to change it in Emacs. |
| 2021-06-24 19:36:44 | <Vq> | M-x customize-group haskell-interactive |
| 2021-06-24 19:37:46 | <Vq> | It mentions settings for cabal repl as well. I'm unsure when those come in to play. |
| 2021-06-24 19:38:15 | <Vq> | I mainly use haskell-mode for assisting with indentation. |
| 2021-06-24 19:38:39 | <monochrom> | It is used (instead of the ghci setting) when haskell-mode autodetects you have a foo.cabal file |
| 2021-06-24 19:39:25 | <junkicide> | is run-haskell part of haskell-mode? or is it something different? |
| 2021-06-24 19:39:48 | <monochrom> | run-haskell? runhaskell? |
| 2021-06-24 19:40:21 | <junkicide> | M-x run-haskell |
| 2021-06-24 19:40:32 | <Vq> | run-haskell seem to be a function from the haskell-mode package. |
| 2021-06-24 19:41:47 | <junkicide> | when I type M-x run-haskell, it says it's running ghci 8.6.5 which isn't the version I run from my shell prompt when I type ghci |
| 2021-06-24 19:42:19 | <junkicide> | so I'm a little confused why M-x run-haskell is running an inferior version |
| 2021-06-24 19:44:50 | <Vq> | That's not what they mean by inferior-haskell. |
| 2021-06-24 19:45:50 | <Vq> | Have you tried running ghci from an eshell or similar? Maybe Emacs runs with a different PATH. |
| 2021-06-24 19:46:12 | → | talismanick joins (~user@2601:644:8502:d700::f19d) |
| 2021-06-24 19:47:49 | <Vq> | Or maybe haskell-process-path-ghci is set to something other than just "ghci". |
| 2021-06-24 19:48:07 | <Vq> | C-h v haskell-process-path-ghci |
| 2021-06-24 19:48:54 | <geekosaur> | if you started a gui emacs from a window manager, its $PATH may be different from that in a terminal especially on non-Debian-derived systems |
| 2021-06-24 19:51:08 | <Vq> | junkicide is on Ubuntu |
| 2021-06-24 19:51:43 | × | Guest9 quits (~Guest9@43.242.116.62) (Quit: Connection closed) |
| 2021-06-24 19:54:50 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 19:55:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 19:57:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-24 19:59:21 | × | Cena quits (~textual@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 20:02:02 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-24 20:02:50 | → | safinaskar joins (~safinaska@109-252-90-89.nat.spd-mgts.ru) |
| 2021-06-24 20:03:13 | → | Guest95 joins (~Guest95@c-73-96-117-87.hsd1.or.comcast.net) |
| 2021-06-24 20:03:33 | <safinaskar> | is it possible to have two different versions of same lib in dependency tree for my project? |
| 2021-06-24 20:03:43 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
All times are in UTC.