Skip to content

some API docs missing

e.g., http://autotool.imn.htwk-leipzig.de/docs/autolib-foa-1.1/Autolib-LTL-Data.html#t:Formula

the problem is in foa/autolib-foa.cabal:

Exposed-modules:
    Autolib.ORW.Type
    Autolib.LTL.Type
    Autolib.LTL.Assign
    Autolib.LTL.Eval.ORW
Other-modules:
    Autolib.ORW.Data
    Autolib.ORW.Print
    Autolib.ORW.Read
    Autolib.LTL.Data
    Autolib.LTL.Parse
    Autolib.LTL.Print

Here, *.Data should be in Exposed-Modules.