summaryrefslogtreecommitdiff
path: root/examples/unix/UnixEng.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
commite9e80fc389365e24d4300d7d5390c7d833a96c50 (patch)
treef0b58473adaa670bd8fc52ada419d8cad470ee03 /examples/unix/UnixEng.gf
parentb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (diff)
changed names of resource-1.3; added a note on homepage on release
Diffstat (limited to 'examples/unix/UnixEng.gf')
-rw-r--r--examples/unix/UnixEng.gf43
1 files changed, 0 insertions, 43 deletions
diff --git a/examples/unix/UnixEng.gf b/examples/unix/UnixEng.gf
deleted file mode 100644
index 5b0ca944f..000000000
--- a/examples/unix/UnixEng.gf
+++ /dev/null
@@ -1,43 +0,0 @@
---# -path=.:prelude
-
-concrete UnixEng of Unix = CharEng ** open Prelude in {
-
- flags lexer=text ;
-
-{-
- lincat
- Line ;
- [Command] {1} ;
- Command ;
- File ;
--}
-
- lin
- CommWords w = w ;
-
- Redirect = infixSS (optStr "and" ++ ["write the result to"]) ;
- Pipe = infixSS "then" ;
- Comm c = c ;
-
- WhatTime = ss ["what time is it"] ;
- WhatDate = ss ["what date is it"] ;
- WhereNow = ss ["where am I now"] ;
- Remove = prefixSS "remove" ;
- Copy x y = ss ("copy" ++ x.s ++ "to" ++ y.s) ;
- Linecount = prefixSS ["how many lines has"] ;
- Wordcount = prefixSS ["how many words has"] ;
- Grep x y = ss (["show the lines containing"] ++ x.s ++ "in" ++ y.s) ;
- Cat = prefixSS ["show the contents of"] ;
-
- It = ss "it" ;
-
- FileChars = prefixSS (optStr ["the file"]) ;
- WordChars = prefixSS (optStr ["the word"]) ;
-
- FileSuffix = prefixSS ["all files ending with"] ;
- FilePrefix = prefixSS ["all files beginning with"] ;
-
- BaseWord w = w ;
- ConsWord = infixSS "space" ;
-
-}