diff options
Diffstat (limited to 'examples/grammar-terms/MkTerms.hs')
| -rw-r--r-- | examples/grammar-terms/MkTerms.hs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/examples/grammar-terms/MkTerms.hs b/examples/grammar-terms/MkTerms.hs deleted file mode 100644 index 62daa55bd..000000000 --- a/examples/grammar-terms/MkTerms.hs +++ /dev/null @@ -1,13 +0,0 @@ -main = interact (unlines . map (mkTerm . words) . lines) - -mkTerm ws = case ws of - "==":cat:"-":expl -> unlines [ - mkFun "Cat" cat, - mkLin "Cat" "mkN" cat (unwords (takeWhile (/= "==") expl)) - ] - -mkFun pref s = unwords ["fun", pref ++ s, ":", pref, ";"] ----mkLin pref p s e = unwords ["lin", pref ++ s, "=", p, quoted e, ";"] -mkLin pref p s e = unwords ["lin", pref ++ s, "=", quoted s, ";"] - -quoted s = "\"" ++ s ++ "\"" |