From 485938103c6f9350575b79a4d4372c0b70439e04 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Wed, 20 Jun 2018 10:06:22 +0200 Subject: Remove wide coverage translator It had now been migrated to a new repository: https://github.com/GrammaticalFramework/wide-coverage --- examples/slowApp/MkApp.hs | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 examples/slowApp/MkApp.hs (limited to 'examples/slowApp/MkApp.hs') diff --git a/examples/slowApp/MkApp.hs b/examples/slowApp/MkApp.hs deleted file mode 100644 index e53392feb..000000000 --- a/examples/slowApp/MkApp.hs +++ /dev/null @@ -1,35 +0,0 @@ --- update the import list of every language --- although possibly some extra definitions at the end --- the new files are produced in ./tmp/ --- usage: runghc MkApp.hs - -langs = words "Bul Cat Chi Dut Eng Fin Fre Ger Hin Ita Spa Swe" -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 = -- [] -- default: no extra - - [ - "", - "ComplV2V v np vp = mkVP v np vp ;", - "ComplV2A v np vp = mkVP v np vp ;", - "ComplV2Q v np vp = mkVP v np vp ;", - "ComplV2S v np vp = mkVP v np vp ;", - "ComplV3 v np vp = mkVP v np vp ;", - "" - ] \ No newline at end of file -- cgit v1.2.3