Logs: liberachat/#haskell
| 2025-11-20 17:10:54 | <geekosaur> | @where paste |
| 2025-11-20 17:10:54 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2025-11-20 17:10:55 | → | synchrom1 joins (~john@2406:5a00:2412:2c00:394c:fa0b:5fac:c256) |
| 2025-11-20 17:10:57 | × | synchromesh quits (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) (Read error: Connection reset by peer) |
| 2025-11-20 17:11:07 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 264 seconds) |
| 2025-11-20 17:11:07 | × | tessier_ quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 264 seconds) |
| 2025-11-20 17:11:10 | × | Googulator84 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-20 17:11:29 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-20 17:11:30 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2025-11-20 17:11:43 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-11-20 17:12:04 | <sam113101> | https://paste.tomsmeding.com/BaeblCYG |
| 2025-11-20 17:12:22 | <geekosaur> | not that I'll be able to hep you but I have to run; hopefully someone else is around, but they'll need to see that as well. The whole file, please. |
| 2025-11-20 17:12:26 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 2025-11-20 17:12:55 | <geekosaur> | that last line is the problem |
| 2025-11-20 17:13:27 | <geekosaur> | compiled Haskell is like C or Java, everything must be in a function or be a declaration, and the stuff you want to actually run must be in a function named main |
| 2025-11-20 17:14:24 | <sam113101> | thanks |
| 2025-11-20 17:15:59 | <fgarcia> | you can prefix the line with 'main = ' |
| 2025-11-20 17:16:29 | <fgarcia> | for multiple lines, it can instead be 'main = do' with the lines under that |
| 2025-11-20 17:18:11 | <sam113101> | do I absolutely need to write the types down? |
| 2025-11-20 17:19:10 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-20 17:19:40 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-11-20 17:21:14 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-11-20 17:22:45 | <chromoblob> | no, not absolutely, though it may help |
| 2025-11-20 17:23:01 | <mauke> | in most cases types can be inferred automatically |
| 2025-11-20 17:23:24 | <mauke> | but top-level type declarations can help the human reader (i.e. me) figure out what's going on |
| 2025-11-20 17:23:45 | <mauke> | they also help the type checker produce better error messages when something goes wrong |
| 2025-11-20 17:23:51 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-11-20 17:24:19 | <chromoblob> | there was also "monomorphism restriction" thingy, or got it changed in new GHC versions? |
| 2025-11-20 17:24:31 | <probie> | sam113101: In most cases you don't _need_ to, but it's generally a good idea. However with the code you've posted, you should probably write one for `nextCollatz` (if that's what you're still looking at) |
| 2025-11-20 17:24:35 | <mauke> | that's still a thing |
| 2025-11-20 17:25:16 | <mauke> | MR doesn't apply to this code, though |
| 2025-11-20 17:28:53 | <fgarcia> | oh, there are times when i have a function and ghci gets confused with the typing. that is what mandates the signature to me. though i also have warnings i have been ignoring too hehe |
| 2025-11-20 17:30:40 | <fgarcia> | other times if i write multiple functions without signatures and am trying to figure out why the type checker is mad, adding signatures will help narrow down the exact line causing ghc's wrath |
| 2025-11-20 17:33:38 | <fgarcia> | i like it though. ghc can be better at figuring out the types than i am. over half the time i will add the inferences to my source |
| 2025-11-20 17:34:46 | Googulator84 | is now known as Googulator |
| 2025-11-20 17:35:18 | → | jzargo joins (~jzargo@user/jzargo) |
| 2025-11-20 17:36:07 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-20 17:39:24 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-20 17:48:11 | × | annamalai quits (~annamalai@157.32.219.191) (Read error: Connection reset by peer) |
| 2025-11-20 17:48:25 | → | annamalai joins (~annamalai@2409:4042:4e39:7842::9e0a:bf0a) |
| 2025-11-20 17:51:44 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-20 18:06:20 | ← | SlackCoder parts (~SlackCode@remote.nationalgallery.org.ky) (Leaving) |
| 2025-11-20 18:07:52 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-20 18:08:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-20 18:08:11 | → | Googulator joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-20 18:09:43 | → | trickard___ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-11-20 18:09:49 | × | trickard quits (~trickard@cpe-95-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-20 18:13:28 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-20 18:13:35 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-20 18:14:56 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 2025-11-20 18:17:26 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-11-20 18:18:22 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-20 18:26:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 2025-11-20 18:32:18 | → | Square3 joins (~Square@user/square) |
| 2025-11-20 18:38:24 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-11-20 18:39:19 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2025-11-20 18:42:00 | × | acidjnk quits (~acidjnk@p54ad5278.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-11-20 18:42:40 | → | acidjnk joins (~acidjnk@p200300d6e71719764cede409c055dd1e.dip0.t-ipconnect.de) |
| 2025-11-20 18:46:28 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-11-20 18:48:05 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-20 18:58:13 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Ping timeout: 264 seconds) |
| 2025-11-20 19:10:46 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-20 19:14:38 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-20 19:18:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-20 19:18:58 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-20 19:24:01 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-20 19:29:39 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-20 19:30:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-20 19:46:04 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-20 19:50:50 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2025-11-20 20:03:45 | <[exa]> | chromoblob: pls act https://github.com/vim/vim/pull/18776 |
| 2025-11-20 20:22:06 | <mauke> | wtf is hsError |
| 2025-11-20 20:22:12 | <mauke> | is that even defined anywhere? |
| 2025-11-20 20:25:59 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-11-20 20:29:10 | × | myme quits (~myme@2a01:799:d5e:5f00:bda5:94b2:bf90:135b) (Ping timeout: 246 seconds) |
| 2025-11-20 20:30:28 | → | myme joins (~myme@2a01:799:d5e:5f00:6de6:8396:5003:6575) |
| 2025-11-20 20:31:34 | OWS | is now known as Shark8 |
| 2025-11-20 20:33:12 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-20 20:36:16 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-20 20:38:26 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) |
| 2025-11-20 20:41:58 | × | trickard___ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-20 20:42:12 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-11-20 20:56:24 | × | Googulator quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-20 20:56:42 | → | Googulator joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-20 20:57:06 | <[exa]> | mauke: where did you spot that? (I think that's some dark part of RTS no?) |
| 2025-11-20 20:58:31 | <mauke> | https://github.com/vim/vim/pull/18776/files#diff-a259ffdb52394665fa95128d84680db73aa50c75a2863c14219d26a4d803740cL179 |
| 2025-11-20 20:59:28 | <[exa]> | ahhhhhhhh |
| 2025-11-20 20:59:40 | <[exa]> | some random internal vim label for something that should be highlighted |
| 2025-11-20 21:00:17 | <mauke> | hsError is not an internal vim thing |
| 2025-11-20 21:00:50 | <tomsmeding> | interesting, hsError is not linked to anything in that file |
| 2025-11-20 21:01:47 | <[exa]> | yeah it's not really used (or generated) |
| 2025-11-20 21:01:54 | <[exa]> | they only have cError |
| 2025-11-20 21:02:40 | <[exa]> | I guess we can do another PR to remove these? |
| 2025-11-20 21:02:43 | <[exa]> | :D |
| 2025-11-20 21:03:09 | <tomsmeding> | does it matter? |
| 2025-11-20 21:03:51 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-20 21:05:39 | <tomsmeding> | (I ask because there's probably people that have bound hsError to something in their config files; editors mucking around with the built-in syntax files for no good reason is annoying because every detail of that file is public API and thus breaks someone somewhere) |
| 2025-11-20 21:06:12 | <tomsmeding> | I've had to fix the highlighting of my buftabs in vim twice already because something changed in the syntax class assignment for them |
| 2025-11-20 21:06:45 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-20 21:06:45 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
All times are in UTC.