blob: b28f1e0eb0a4a8e46a56bc14032e5547facc7a88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
--# -path=.:alltenses
concrete EngReal of Eng = IrregEng ** open (R = ResEng) in {
lincat
Display = Str ;
Word = R.VForm => Str ;
Form = {s : Str ; v : R.VForm} ;
lin
-- select the forms to display (here all forms)
DAll w = w ! R.VInf ++ w ! R.VPres ++ w ! R.VPast ++ w ! R.VPPart ++ w ! R.VPresPart ;
-- this code should be generated automatically
DForm w f = w ! f.v ++ f.s ;
VInf = vf R.VInf ;
VPres = vf R.VPres ;
VPast = vf R.VPast ;
VPPart = vf R.VPPart ;
VPresPart = vf R.VPresPart ;
WVerb v = v.s ;
oper
vf : R.VForm -> {s : Str ; v : R.VForm} = \f -> {s = [] ; v = f} ; ---
}
|