KDoc Not Working in 4.0
jsinglet opened this issue · comments
Using KDoc on the examples included with the download doesn't seem to be working.
In k/tutorial/1_k/1_lambda/lesson_1 I tried:
> kompile lambda.k
> kdoc --format html --debug -v
Parse command line options = 12
No html files are generated. I get similar results if I omit the --format option. Also, running:
> kdoc lambda.k
Has the same effect.
I am on macOS Sierra, but trying it on Windows 10 produces the same result.
Am I doing something wrong with kdoc?
Hi @jsinglet! Unfortunately, this is a known issue:kdoc has not been implemented in K 4.0. There really should be a warning explaining the situation when someone calls kdoc so sorry for that.
I don't know if fixing kdoc is on anyone's todo list. I was in fact considering looking into this myself though I don't know how long it would take to get a complete fix working. Anyhow, thanks for opening up this issue; I will bring this up in our meeting tomorrow and ask if anyone is at least planning to work on this and if not I will consider taking some time to work on it.
@msaxena2 and @cos may be able to provide you with more information regarding the issue.
Hi @ayberkt! Is it possible to use a older version of kdoc with a newer version of kompile? I suspect not, but I figure I'd ask in case.
@jsinglet, it's been on our todo list for a while but we didn't get to it.
In some cases it's possible to compile the same program with K 3.6, and kdoc is available for it.