From 9f91bd21360065a0ae38da532431a218e12eca5a Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 6 Jan 2006 21:49:25 +0000
Subject: [PATCH] concatenation string patterns

---
 prelude/Predef.gf             |  1 +
 resource-1.0/german/ResGer.gf | 27 +++++++++++++--------------
 2 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/prelude/Predef.gf b/prelude/Predef.gf
index 11d094793..198e9449d 100644
--- a/prelude/Predef.gf
+++ b/prelude/Predef.gf
@@ -10,6 +10,7 @@ resource Predef = {
   oper Int  : Type = variants {} ;                     -- the type of integers
   oper Ints : Int -> Type = variants {} ;              -- the type of integers from 0 to n
 
+  oper CC     : Tok -> Tok -> Tok      = variants {} ; -- concatenation; used in patterns
   oper length : Tok ->        Int      = variants {} ; -- length of string
   oper drop   : Int -> Tok -> Tok      = variants {} ; -- drop prefix of length
   oper take   : Int -> Tok -> Tok      = variants {} ; -- take prefix of length
diff --git a/resource-1.0/german/ResGer.gf b/resource-1.0/german/ResGer.gf
index 426f50c7b..d02919845 100644
--- a/resource-1.0/german/ResGer.gf
+++ b/resource-1.0/german/ResGer.gf
@@ -195,25 +195,23 @@ resource ResGer = ParamGer ** open Prelude in {
 
   VP : Type = {
       s : Agr => VPForm => {
-        fin : Str ;          -- V1 hat  ---s1
-        inf : Str            -- V2 gesagt ---s4
+        fin : Str ;          -- V1 hat
+        inf : Str            -- V2 gesagt
         } ;
-      a1 : Polarity => Str ; -- A1 nicht ---s3
-      n2 : Agr => Str ;      -- N2 dich  ---s5
-      a2 : Str ;             -- A2 heute ---s6
-      ext : Str              -- S-Ext dass sie kommt ---s7
+      a1 : Polarity => Str ; -- A1 nicht
+      n2 : Agr => Str ;      -- N2 dich
+      a2 : Str ;             -- A2 heute
+      ext : Str              -- S-Ext dass sie kommt
       } ;
 
   predV : Verb -> VP = \verb ->
     let
-      vfin : Tense -> Agr -> Str = \t,a -> 
-        verb.s ! vFin t a ;
+      vfin : Tense -> Agr -> Str = \t,a -> verb.s ! vFin t a ;
       vpart = verb.s ! VPastPart APred ;
       vinf = verb.s ! VInf ;
 
       vHaben = auxPerfect verb ;
-      hat : Tense -> Agr -> Str = \t,a -> 
-        vHaben ! vFin t a ;
+      hat : Tense -> Agr -> Str = \t,a -> vHaben ! vFin t a ;
       haben : Str = vHaben ! VInf ;
 
       wird : Agr -> Str = \a -> werden_V.s ! VPresInd a.n a.p ;  
@@ -340,10 +338,6 @@ resource ResGer = ParamGer ** open Prelude in {
           }
     } ;
 
-  conjThat : Str = "daß" ;
-
-  conjThan : Str = "als" ;
-
   reflPron : Agr => Str = table {
     {n = Sg ; p = P1} => "mich" ;
     {n = Sg ; p = P2} => "dich" ;
@@ -353,6 +347,11 @@ resource ResGer = ParamGer ** open Prelude in {
     {n = Pl ; p = P3} => "sich"
     } ;
 
+  conjThat : Str = "daß" ;
+
+  conjThan : Str = "als" ;
+
+
 -- For $Numeral$.
 --
 --  mkNum : Str -> Str -> Str -> Str -> {s : DForm => CardOrd => Str} =