examples/tutorial/semantics/BaseEng.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
31
32
33
34
35
36
37
38

--# -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 ;

  ConjS  c = infixSS c.s ;
  ConjAP c = infixSS c.s ;
  ConjNP c = infixSS c.s ;

  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") ;
 
}