mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-24 03:52:50 -06:00
lock fields in DialogueI
This commit is contained in:
@@ -14,8 +14,8 @@ incomplete concrete DialogueI of Dialogue = open Multi, Prelude in {
|
|||||||
Oper2 = V3 ;
|
Oper2 = V3 ;
|
||||||
|
|
||||||
lin
|
lin
|
||||||
IRequest a = {s = a.s ! ARequest ; point = a.point} ;
|
IRequest a = {s = a.s ! ARequest ; point = a.point ; lock_Utt = <>} ;
|
||||||
IConfirm a = {s = a.s ! AConfirm ; point = a.point} ;
|
IConfirm a = {s = a.s ! AConfirm ; point = a.point ; lock_Utt = <>} ;
|
||||||
IAnswer a = a ;
|
IAnswer a = a ;
|
||||||
IIssue a = a ;
|
IIssue a = a ;
|
||||||
|
|
||||||
@@ -23,7 +23,7 @@ incomplete concrete DialogueI of Dialogue = open Multi, Prelude in {
|
|||||||
INo = no_Phr ** noPoint ;
|
INo = no_Phr ** noPoint ;
|
||||||
IObject _ ob = UttNP ob ;
|
IObject _ ob = UttNP ob ;
|
||||||
|
|
||||||
PAction a = {s = a.s ! AConfirm ; point = a.point} ;
|
PAction a = {s = a.s ! AConfirm ; point = a.point ; lock_Utt = <>} ;
|
||||||
|
|
||||||
QKind k =
|
QKind k =
|
||||||
UttQS (UseQCl TPres ASimul PPos
|
UttQS (UseQCl TPres ASimul PPos
|
||||||
|
|||||||
Reference in New Issue
Block a user