summaryrefslogtreecommitdiff
path: root/examples/tutorial/semantics/BaseEng.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-11-11 10:28:32 +0000
committeraarne <aarne@cs.chalmers.se>2008-11-11 10:28:32 +0000
commita5300ad062b82154f3f9533e143ea35515e6c39e (patch)
treea7eddd52596e0d216f17c9c7581d6ea67f9d8879 /examples/tutorial/semantics/BaseEng.gf
parentdb18350b1e55f7edfca8f02b0b233a6a7dcbb1ec (diff)
tutorial complete with server and js
Diffstat (limited to 'examples/tutorial/semantics/BaseEng.gf')
-rw-r--r--examples/tutorial/semantics/BaseEng.gf56
1 files changed, 0 insertions, 56 deletions
diff --git a/examples/tutorial/semantics/BaseEng.gf b/examples/tutorial/semantics/BaseEng.gf
deleted file mode 100644
index bd79bc98c..000000000
--- a/examples/tutorial/semantics/BaseEng.gf
+++ /dev/null
@@ -1,56 +0,0 @@
---# -path=.:prelude
-
-concrete BaseEng of Base = open Prelude in {
-
-flags lexer=literals ; unlexer=text ;
-
--- English concrete syntax; greatly simplified - just for demo purposes
-
-lin
- PredAP = infixSS "is" ;
-
- ComplA2 = cc2 ;
-
- ModCN = cc2 ;
-
- ConjAP c = infixSS c.s ;
- ConjNP c = infixSS c.s ;
-
- UsePN a = a ;
- Every = prefixSS "every" ;
- Some = prefixSS "some" ;
-
- And = ss "and" ;
- Or = ss "or" ;
-
- UseInt n = n ;
-
- Number = ss "number" ;
-
- 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") ;
-
- Sum = prefixSS ["the sum of"] ;
- Product = prefixSS ["the product of"] ;
- GCD = prefixSS ["the greatest common divisor of"] ;
-
- WhatIs = prefixSS ["what is"] ;
- WhichAre cn ap = ss ("which" ++ cn.s ++ "is" ++ ap.s) ; ---- are
- QuestS s = s ; ---- inversion
-
- Yes = ss "yes" ;
- No = ss "no" ;
-
- Value np = np ;
- None = ss "none" ;
- Many list = list ;
-
- BasePN = infixSS "and" ;
- ConsPN = infixSS "," ;
-
-}