diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-03 20:42:09 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-03 20:42:09 +0000 |
| commit | 24207d40e9cb56173de22d9a424975f0da0bc416 (patch) | |
| tree | 2c221dc4e6f9f7a4d665fe118e0cda12d3ea7290 /next-lib/src/api/Combinators.gf | |
| parent | 27de3c0e7b13a4674cf5829ccbb00b118e916ae8 (diff) | |
extended AP with Ord and compar in 1.5
Diffstat (limited to 'next-lib/src/api/Combinators.gf')
| -rw-r--r-- | next-lib/src/api/Combinators.gf | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/next-lib/src/api/Combinators.gf b/next-lib/src/api/Combinators.gf index 16e184fc1..07431c9af 100644 --- a/next-lib/src/api/Combinators.gf +++ b/next-lib/src/api/Combinators.gf @@ -80,12 +80,6 @@ incomplete resource Combinators = open Cat, Structural, Constructors in { neg : RCl -> RS }; ---2 Text append - --- This is not in ground API, because it would destroy parsing. - - appendText : Text -> Text -> Text ; - --. pred = overload { |