@@ -50,15 +50,3 @@ toDefs decl =
5050
5151 -- no constraints are needed for fixity declarations
5252 Fixity _ _ _ -> []
53−
54−toEqualityDict :: Declaration t v -> Maybe (String, IO T.Type)
55−toEqualityDict decl =
56− case decl of
57− Definition _ -> Nothing
58− Datatype _ _ _ -> Nothing
59− ImportEvent _ _ _ _ -> Nothing
60− ExportEvent _ _ _ -> Nothing
61− Fixity _ _ _ -> Nothing
62− TypeAlias alias tvars tipe -> Just $ (,) alias $ do
63− pairs <- forM tvars $ \tname -> (,) tname <$> T.namedVar tname
64− TcExpr.instantiateTypeWithContext tipe (Map.fromList pairs)