From 9fff607f3f28ebc6021899170a62df4c8093a665 Mon Sep 17 00:00:00 2001 From: Anmol Date: Tue, 24 Sep 2024 19:20:55 -0400 Subject: [PATCH] Removed duplicate line from docs Signed-off-by: Anmol Sahoo --- doc/writing-ppxs.mld | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc/writing-ppxs.mld b/doc/writing-ppxs.mld index c8dba8317..ff67a6593 100644 --- a/doc/writing-ppxs.mld +++ b/doc/writing-ppxs.mld @@ -448,8 +448,6 @@ Global transformations are the most general kind of transformation. As such, the factorised, resulting in slower compilation time. - If you don't make sure that you really follow all {{!"good-practices"}good practices}, you might end up messing up the global developer experience. -- If you don't make sure that you really follow all {{!"good-practices"}good practices}, you might end up messing up the global developer experience. - For all these reasons, a global transformation should be avoided whenever a context-free transformation could do the job, which by experience seems to be most of the time. The API for defining a global transformation is easy. A global transformation consists simply of the function and can be directly be registered with {{!Ppxlib.Driver.register_transformation}[Driver.register_transformation]}.