diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-19 14:35:45 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-19 14:35:45 +0000 |
| commit | 7d83d90e51573d92071e4f84c33f0cd2a1ab2c36 (patch) | |
| tree | f77bae029bc96cf79bafdf3185c3fcbe87def887 /examples/peacekeeping/PeaceRes.gf | |
| parent | 9242bdfcc81dc1d6f5c1f2b2e363f4284a13c962 (diff) | |
Use overloaded API in peace keeping grammar. Still not compiling, "no instance of mkS for Cl among ... Cl ... ?"
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 } ; |