diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-15 11:19:10 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-15 11:19:10 +0000 |
| commit | 3ff57f6184963acde7f3cc2dcf0638c0e819929a (patch) | |
| tree | e5c975ae99dd3e45f9a4e700658b39d9bf90e68f /next-lib/src/common/ConstructX.gf | |
| parent | 6b4f9715e6acb87e05b8229bafd1f41d906e6409 (diff) | |
comparative adverbs generalized to cover more of Attempto
Diffstat (limited to 'next-lib/src/common/ConstructX.gf')
| -rw-r--r-- | next-lib/src/common/ConstructX.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/next-lib/src/common/ConstructX.gf b/next-lib/src/common/ConstructX.gf index ee4decf00..0c6de51ae 100644 --- a/next-lib/src/common/ConstructX.gf +++ b/next-lib/src/common/ConstructX.gf @@ -13,7 +13,7 @@ resource ConstructX = open CommonX in { mkAdA : Str -> AdA = \s -> {s = s ; lock_AdA = <>} ; mkAdN : Str -> AdN = \s -> {s = s ; lock_AdN = <>} ; mkIAdv : Str -> IAdv = \s -> {s = s ; lock_IAdv = <>} ; - mkCAdv : Str -> CAdv = \s -> {s = s ; lock_CAdv = <>} ; + mkCAdv : Str -> Str -> CAdv = \s,p -> {s = s ; p = p ; lock_CAdv = <>} ; mkPConj : Str -> PConj = \s -> {s = s ; lock_PConj = <>} ; } |