Logs: liberachat/#haskell
| 2021-07-17 19:57:31 | <c_wraith> | so it's trying! |
| 2021-07-17 19:57:36 | <Franciman> | it is a module I specified in the other-modules |
| 2021-07-17 19:57:45 | <Franciman> | so I wrote ListCursor |
| 2021-07-17 19:57:49 | <Franciman> | instead of ListCursor.lhs |
| 2021-07-17 19:58:08 | <Franciman> | I am really temped to ignore cabal and automatically go with ghc |
| 2021-07-17 19:58:11 | <Franciman> | let me see what I can do |
| 2021-07-17 19:58:29 | → | DNH joins (~DNH@2a02:8108:1100:16d8:6178:3a47:8c71:dd89) |
| 2021-07-17 19:58:35 | <geekosaur> | so it ran unlit, so it correctly found it was literate haskell. yoou could try running unlit manually and see what it choked on |
| 2021-07-17 19:58:40 | <c_wraith> | that error doesn't look like you left out an extension |
| 2021-07-17 19:58:50 | <c_wraith> | that error looks like it was incorrect literate haskell |
| 2021-07-17 19:59:28 | <Franciman> | uhm |
| 2021-07-17 20:00:10 | <Franciman> | geekosaur: how do I call unlit? |
| 2021-07-17 20:00:16 | <Franciman> | I don't have an unlit program |
| 2021-07-17 20:00:32 | <geekosaur> | it's in the library directory |
| 2021-07-17 20:01:09 | <Franciman> | c_wraith: here is my code: https://bpa.st/A7JA |
| 2021-07-17 20:01:11 | <geekosaur> | ghc --print-libdir |
| 2021-07-17 20:01:29 | <geekosaur> | then unlit < yoursourcefile |
| 2021-07-17 20:01:48 | <geekosaur> | with the fukll path to the unlit binary in the libdir |
| 2021-07-17 20:02:36 | <Franciman> | geekosaur: sorry to bother again |
| 2021-07-17 20:02:38 | <Franciman> | but I get |
| 2021-07-17 20:02:43 | <Franciman> | usage: unlit [-q] [-n] [-c] [-#] [-P] [-h label] file1 file2 |
| 2021-07-17 20:02:47 | <Franciman> | and there is no help :D |
| 2021-07-17 20:02:59 | <Franciman> | oh I am stupid |
| 2021-07-17 20:03:01 | <Franciman> | sorry |
| 2021-07-17 20:03:03 | <c_wraith> | I don't know if you can mix bird tracks and tex-style literate haskell in one file |
| 2021-07-17 20:03:10 | <Franciman> | no ok, same problem |
| 2021-07-17 20:03:31 | <Franciman> | c_wraith: uhm let me see |
| 2021-07-17 20:04:24 | <geekosaur> | I don't think you can |
| 2021-07-17 20:04:31 | <Franciman> | and in fact! |
| 2021-07-17 20:04:35 | <Franciman> | thank you all |
| 2021-07-17 20:04:48 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds) |
| 2021-07-17 20:05:10 | <Franciman> | only sad thing is that I can't use the # for markdown titles |
| 2021-07-17 20:05:25 | × | peterhil_ quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-17 20:05:27 | <geekosaur> | unlit could use more documentation but I think it's largely fallen out of use |
| 2021-07-17 20:05:36 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 258 seconds) |
| 2021-07-17 20:05:38 | <Franciman> | nobody likes literate haskell? |
| 2021-07-17 20:05:53 | <oso> | you could use the === underline in place of the # for header |
| 2021-07-17 20:05:56 | <Franciman> | I mean, I understand, it does not even sync with haddock |
| 2021-07-17 20:06:01 | <c_wraith> | in very broad terms, nobody likes literate programming |
| 2021-07-17 20:06:08 | <Franciman> | yup, thanks oso |
| 2021-07-17 20:06:43 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-17 20:06:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-17 20:07:52 | × | phma quits (phma@2001:5b0:211b:8138:4237:c684:b0bd:87ec) (Read error: Connection reset by peer) |
| 2021-07-17 20:08:19 | <maerwald> | Franciman: no, it's not even bidirectional |
| 2021-07-17 20:08:37 | <maerwald> | there's a project that fixes that |
| 2021-07-17 20:08:43 | <maerwald> | but even then, not sure |
| 2021-07-17 20:09:09 | <maerwald> | https://blog.esciencecenter.nl/entangled-1744448f4b9f |
| 2021-07-17 20:09:25 | <maerwald> | https://github.com/entangled/entangled |
| 2021-07-17 20:09:30 | <Franciman> | entangled is cool, I use it at my job |
| 2021-07-17 20:09:36 | <Franciman> | it has some sore points |
| 2021-07-17 20:09:39 | <Franciman> | and a lit of bugs |
| 2021-07-17 20:09:50 | <Franciman> | lot* lol |
| 2021-07-17 20:09:52 | <maerwald> | that's why it's LITerate |
| 2021-07-17 20:09:54 | <maerwald> | lol |
| 2021-07-17 20:09:57 | <Franciman> | LOL |
| 2021-07-17 20:10:07 | <Franciman> | but it does not integrate well with ghc etc |
| 2021-07-17 20:10:09 | → | phma joins (phma@2001:5b0:211f:63f8:7d7f:3315:17e4:ee3e) |
| 2021-07-17 20:11:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-17 20:13:34 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-17 20:16:13 | <dsal> | Franciman: the last time I wrote literate Haskell, it was in markdown. It's not bad. |
| 2021-07-17 20:18:02 | <Franciman> | it is cool yeah |
| 2021-07-17 20:18:02 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 255 seconds) |
| 2021-07-17 20:18:25 | <Franciman> | only thing is, as it seems, it does not mix well with haddock |
| 2021-07-17 20:18:32 | <Franciman> | you still have to add haddock special comments |
| 2021-07-17 20:20:33 | × | Guest9 quits (~Guest9@43.242.116.127) (Quit: Connection closed) |
| 2021-07-17 20:21:13 | <dsal> | Yeah, haddock is lacking in a few ways. I also want TH to work with it. |
| 2021-07-17 20:22:54 | <dmj`> | an alternative haddock could be nice, could call it koi pond |
| 2021-07-17 20:24:15 | <geekosaur> | there was at some point a discussion on cafe about incompatibilities between haddock markup and markdown that would make supporting both difficult |
| 2021-07-17 20:29:00 | × | azeem quits (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-17 20:29:09 | → | azeem joins (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) |
| 2021-07-17 20:32:46 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-17 20:34:34 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-17 20:35:56 | <monochrom> | It is sad that we now have to add "bi-directional" to refer to actual literate programming. |
| 2021-07-17 20:36:31 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-17 20:36:33 | <monochrom> | Candidly, lhs is merely a nicer syntax for vanilla comments. |
| 2021-07-17 20:38:15 | <monochrom> | Literate programming needed to be invented as a thing distinct from mere comments because the biggest part is to present your code in an order the computer doesn't expect. If a system can't do this, it is not literate programming. |
| 2021-07-17 20:39:48 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-17 20:40:48 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-17 20:40:59 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-07-17 20:41:12 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-17 20:44:40 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-17 20:45:40 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-17 20:49:13 | → | niemand joins (~niemand@p5796acb3.dip0.t-ipconnect.de) |
| 2021-07-17 20:50:39 | × | niemand quits (~niemand@p5796acb3.dip0.t-ipconnect.de) (Client Quit) |
| 2021-07-17 20:51:00 | → | acidjnk joins (~acidjnk@p200300d0c72b9505d437a5269bf657ec.dip0.t-ipconnect.de) |
| 2021-07-17 20:51:41 | × | Null_A quits (~null_a@2601:645:8700:2290:b55a:33c2:1e1d:f229) (Remote host closed the connection) |
| 2021-07-17 20:52:14 | <dmj`> | It would be really nice if Haskell abided by industry standards instead of custom stuff, like use toml, markdown, LLVM instead of cabal files, haddock syntax, Cmm |
| 2021-07-17 20:53:39 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-07-17 20:53:57 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-17 20:54:04 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-17 20:55:29 | <geekosaur> | llvm's not gonna happen unless you want to try to upstream a bunch of stuff so ghc can inform llvm of cps-ed stuff |
| 2021-07-17 20:56:01 | <geekosaur> | and then arrange for ghc to be able to do so, but nobody's going to do that until there's somewhere for it to go |
| 2021-07-17 20:57:04 | <Rembane> | Sounds like a moment 22 |
| 2021-07-17 20:57:45 | <geekosaur> | no, they know what needs to change and how, but it would require a bunch of llvm changes that are more or less ghc-specific |
| 2021-07-17 20:57:54 | <geekosaur> | so they're unlikely to ever happen |
| 2021-07-17 20:58:33 | <Rembane> | Got it! Then I misread, thank you for the clarification. |
| 2021-07-17 20:58:48 | <noctux> | dmj`: industry standards? do you mean XML, more XML and visual-C? :P |
| 2021-07-17 20:59:16 | <dmj`> | noctux: yes, XML over SOAP. |
| 2021-07-17 20:59:30 | <maerwald> | dmj`: afair someone was actually working on providing a toml interface to cabal? |
| 2021-07-17 20:59:39 | → | Null_A joins (~null_a@2601:645:8700:2290:b55a:33c2:1e1d:f229) |
All times are in UTC.