From 0bf909b0fd50a29f9d52a82f50c12af0c6abbc9e Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 19 Dec 2006 23:34:36 +0000 Subject: overload resolution with value type, for experiment --- examples/logic/Prooftext.gf | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'examples/logic/Prooftext.gf') diff --git a/examples/logic/Prooftext.gf b/examples/logic/Prooftext.gf index 3a5a61894..4c193740a 100644 --- a/examples/logic/Prooftext.gf +++ b/examples/logic/Prooftext.gf @@ -32,7 +32,7 @@ oper definition : Decls -> Object -> Object -> Section = \decl,a,b -> - appendText decl (mkUtt (mkS (pred b a))) ; + appendText decl (mkText (mkPhr (mkUtt (mkS (pred b a)))) TEmpty) ; theorem : Prop -> Proof -> Section = \prop,prf -> appendText (mkText (mkPhr prop) TEmpty) prf ; @@ -64,17 +64,17 @@ oper = appendText ; cases : Num -> Branching - = \nu -> - mkS (pred have_V2 (mkNP we_Pron) (mkNP (mkDet nu) case_N)) ; + = \n -> + mkS (pred have_V2 (mkNP we_Pron) (mkNP (mkDet n) case_N)) ; by : Ref -> Adverb - = \h -> mkAdv by8means_Prep h ; + = \h -> C.mkPConj (mkAdv by8means_Prep h).s ; therefore : Adverb = therefore_PConj ; afortiori : Adverb = C.mkPConj ["a fortiori"] ; hypothesis : Adverb - = mkAdv by8means_Prep (mkNP (mkDet DefArt) hypothesis_N) ; + = C.mkPConj (mkAdv by8means_Prep (mkNP (mkDet DefArt) hypothesis_N)).s ; ref : Label -> Ref = \h -> h ; -- cgit v1.2.3