Logs: liberachat/#haskell
| 2026-03-26 17:34:12 | <tomsmeding> | to the extent determinable statically, of course |
| 2026-03-26 17:34:34 | <dminuoso> | Well in-project is a relatively easy task that is solvable with ctags/hasktags already |
| 2026-03-26 17:34:52 | <tomsmeding> | or do you mean locating the source code on-disk? |
| 2026-03-26 17:35:02 | <dminuoso> | Yeah that. |
| 2026-03-26 17:35:07 | <dminuoso> | Across dependencies. |
| 2026-03-26 17:35:19 | <tomsmeding> | while true, I feel like that's incidental? |
| 2026-03-26 17:35:34 | <tomsmeding> | the info is all there, it's just a bit scattered |
| 2026-03-26 17:36:48 | <dminuoso> | Does GHC preserve enough information? Dont you need cabal build info for that? |
| 2026-03-26 17:36:57 | <tomsmeding> | actually, cabal already has all the info because it has to be able to build them in the first place |
| 2026-03-26 17:37:04 | <tomsmeding> | well HLS uses Cabal |
| 2026-03-26 17:37:17 | <tomsmeding> | i.e. cabal is available |
| 2026-03-26 17:37:28 | <dminuoso> | It cant be cabal alone, you need GHC for resolving names |
| 2026-03-26 17:37:36 | <tomsmeding> | which HLS also already does |
| 2026-03-26 17:37:52 | <dminuoso> | Im just saying that cabal doesnt have all the info |
| 2026-03-26 17:37:57 | <tomsmeding> | I'm not saying this is not an annoying engineering effort, but it's not like it's impossible, or even infeasible with the current architecture |
| 2026-03-26 17:38:09 | <tomsmeding> | HLS does, and it's HLS that would provide the goto-definition functionality |
| 2026-03-26 17:38:16 | <dminuoso> | The presence of CPP alone makes this a mystery to do right. :-) |
| 2026-03-26 17:38:19 | <tomsmeding> | (or HLS could have it, in any case) |
| 2026-03-26 17:38:45 | <geekosaur> | there's an open issue for it, the real problem is everything has to be rebuilt by hie-bios with additional .hi file information iirc, and there are questions as to cache management and such |
| 2026-03-26 17:38:45 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-26 17:38:47 | <dminuoso> | And Im sure TH+cross compilation turn it into an impossibility to do correctly in 100% |
| 2026-03-26 17:39:36 | <tomsmeding> | oh hm, you're right -- a .hi file won't have location information for all exported names I guess |
| 2026-03-26 17:39:41 | <tomsmeding> | isn't that what .hie files are for? |
| 2026-03-26 17:42:23 | <tomsmeding> | re imperfectly documented haskell packages: this may be one of the few examples of properly documented code https://hackage.haskell.org/package/data-aviary-0.4.0/docs/Data-Aviary-Birds.html |
| 2026-03-26 17:43:14 | <dminuoso> | GHC is an interesting example. I find its implementation and design very well documented. But its haddock is practically empty. |
| 2026-03-26 17:43:31 | <geekosaur> | that's exatcly whi hie-bios has to rebuild, to get the fat hi information |
| 2026-03-26 17:43:45 | <dminuoso> | tomsmeding: Haha! |
| 2026-03-26 17:43:50 | <dminuoso> | I love that package. |
| 2026-03-26 17:44:04 | <monochrom> | data-aviary is too easy because the types are so general that you can just add parametricity to see what they do. |
| 2026-03-26 17:44:13 | <tomsmeding> | that was the point :) |
| 2026-03-26 17:45:16 | <tomsmeding> | where it's perhaps relevant to note that when I preached this gospel to a beginning haskeller, they looked at me like I was mad and demanded why it is really too much effort to add an example to clarify some highly polymorphic type |
| 2026-03-26 17:45:31 | <monochrom> | "besselFirstKind :: RealFrac a => a -> a" would be when you have to at least link to wikipedia for what "Bessel functions" mean. Because sin, cos, tan have that type too. |
| 2026-03-26 17:45:58 | tomsmeding | thought for a second "what bird is a 'bessel'?" |
| 2026-03-26 17:46:17 | <monochrom> | heh |
| 2026-03-26 17:46:47 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-26 17:53:22 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-26 17:54:53 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-26 18:08:52 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-26 18:11:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-26 18:12:04 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-26 18:19:20 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 2026-03-26 18:20:34 | → | Square2 joins (~Square@user/square) |
| 2026-03-26 18:23:08 | × | Square quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2026-03-26 18:23:31 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-26 18:30:19 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-26 18:38:17 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:aca1:7d8e:a853:6b5d) |
| 2026-03-26 18:38:17 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:aca1:7d8e:a853:6b5d) (Changing host) |
| 2026-03-26 18:38:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-26 18:40:32 | <mesaoptimizer> | https://github.com/DataHaskell/sabela lovely |
| 2026-03-26 18:42:50 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-26 18:47:40 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-03-26 18:48:17 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-26 18:50:24 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 265 seconds) |
| 2026-03-26 18:50:25 | divlamir_ | is now known as divlamir |
| 2026-03-26 18:55:51 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 244 seconds) |
| 2026-03-26 19:02:34 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-03-26 19:02:53 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-03-26 19:06:28 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-03-26 19:08:39 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-26 19:15:35 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 245 seconds) |
| 2026-03-26 19:15:38 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2026-03-26 19:15:38 | × | tomsmeding quits (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-26 19:16:03 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-03-26 19:16:28 | → | tomsmeding joins (~tomsmedin@user/tomsmeding) |
| 2026-03-26 19:30:43 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-26 19:37:15 | × | Square2 quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-03-26 19:41:38 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-26 19:41:54 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2026-03-26 19:42:03 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-03-26 19:42:04 | → | poscat joins (~poscat@user/poscat) |
| 2026-03-26 19:43:57 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |
| 2026-03-26 19:43:57 | divlamir_ | is now known as divlamir |
| 2026-03-26 19:44:37 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.2) |
| 2026-03-26 19:46:15 | → | comonad joins (~comonad@p200300d02717df00adc247ef70bd7367.dip0.t-ipconnect.de) |
| 2026-03-26 19:48:03 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-26 19:52:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-03-26 19:56:40 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-03-26 20:03:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-26 20:05:08 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 256 seconds) |
| 2026-03-26 20:08:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2026-03-26 20:12:23 | <gentauro> | anybody know the link to `GHCi` on GitLab? :) |
| 2026-03-26 20:13:10 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-26 20:13:29 | <gentauro> | oh, got it https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/src/GHC/GHCi.hs |
| 2026-03-26 20:13:53 | × | michalz_ quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2026-03-26 20:15:45 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-26 20:19:26 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-26 20:20:47 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds) |
| 2026-03-26 20:22:31 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-26 20:22:46 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-03-26 20:35:20 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-26 20:35:49 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-26 20:35:59 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-26 20:41:25 | → | pavonia joins (~user@user/siracusa) |
| 2026-03-26 20:50:30 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-26 20:56:03 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-26 20:59:15 | × | redshuffle quits (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-03-26 20:59:23 | → | redshuffle joins (~quassel@45.43.70.75) |
| 2026-03-26 21:02:42 | × | raym quits (~ray@user/raym) (Ping timeout: 246 seconds) |
| 2026-03-26 21:09:49 | → | raym joins (~ray@user/raym) |
| 2026-03-26 21:15:45 | → | jreicher joins (~joelr@user/jreicher) |
All times are in UTC.