diff options
Diffstat (limited to 'examples/peacekeeping/PeaceCatI.gf')
| -rw-r--r-- | examples/peacekeeping/PeaceCatI.gf | 22 |
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 |
