embedded haskelle example: query

1 files changed, 52 insertions, 0 deletions

diff --git a/examples/query/DatabaseEng.gf b/examples/query/DatabaseEng.gf
new file mode 100644
index 000000000..6af490678
--- /dev/null
+++ b/examples/query/DatabaseEng.gf
@@ -0,0 +1,52 @@
+--# -path=.:prelude
+
+concrete DatabaseEng of Database = open Prelude in {
+
+-- english query language
+
+flags lexer=literals ; unlexer=text ;
+
+-- concrete syntax; greatly simplified - just for test purposes
+
+lin 
+  QueryS s = s ;
+  QueryQ q = q ;
+
+  PredA1 np a = prefixSS "is" (cc2 np a) ;
+
+  WhichA1 n a = ss ("which" ++ n.s ++ "are" ++ a.s) ;
+  WhichA2 n q a = ss ("which" ++ n.s ++ "are" ++ q.s ++ a.s) ;
+
+  ComplA2     = cc2 ;
+
+  Every A  = ss ("every" ++ A.s) ;
+  Some A   = ss ("some" ++ A.s) ;
+  UseInt n = n ;
+
+  Number = ss "numbers" ;
+
+  Even   = ss "even" ;
+  Odd    = ss "odd" ;
+  Prime  = ss "prime" ;
+  Equal  = ss ("equal" ++ "to") ;
+  Greater = ss ("greater" ++ "than") ;
+  Smaller = ss ("smaller" ++ "than") ;
+  Divisible = ss ("divisible" ++ "by") ;
+ 
+-- replies
+
+lin
+  Yes = ss "yes" ;
+  No = ss "no" ;
+
+  None = ss "none" ;
+  List xs = xs ;
+  One n = n ;
+  Cons = cc2 ;
+
+-- general moves
+
+lin 
+  Quit = ss "quit" ;
+  Bye = ss "bye" ;
+}