@@ -50,15 +50,3 @@ toDefs decl =
51 -- no constraints are needed for fixity declarations
51 -- no constraints are needed for fixity declarations
52 Fixity _ _ _ -> []
52 Fixity _ _ _ -> []
54−toEqualityDict :: Declaration t v -> Maybe (String, IO T.Type)
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)