diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-06-20 10:06:22 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-06-20 10:06:22 +0200 |
| commit | 485938103c6f9350575b79a4d4372c0b70439e04 (patch) | |
| tree | 9e70c3158c31cac10c7a33710174f07c21103ff1 /examples/app/MkApp.hs | |
| parent | 6ce57c0505dece51fe78b06da75dceefc5d75045 (diff) | |
Remove wide coverage translator
It had now been migrated to a new repository:
https://github.com/GrammaticalFramework/wide-coverage
Diffstat (limited to 'examples/app/MkApp.hs')
| -rw-r--r-- | examples/app/MkApp.hs | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/examples/app/MkApp.hs b/examples/app/MkApp.hs deleted file mode 100644 index 2537b1cc5..000000000 --- a/examples/app/MkApp.hs +++ /dev/null @@ -1,27 +0,0 @@ --- update the import list of every language --- although possibly some extra definitions at the end --- the new files are produced in ./tmp/ which has to be created first --- usage: runghc MkApp.hs - -langs = words "Bul Cat Chi Dut Eng Est Fin Fre Ger Hin Ita Jpn Spa Swe Tha" -appCnc lang = "App" ++ lang ++ ".gf" - -appAbs = "App.gf" - -main = do - imports <- readFile appAbs >>= return . getImports - mapM_ (\f -> readFile f >>= writeFile ("tmp/" ++ f) . (putImports imports)) (map appCnc langs) - -getImports = takeWhile (/= ']') . tail . dropWhile (/='[') - -putImports i s = - let - (s1,_:s2) = span (/='[') s - (_, s3) = span (/=']') s2 - in s1 ++ "[" ++ i ++ extra s3 - -extra s = unlines (init (lines s) ++ extraLines ++ ["}"]) - -extraLines = [ --- " PassV2 v2 = passiveVP v2 ;" - ] -- default: no extra |