From c25d7be8773f2a2ee643d1d266b02bd2076f04be Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 13 Jun 2009 13:36:41 +0000 Subject: use oper in examples --- examples/letter/LetterHeb.gf | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'examples/letter/LetterHeb.gf') diff --git a/examples/letter/LetterHeb.gf b/examples/letter/LetterHeb.gf index 62443724a..c50d6102c 100644 --- a/examples/letter/LetterHeb.gf +++ b/examples/letter/LetterHeb.gf @@ -10,12 +10,12 @@ param Kas = nom | dat | acc ; param DepNum = depnum | cnum Num ; param DepGen = depgen | cgen Gen ; -lintype SS = {s : Str} ; -lintype SSDep = {s : Num => Gen => Str} ; -- needs Num and Gen -lintype SSSrc = {s : Str ; n : Num ; g : Gen} ; -- gives Num and Gen -lintype SSSrc2 = {s : Num => Gen => Str ; n : DepNum ; g : DepGen} ; -- gives&needs -lintype SSDep2 = {s : DepNum => DepGen => Num => Gen => Str} ; -- needs Auth's&Rec's -lintype SSSrcGen = {s : Str ; n : Num ; g : Gen} ; -- gives Num and Gen +oper SS = {s : Str} ; +oper SSDep = {s : Num => Gen => Str} ; -- needs Num and Gen +oper SSSrc = {s : Str ; n : Num ; g : Gen} ; -- gives Num and Gen +oper SSSrc2 = {s : Num => Gen => Str ; n : DepNum ; g : DepGen} ; -- gives&needs +oper SSDep2 = {s : DepNum => DepGen => Num => Gen => Str} ; -- needs Auth's&Rec's +oper SSSrcGen = {s : Str ; n : Num ; g : Gen} ; -- gives Num and Gen oper ss : Str -> SS = \s -> {s = s} ; -- cgit v1.2.3