1
0
forked from GitHub/gf-core

spelling alphabet

This commit is contained in:
aarne
2006-04-17 21:03:41 +00:00
parent 6eac1e2be2
commit 5ccf994499
2 changed files with 88 additions and 36 deletions

View File

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

View File

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