Make PMatching a newtype for clarity.

[match/match.git] / program / PMInstance.hs

diff --git a/program/PMInstance.hs b/program/PMInstance.hs
index 70d7529..7fac0bb 100644 (file)
--- a/program/PMInstance.hs
+++ b/program/PMInstance.hs
@@ -23,4 +23,5 @@ instance Show PMInstance where
                        map (\j -> ("P#" ++ show j) : map (\i -> show (prefA ! (i, j))) theRvrs) theProps
                )
 
-type PMatching = [(Int, Int)]
+newtype PMatching = PMatching [(Int, Int)]
+       deriving Show