@@ -43,7 +43,7 @@ instance ToString Canonical where
43data Listing a = Listing
43data Listing a = Listing
44 { _explicits :: [a]
44 { _explicits :: [a]
45 , _open :: Bool
45 , _open :: Bool
46− }
46+ } deriving (Eq,Ord)
48openListing :: Listing a
48openListing :: Listing a
49openListing = Listing [] True
49openListing = Listing [] True
@@ -53,7 +53,7 @@ data Value
53 = Value !String
53 = Value !String
54 | Alias !String
54 | Alias !String
55 | ADT !String !(Listing String)
55 | ADT !String !(Listing String)
58instance Pretty Raw where
58instance Pretty Raw where
59 pretty (Raw var) = variable var
59 pretty (Raw var) = variable var