examples/unix/UnixEng.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

--# -path=.:prelude

concrete UnixEng of Unix = open Prelude in {

  flags unlexer=textlit ; lexer=textlit ;

{-
  lincat
    Line ;
    [Command] {1} ;
    Command ;
    File ;
-}

  lin
    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"] ;

    Name x = x ;
    It = ss "it" ;

}