From e07d9dea344e79bfa90def98d965d422b288f600 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 12 Apr 2006 21:14:32 +0000
Subject: unix command grammar started

---
 examples/unix/UnixUni.gf | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 examples/unix/UnixUni.gf

(limited to 'examples/unix/UnixUni.gf')

diff --git a/examples/unix/UnixUni.gf b/examples/unix/UnixUni.gf
new file mode 100644
index 000000000..e0898853f
--- /dev/null
+++ b/examples/unix/UnixUni.gf
@@ -0,0 +1,30 @@
+--# -path=.:prelude
+
+concrete UnixUni of Unix = open Prelude in {
+
+  flags unlexer=codelit ; lexer=codelit ;
+
+{-
+  lincat
+    Line ;
+    [Command] {1} ;
+    Command ;
+    File ;
+-}
+
+  lin
+    Pipe = infixSS "|" ;
+    Comm c = c ;
+
+    WhatTime = ss ["date +%D"] ;
+    WhatDate = ss ["date +%T"] ;
+    WhereNow = ss ["pwd"] ;
+    Remove = prefixSS "rm" ;
+    Copy x y = ss ("cp" ++ x.s ++ y.s) ;
+    Linecount = prefixSS ["wc -l"] ;
+    Wordcount = prefixSS ["wc -w"] ;
+
+    Name x = x ;
+    It = ss [] ;
+
+}
-- 
cgit v1.2.3