diff options
Diffstat (limited to 'src/GF/Data/OrdSet.hs')
| -rw-r--r-- | src/GF/Data/OrdSet.hs | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/src/GF/Data/OrdSet.hs b/src/GF/Data/OrdSet.hs index 84169a699..8761b2176 100644 --- a/src/GF/Data/OrdSet.hs +++ b/src/GF/Data/OrdSet.hs @@ -1,12 +1,15 @@ - - --------------------------------------------------- --- The class of ordered sets --- as described in section 2.2.1 - --- and an example implementation, --- derived from the implementation in appendix A.1 - +{- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + Filename: OrdSet.hs + Author: Peter Ljunglöf + Time-stamp: <2004-05-07 14:16:12 peb> + + Description: The class of ordered sets, as described in + "Pure Functional Parsing", section 2.2.1, + and an example implementation + derived from appendix A.1 + + OBSOLETE! this is only used in cf/ChartParser.hs + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} module OrdSet (OrdSet(..), Set) where |