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/LetterFin.gf | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'examples/letter/LetterFin.gf') diff --git a/examples/letter/LetterFin.gf b/examples/letter/LetterFin.gf index 19d131fae..f19dfe65c 100644 --- a/examples/letter/LetterFin.gf +++ b/examples/letter/LetterFin.gf @@ -15,12 +15,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