test with numerals

This commit is contained in:
aarne
2004-09-17 14:02:30 +00:00
parent e2f00638e2
commit ee3e5b0ae5
5 changed files with 89 additions and 0 deletions

View File

@@ -0,0 +1,12 @@
resource NumeralsResEng = {
param DForm = unit | teen | ten ;
oper mkNum : Str -> Str -> Str -> {s : DForm => Str} =
\two -> \twelve -> \twenty ->
{s = table {unit => two ; teen => twelve ; ten => twenty}} ;
oper regNum : Str -> {s : DForm => Str} =
\six -> mkNum six (six + "teen") (six + "ty") ;
oper ss : Str -> {s : Str} = \s -> {s = s} ;
}