summaryrefslogtreecommitdiff
path: root/examples/letter/LetterEng.gf
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-06-13 13:36:41 +0000
committerkrasimir <krasimir@chalmers.se>2009-06-13 13:36:41 +0000
commitc25d7be8773f2a2ee643d1d266b02bd2076f04be (patch)
tree2e429b18a3e7e45554c062722084d3cd45ff6325 /examples/letter/LetterEng.gf
parentfb29ce7834822b3b61cbdc01b8e825d9fab36902 (diff)
use oper in examples
Diffstat (limited to 'examples/letter/LetterEng.gf')
-rw-r--r--examples/letter/LetterEng.gf12
1 files changed, 6 insertions, 6 deletions
diff --git a/examples/letter/LetterEng.gf b/examples/letter/LetterEng.gf
index 3ceb7896c..e5da98b86 100644
--- a/examples/letter/LetterEng.gf
+++ b/examples/letter/LetterEng.gf
@@ -12,12 +12,12 @@ param Num = sg | pl ;
param Kas = nom | acc ;
param DepNum = depnum | cnum Num ;
-lintype SS = {s : Str} ;
-lintype SSDep = {s : Num => Sex => Str} ; -- needs Num and Sex
-lintype SSSrc = {s : Str ; n : Num ; x : Sex} ; -- gives Num and Sex
-lintype SSSrc2 = {s : Num => Sex => Str ; n : DepNum ; x : Sex} ; -- gives and needs
-lintype SSDep2 = {s : DepNum => Sex => Num => Sex => Str} ; -- needs Auth's & Recp's
-lintype SSSrcNum = {s : Str ; n : Num} ; -- gives Num only
+oper SS = {s : Str} ;
+oper SSDep = {s : Num => Sex => Str} ; -- needs Num and Sex
+oper SSSrc = {s : Str ; n : Num ; x : Sex} ; -- gives Num and Sex
+oper SSSrc2 = {s : Num => Sex => Str ; n : DepNum ; x : Sex} ; -- gives and needs
+oper SSDep2 = {s : DepNum => Sex => Num => Sex => Str} ; -- needs Auth's & Recp's
+oper SSSrcNum = {s : Str ; n : Num} ; -- gives Num only
oper