Logs: liberachat/#haskell
| 2021-07-27 13:39:42 | × | mastarija quits (~mastarija@31.217.8.174) (Ping timeout: 245 seconds) |
| 2021-07-27 13:40:28 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-27 13:41:40 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 2021-07-27 13:44:17 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 255 seconds) |
| 2021-07-27 13:44:29 | → | yahb joins (xsbot@user/mniip/bot/yahb) |
| 2021-07-27 13:46:17 | → | arthurxavierx joins (~arthurxav@201.17.157.69) |
| 2021-07-27 13:46:58 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-07-27 13:49:23 | × | lambdap quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap) |
| 2021-07-27 13:53:23 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-27 13:53:29 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Read error: Connection reset by peer) |
| 2021-07-27 13:54:06 | → | Guest67 joins (~Guest67@bxk158.neoplus.adsl.tpnet.pl) |
| 2021-07-27 13:55:11 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-27 13:55:21 | × | Guest67 quits (~Guest67@bxk158.neoplus.adsl.tpnet.pl) (Client Quit) |
| 2021-07-27 13:58:25 | → | lambdap joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-07-27 13:58:40 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-27 13:58:41 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-07-27 13:59:08 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-27 14:03:06 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 2021-07-27 14:03:39 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-07-27 14:05:46 | → | dunkeln joins (~dunkeln@94.129.69.87) |
| 2021-07-27 14:10:37 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 2021-07-27 14:12:05 | → | amahl joins (~amahl@84.251.202.64) |
| 2021-07-27 14:12:47 | → | jolly95 joins (~jolly@208.180.97.158) |
| 2021-07-27 14:14:53 | × | burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Ping timeout: 255 seconds) |
| 2021-07-27 14:16:17 | × | jolly quits (~jolly@208.180.97.158) (Ping timeout: 265 seconds) |
| 2021-07-27 14:17:35 | jolly95 | is now known as jolly |
| 2021-07-27 14:17:53 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-27 14:18:18 | → | mastarija joins (~mastarija@31.217.8.174) |
| 2021-07-27 14:19:22 | → | andreabedini[m] joins (~andreabed@2001:470:69fc:105::c821) |
| 2021-07-27 14:20:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-27 14:20:45 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-27 14:21:20 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-07-27 14:22:04 | → | arjun joins (~Srain@user/arjun) |
| 2021-07-27 14:26:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-27 14:28:21 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-27 14:30:28 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-27 14:31:42 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-07-27 14:31:55 | → | enoq joins (~enoq@194-208-179-35.lampert.tv) |
| 2021-07-27 14:31:58 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-27 14:32:24 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-27 14:33:18 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-27 14:35:06 | <dsal> | > [Nothing, Just 3] & each . _Just .~ 1 -- Arahael |
| 2021-07-27 14:35:08 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-27 14:35:08 | <lambdabot> | [Nothing,Just 1] |
| 2021-07-27 14:35:26 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-27 14:36:12 | <dsal> | Oh wait, you're doing it the other way around? |
| 2021-07-27 14:38:21 | → | abarbu joins (~user@c-66-31-23-28.hsd1.ma.comcast.net) |
| 2021-07-27 14:38:53 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b950729faca9193881d78.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-07-27 14:39:58 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-07-27 14:40:19 | ← | abarbu parts (~user@c-66-31-23-28.hsd1.ma.comcast.net) () |
| 2021-07-27 14:41:17 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-27 14:41:19 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-27 14:41:35 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-27 14:42:25 | → | Guest1981 joins (~user@c-66-31-23-28.hsd1.ma.comcast.net) |
| 2021-07-27 14:43:24 | <Guest1981> | I have a ghci question. when I run "x :: Int; x = 1" then ":t x" I get "error: Variable not in scope: x" |
| 2021-07-27 14:44:05 | <Guest1981> | Shouldn't x be in scope? |
| 2021-07-27 14:44:59 | <Orbstheorem> | Works in my shell 🤔 |
| 2021-07-27 14:45:27 | <geekosaur> | works here too |
| 2021-07-27 14:45:58 | <Guest1981> | Everything I can see online says it should work, but it doesn't |
| 2021-07-27 14:46:40 | <Orbstheorem> | If you try to print the variable, does it not work either? |
| 2021-07-27 14:48:48 | <Guest1981> | <interactive>:105:7: error: Variable not in scope: x |
| 2021-07-27 14:49:56 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-27 14:50:02 | <Orbstheorem> | That 105 is curious, how are you using ghci? |
| 2021-07-27 14:50:25 | <Guest1981> | Oh, that's just because I had run quite a few other commands before. |
| 2021-07-27 14:50:49 | <Orbstheorem> | have you tried in a fresh repl? |
| 2021-07-27 14:50:57 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-27 14:51:09 | <Orbstheorem> | Maybe you were in some scope when you originally bound it. |
| 2021-07-27 14:51:20 | <Guest1981> | Hah, so.. without -fobject-code this works. With -fobject-code it's never in scope |
| 2021-07-27 14:51:24 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-27 14:51:29 | <Guest1981> | In a fresh ghci |
| 2021-07-27 14:52:02 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-27 14:52:28 | <geekosaur> | I can reproduce that locally |
| 2021-07-27 14:52:38 | <geekosaur> | interesting |
| 2021-07-27 14:52:54 | <Guest1981> | Prelude> x :: Int; x = 1 |
| 2021-07-27 14:52:54 | <Guest1981> | Prelude> x |
| 2021-07-27 14:52:54 | <Guest1981> | 1 |
| 2021-07-27 14:52:54 | <Guest1981> | Prelude> :set -fobject-code |
| 2021-07-27 14:52:57 | <Guest1981> | Prelude> y :: Int; y = 1 |
| 2021-07-27 14:53:00 | <Guest1981> | Prelude> y |
| 2021-07-27 14:53:04 | <Guest1981> | <interactive>:5:1: error: Variable not in scope: y |
| 2021-07-27 14:53:07 | <Guest1981> | |
| 2021-07-27 14:53:10 | <Guest1981> | Is this intended behavior? |
| 2021-07-27 14:55:29 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-27 14:56:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-07-27 14:56:33 | × | jippiedoe quits (~david@77-171-152-62.fixed.kpn.net) (Ping timeout: 258 seconds) |
| 2021-07-27 14:58:20 | × | arjun quits (~Srain@user/arjun) (Ping timeout: 265 seconds) |
| 2021-07-27 15:02:10 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:63c6:890b:fddc:7714) (Quit: WeeChat 2.8) |
| 2021-07-27 15:03:04 | × | azeem quits (~azeem@62.18.161.85) (Ping timeout: 258 seconds) |
| 2021-07-27 15:03:09 | <merijn> | Yes, no, maybe |
| 2021-07-27 15:03:09 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-27 15:03:36 | → | azeem joins (~azeem@62.18.161.85) |
| 2021-07-27 15:03:45 | <merijn> | ghci never really behaved like a normal source file, but has been incrementally hacked up over the years to act more like a source file |
| 2021-07-27 15:03:52 | <geekosaur> | I can see how it might be happening, and suspect it wouldn't be readily fixable |
| 2021-07-27 15:04:27 | <geekosaur> | -fobject-code is really meant to work with something preloaded and probably doesn'[t interact very well with, er, interaction |
| 2021-07-27 15:05:00 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-27 15:05:55 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-27 15:05:56 | <geekosaur> | and yes, ghci is a hyuge mess |
| 2021-07-27 15:06:41 | <merijn> | ghci is great for toying with stuff |
| 2021-07-27 15:07:11 | <merijn> | But don't expect reasonable behaviour on all inputs that happen to be syntactically valid at the file level |
| 2021-07-27 15:07:45 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
All times are in UTC.