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