1
0
forked from GitHub/gf-rgl

introducing multiple inheritance

This commit is contained in:
aarne
2004-09-15 14:36:27 +00:00
parent 2581833f0f
commit b448e8904b

View File

@@ -26,17 +26,19 @@ resource ParadigmsEng = open (Predef=Predef), Prelude, SyntaxEng, ResourceEng in
-- To abstract over gender names, we define the following identifiers. -- To abstract over gender names, we define the following identifiers.
oper oper
Gender : Type = SyntaxEng.Gender ; Gender : Type ;
human : Gender ; human : Gender ;
nonhuman : Gender ; nonhuman : Gender ;
-- To abstract over number names, we define the following. -- To abstract over number names, we define the following.
Number : Type ;
singular : Number ; singular : Number ;
plural : Number ; plural : Number ;
-- To abstract over case names, we define the following. -- To abstract over case names, we define the following.
Case : Type ;
nominative : Case ; nominative : Case ;
genitive : Case ; genitive : Case ;
@@ -183,6 +185,9 @@ oper
-- hidden from the document. -- hidden from the document.
--. --.
Gender = SyntaxEng.Gender ;
Number = SyntaxEng.Number ;
Case = SyntaxEng.Case ;
human = Hum ; human = Hum ;
nonhuman = NoHum ; nonhuman = NoHum ;
singular = Sg ; singular = Sg ;