Thomas H
I did some work ~2015 to eliminate the mutual dependencies between the GF.* and the PGF.* modules, and as a result of that it was possible to create `pgf.cabal`, which...
The example can be reduced a little bit more: ``` abstract TestAbs = { cat Temp ; Cl ; S ; fun UseCl : Temp -> Cl -> S ;...
Hmm, maybe it is not only lock fields that can cause problems, maybe record subtyping in general can cause problems, in this case a mismatch between records {s,g,n} and {g,n}....
The cron job that keeps www.grammaticalframework.org updated runs `make html` after pulling from github, so if you want to run more stuff, all you need to do is add it...
@odanoburu yes, it pulls gf-rgl too. It resides under lib, where it was before the repository split (but this could be changed). gfdoc wasn't installed, but it is now (assuming...
@odanoburu yes.
@odanoburu In principle yes, but it looks like something more is needed to make it work. The Makefile assumes that GF_LIB_PATH is defined and that a directory $(GF_LIB_PATH)/alltenses exists. I...
The compiled RGL should be reused obviously, but I think this dependency should be made explicit in the Makefile(s), and all the commands needed to build the docs should also...
I have pushed a patch that adds a doc target in the main Makefile. It calls on doc/Makefile to build the documentation, after building the RGL. I am also looking...
@odanoburu It is not live yet, because it would overwrite the existing synopsis.html. Does #48 fix that? What I think #48 should do is `git mv synopsis.html synopisis-v3.9.html` to make...