diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-04-13 14:19:27 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-04-13 14:19:27 +0000 |
| commit | 8edb88dcabe9d5a23c6efcedcd056cd16194f4a4 (patch) | |
| tree | 501f8408b8f0b76a5fd5d5f058da7b305dfbe395 /examples/unix/CharEng.gf | |
| parent | 47dedcf256976495f405a802920fa3012f683a52 (diff) | |
extended unix grammars with character-based spelling
Diffstat (limited to 'examples/unix/CharEng.gf')
| -rw-r--r-- | examples/unix/CharEng.gf | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/examples/unix/CharEng.gf b/examples/unix/CharEng.gf new file mode 100644 index 000000000..39d9b9d16 --- /dev/null +++ b/examples/unix/CharEng.gf @@ -0,0 +1,52 @@ +concrete CharEng of Char = open Prelude in { + +lin + BaseChr c = c ; + ConsChr = infixSS "," ; + + C_dot = ss "dot" ; + C_pipe = ss "pipe" ; + C_hyphen = ss (variants {"dash" ; "hyphen" ; "minus"}) ; + CSmall = prefixSS "small" ; + CCap = prefixSS "capital" ; + CC c = c ; + + CDig_0 = ss "0" ; + CDig_1 = ss "1" ; + CDig_2 = ss "2" ; + CDig_3 = ss "3" ; + CDig_4 = ss "4" ; + CDig_5 = ss "5" ; + CDig_6 = ss "6" ; + CDig_7 = ss "7" ; + CDig_8 = ss "8" ; + CDig_9 = ss "9" ; + + L_a = ss "A" ; + L_b = ss "B" ; + L_c = ss "C" ; + L_d = ss "D" ; + L_e = ss "E" ; + L_f = ss "F" ; + L_g = ss "G" ; + L_h = ss "H" ; + L_i = ss "I" ; + L_j = ss "J" ; + L_k = ss "K" ; + L_l = ss "L" ; + L_m = ss "M" ; + L_n = ss "N" ; + L_o = ss "O" ; + L_p = ss "P" ; + L_q = ss "Q" ; + L_r = ss "R" ; + L_s = ss "S" ; + L_t = ss "T" ; + L_u = ss "U" ; + L_v = ss "V" ; + L_w = ss "W" ; + L_x = ss "X" ; + L_y = ss "Y" ; + L_z = ss "Z" ; + +}
\ No newline at end of file |