mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-11-03 19:25:27 -07:00
resource for OCL
This commit is contained in:
1 parent
5fbb08bdbd
commit
a11f1cfe59
5 files changed
+121
-1
No files matched your search
@@ -0,0 +1,3 @@
|
||||
instance AtomEng of Atom = ResourceExtEng ** open ResourceEng in {
|
||||
oper SBranch = Str ;
|
||||
}
|
||||
@@ -0,0 +1,6 @@
|
||||
--# -path=.:../abstract:../../prelude
|
||||
|
||||
resource LogicEng = Logic with
|
||||
(Atom = AtomEng), (Resource = ResourceEng) ;
|
||||
|
||||
-- this is the standard form of a derived resource. AR 12/1/2004
|
||||
@@ -261,7 +261,7 @@ oper
|
||||
vPart = \go, goes, went, gone, up ->
|
||||
verbPart (mkVerbP3 go goes went gone) up ** {lock_V = <>} ;
|
||||
vPartReg = \get, up ->
|
||||
verbPart (regVerbP3 get) up ** {lock_V = <>} ;
|
||||
verbPart (vGen get) up ** {lock_V = <>} ;
|
||||
|
||||
mkTV = \v,p -> v ** {lock_TV = <> ; s3 = p} ;
|
||||
tvPartReg = \get, along, to -> mkTV (vPartReg get along) to ;
|
||||
|
||||
Reference in new issue
Block a user