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