Changeset 10903 for trunk/Comorphisms/CFOL2IsabelleHOL.hs

Timestamp:

28.10.2008 12:15:47 (13 months ago)

Author:

maeder

Message:

use nubOrdOn instead of nubBy

Files:

• trunk/Comorphisms/CFOL2IsabelleHOL.hs (modified) (2 diffs)

trunk/Comorphisms/CFOL2IsabelleHOL.hs

@@ -48 +48 @@
 import Common.ProofTree
 import Common.Result
+import Common.Utils (nubOrdOn)
 
 import qualified Data.Map as Map
@@ -136 +137 @@
                 Sort_gen_ax _ _ -> False
                 _ -> True) sens
-    unique_sort_gen_axs = List.nubBy
-            ( \ (Sort_gen_ax cs1 _) (Sort_gen_ax cs2 _) ->
-                  any (flip elem $ map newSort cs1) $ map newSort cs2
-            ) $ map sentence sort_gen_axs
+    unique_sort_gen_axs = nubOrdOn (\ (Sort_gen_ax cs _) ->
+                                    Set.fromList $ map newSort cs)
+                          $ map sentence sort_gen_axs
     (freeTypes, genTypes) = List.partition (\ (Sort_gen_ax _ b) -> b)
                             $ unique_sort_gen_axs