diff options
| author | krasimir <krasimir@chalmers.se> | 2009-06-13 13:36:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-06-13 13:36:41 +0000 |
| commit | c25d7be8773f2a2ee643d1d266b02bd2076f04be (patch) | |
| tree | 2e429b18a3e7e45554c062722084d3cd45ff6325 /examples/letter/LetterEng.gf | |
| parent | fb29ce7834822b3b61cbdc01b8e825d9fab36902 (diff) | |
use oper in examples
Diffstat (limited to 'examples/letter/LetterEng.gf')
| -rw-r--r-- | examples/letter/LetterEng.gf | 12 |
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 |
