summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-04-17 21:03:41 +0000
committeraarne <aarne@cs.chalmers.se>2006-04-17 21:03:41 +0000
commit5ccf994499a215480bebecc31411db0217debb93 (patch)
treefd8315b51d68cac5a4b07b25851774a425c48d81
parent6eac1e2be28f91e28ff2fdc8c318bb400eb54c54 (diff)
spelling alphabet
-rw-r--r--examples/unix/CharEng.gf72
-rw-r--r--examples/unix/CharEngLett.gf52
2 files changed, 88 insertions, 36 deletions
diff --git a/examples/unix/CharEng.gf b/examples/unix/CharEng.gf
index 39d9b9d16..7348278f5 100644
--- a/examples/unix/CharEng.gf
+++ b/examples/unix/CharEng.gf
@@ -11,42 +11,42 @@ lin
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" ;
+ CDig_0 = ss "zero" ;
+ CDig_1 = ss "one" ;
+ CDig_2 = ss "two" ;
+ CDig_3 = ss "three" ;
+ CDig_4 = ss "four" ;
+ CDig_5 = ss "five" ;
+ CDig_6 = ss "six" ;
+ CDig_7 = ss "seven" ;
+ CDig_8 = ss "eight" ;
+ CDig_9 = ss "nine" ;
- 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" ;
+ L_a = ss "alpha" ;
+ L_b = ss "bravo" ;
+ L_c = ss "charlie" ;
+ L_d = ss "delta" ;
+ L_e = ss "echo" ;
+ L_f = ss "foxtrot" ;
+ L_g = ss "golf" ;
+ L_h = ss "hotel" ;
+ L_i = ss "india" ;
+ L_j = ss "juliet" ;
+ L_k = ss "kilo" ;
+ L_l = ss "lima" ;
+ L_m = ss "mike" ;
+ L_n = ss "november" ;
+ L_o = ss "oscar" ;
+ L_p = ss "papa" ;
+ L_q = ss "quebec" ;
+ L_r = ss "romeo" ;
+ L_s = ss "sierra" ;
+ L_t = ss "tango" ;
+ L_u = ss "uniform" ;
+ L_v = ss "victor" ;
+ L_w = ss "whiskey" ;
+ L_x = ss "x-ray" ;
+ L_y = ss "yankee" ;
+ L_z = ss "zulu" ;
} \ No newline at end of file
diff --git a/examples/unix/CharEngLett.gf b/examples/unix/CharEngLett.gf
new file mode 100644
index 000000000..39d9b9d16
--- /dev/null
+++ b/examples/unix/CharEngLett.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