started ConstructX to add lock fields

This commit is contained in:
aarne
2006-05-22 21:03:50 +00:00
parent 1112dbed7e
commit 14d3ffa2f5
2 changed files with 25 additions and 13 deletions

View File

@@ -20,24 +20,16 @@ abstract Common = {
-- Constructed in [Text Text.html]: $Text$.
Text ; -- text consisting of several phrases
Phr ; -- phrase in a text e.g. "But come here my darling."
Text ; -- text consisting of several phrases e.g. "He is here. Why?"
Phr ; -- phrase in a text e.g. "But get out please."
-- Constructed in [Phrase Phrase.html]: $Phr$ and
Utt ; -- sentence, question, word... e.g. "be quiet"
Voc ; -- vocative or "please" e.g. "my darling"
PConj ; -- phrase-beginning conj. e.g. "therefore"
SC ; -- embedded sentence or question e.g. "that it rains"
SC ;
Adv ;
AdV ;
AdA ;
AdS ;
AdN ;
--2 Adverbs
-- Constructed in [Adverb Adverb.html].
@@ -50,9 +42,11 @@ abstract Common = {
IAdv ; -- interrogative adverb e.g. "why"
CAdv ; -- comparative adverb e.g. "more"
Pol ;
Tense ;
Ant ;
--2 Tense, polarity, and anteriority
Tense ; -- tense: present, past, future, conditional
Pol ; -- polarity: positive, negative
Ant ; -- anteriority: simultaneous, anterior
fun
PPos, PNeg : Pol ; -- I sleep/don't sleep

View File

@@ -0,0 +1,18 @@
resource ConstructX = open CommonX in {
oper
mkText : Str -> Text = \s -> {s = s ; lock_Text = <>} ;
mkPhr : Str -> Phr = \s -> {s = s ; lock_Phr = <>} ;
Utt = {s : Str} ;
Voc = {s : Str} ;
SC = {s : Str} ;
Adv = {s : Str} ;
AdV = {s : Str} ;
AdA = {s : Str} ;
AdS = {s : Str} ;
AdN = {s : Str} ;
IAdv = {s : Str} ;
CAdv = {s : Str} ;
PConj = {s : Str} ;
}