Skip to content

Commit

Permalink
Merge pull request #528 from anmolsahoo25/patch-1
Browse files Browse the repository at this point in the history
Removed duplicate line from docs
  • Loading branch information
NathanReb authored Sep 27, 2024
2 parents 9d43bdc + 9fff607 commit 8a0cb71
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions doc/writing-ppxs.mld
Original file line number Diff line number Diff line change
Expand Up @@ -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]}.
Expand Down

0 comments on commit 8a0cb71

Please sign in to comment.