summaryrefslogtreecommitdiff
path: root/examples/peacekeeping/PeaceCatI.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/peacekeeping/PeaceCatI.gf')
-rw-r--r--examples/peacekeeping/PeaceCatI.gf22
1 files changed, 0 insertions, 22 deletions
diff --git a/examples/peacekeeping/PeaceCatI.gf b/examples/peacekeeping/PeaceCatI.gf
deleted file mode 100644
index 312bc1b1e..000000000
--- a/examples/peacekeeping/PeaceCatI.gf
+++ /dev/null
@@ -1,22 +0,0 @@
-incomplete concrete PeaceCatI of PeaceCat =
- Cat ** open Lang, PeaceRes, Prelude in {
-
- lincat
- MassN = N ;
- Phrase = { s : Str; p : Punct } ;
- PhraseWritten = { s : Str } ;
- PhraseSpoken = { s : Str } ;
-
- lin
- Written x = mkWritten x.s x.p ;
- Spoken x = { s = x.s } ;
-
- oper
- mkWritten : Str -> Punct -> { s : Str } ;
- mkWritten x p = case p of {
- FullStop => { s = x ++ "." } ; --TFullStop (ss s) TEmpty ;
- QuestMark => { s = x ++ "?" } ; --TQuestMark (ss s) TEmpty ;
- ExclMark => { s = x ++ "!" } --TExclMark (ss s) TEmpty
- } ;
-
-} \ No newline at end of file