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/LetterFre.gf | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'examples/letter/LetterFre.gf') diff --git a/examples/letter/LetterFre.gf b/examples/letter/LetterFre.gf index 6e2bbc850..a89ab7447 100644 --- a/examples/letter/LetterFre.gf +++ b/examples/letter/LetterFre.gf @@ -14,12 +14,12 @@ param Kas = nom | 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