Logs: liberachat/#haskell
| 2026-01-04 18:12:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 18:16:53 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 18:17:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-04 18:17:49 | <gentauro> | monochrom: xD |
| 2026-01-04 18:18:29 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 18:26:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-04 18:28:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 18:33:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 18:38:54 | → | cptaffe` joins (~cptaffe@user/cptaffe) |
| 2026-01-04 18:39:05 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 245 seconds) |
| 2026-01-04 18:42:45 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 18:43:13 | × | cptaffe` quits (~cptaffe@user/cptaffe) (Ping timeout: 264 seconds) |
| 2026-01-04 18:43:39 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 2026-01-04 18:43:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 18:44:35 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 18:48:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 18:59:30 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 244 seconds) |
| 2026-01-04 18:59:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 19:01:15 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 2026-01-04 19:02:27 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-01-04 19:04:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 19:07:05 | × | housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-04 19:07:59 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-01-04 19:08:27 | × | Brumaire quits (~no@94.140.114.73) (Remote host closed the connection) |
| 2026-01-04 19:09:25 | → | housemate joins (~housemate@202.7.247.155) |
| 2026-01-04 19:10:30 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 19:11:04 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 19:12:31 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 19:13:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 19:14:24 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 19:15:56 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-01-04 19:16:10 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-01-04 19:17:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 19:21:55 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2026-01-04 19:28:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-04 19:29:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 19:33:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 19:34:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-01-04 19:36:10 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-01-04 19:37:16 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-01-04 19:37:29 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-01-04 19:38:12 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-04 19:41:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-04 19:41:55 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-01-04 19:45:49 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-01-04 19:48:03 | × | housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-04 19:50:14 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-04 19:50:36 | → | housemate joins (~housemate@202.7.247.155) |
| 2026-01-04 19:52:09 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 19:52:39 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 19:59:27 | × | housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-04 20:00:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 20:05:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-04 20:08:50 | → | Everything joins (~Everythin@217.147.163.184) |
| 2026-01-04 20:10:16 | → | housemate joins (~housemate@202.7.247.155) |
| 2026-01-04 20:11:22 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 20:12:59 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 20:14:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 20:14:47 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2026-01-04 20:15:17 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-01-04 20:16:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-04 20:20:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 20:28:54 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 20:30:18 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 20:32:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 20:34:11 | → | jreicher joins (~user@user/jreicher) |
| 2026-01-04 20:37:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 20:40:06 | <larsivi> | My local setup is with GHC 9.6.7 (stable/recommended in ghcup), and this comipiles code I have (not mine originally). When I open it in neovim with HLS and stuff enabled, I get an error diagnostic, ghc-76037. The error page doesn't show at which version it arrived, but my assumption is that it is newer than my ghc. Is this correct? |
| 2026-01-04 20:42:02 | <mauke> | ? ?? |
| 2026-01-04 20:42:25 | <mauke> | how can your ghc emit a diagnostic that is newer than your ghc? |
| 2026-01-04 20:44:42 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 20:45:08 | <Clint> | maybe it's psychic |
| 2026-01-04 20:45:35 | <mauke> | > \A -> () |
| 2026-01-04 20:45:45 | <mauke> | oh, no lambdabot |
| 2026-01-04 20:46:36 | <EvanR> | % :t \x -> () |
| 2026-01-04 20:46:36 | <yahb2> | \x -> () :: p -> () |
| 2026-01-04 20:46:46 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 20:46:49 | <mauke> | % \A -> () |
| 2026-01-04 20:46:49 | <yahb2> | <interactive>:151:2: error: [GHC-76037] ; Not in scope: data constructor ‘A’ |
| 2026-01-04 20:48:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 20:48:44 | → | euandreh joins (~Thunderbi@2804:d59:8970:b900:ab52:d56:3299:431) |
| 2026-01-04 20:49:51 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 2026-01-04 20:52:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 21:03:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 21:06:56 | <tomsmeding> | larsivi: is that NotInScope? Can you paste the full error? |
| 2026-01-04 21:06:59 | <tomsmeding> | @where paste |
| 2026-01-04 21:07:11 | <tomsmeding> | oh lambdabot is dead |
| 2026-01-04 21:07:17 | <tomsmeding> | https://paste.tomsmeding.com |
| 2026-01-04 21:08:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 21:09:45 | <tomsmeding> | larsivi: also check if you have 9.6.7 "set" (as default) in ghcup, and if you have a cabal.project or stack.yaml that may influence HLS |
| 2026-01-04 21:09:50 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-01-04 21:10:08 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-01-04 21:11:23 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2026-01-04 21:11:36 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2026-01-04 21:12:19 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-01-04 21:14:43 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2026-01-04 21:15:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 21:20:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-04 21:21:58 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2026-01-04 21:22:34 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
All times are in UTC.