1
0
forked from GitHub/gf-rgl

Update AbsFunDoc to remove refs to translator and app

This commit is contained in:
John J. Camilleri
2018-06-20 10:19:03 +02:00
parent a3ad324dc2
commit 4e25a9c2c9
2 changed files with 600 additions and 324 deletions

View File

@@ -11,9 +11,9 @@ import Data.List
-- this creates the file absfuns.html
main = do
system "grep \" : \" ../src/abstract/*.gf ../src/translator/Extensions.gf ../../examples/app/App.gf | grep \" -- \" >absfuns.tmp"
system "grep \" : \" ../src/abstract/*.gf | grep \" -- \" >absfuns.tmp"
funs <- readFile "absfuns.tmp" >>= return . lines
deps <- readFile "../src/uddeps.labels" >>= return . lines
deps <- readFile "../src/dep.labels" >>= return . lines
let depmap = M.fromListWith (\x y -> x ++ [";"] ++ y) [(fun,deps) | fun:deps <- map words deps]
let rows = sort $ filter (flip S.notMember hiddenModules . last) $ map (mkRow depmap) (map words funs)
let entries = map (sepFields . addLink) rows
@@ -47,10 +47,7 @@ putStrLnIf = putStrLn
addLink fs =
let
m = last fs
abstract = case m of
"App" -> "../../examples/app/"
"Extensions" -> "translator/"
_ -> "abstract/"
abstract = "abstract/"
in init fs ++ ["[" ++ m ++ " ../src/" ++ abstract ++ m ++ ".gf]"]
-- for tab separated generation
@@ -59,4 +56,3 @@ addLink fs =
-- italics e = e
-- putStrLnIf = return ()
-- addLink fs = fs

File diff suppressed because it is too large Load Diff