From 7d83d90e51573d92071e4f84c33f0cd2a1ab2c36 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Tue, 19 Aug 2008 14:35:45 +0000
Subject: Use overloaded API in peace keeping grammar. Still not compiling, "no
 instance of mkS for Cl among ... Cl ... ?"

---
 examples/peacekeeping/PeaceRes.gf | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'examples/peacekeeping/PeaceRes.gf')

diff --git a/examples/peacekeeping/PeaceRes.gf b/examples/peacekeeping/PeaceRes.gf
index 52d77ce3b..f39107a1e 100644
--- a/examples/peacekeeping/PeaceRes.gf
+++ b/examples/peacekeeping/PeaceRes.gf
@@ -2,6 +2,8 @@ resource PeaceRes = {
 
   param Punct = FullStop | QuestMark | ExclMark ;
 
+  param SForm = SPos | SNeg | SQuest ;
+
   oper
     stop, quest, excl : Str -> { s : Str; p : Punct } ;
     stop x = { s = x; p = FullStop } ;
-- 
cgit v1.2.3