diff options
Diffstat (limited to 'examples/peacekeeping/PeaceRes.gf')
| -rw-r--r-- | examples/peacekeeping/PeaceRes.gf | 2 |
1 files changed, 2 insertions, 0 deletions
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 } ; |