From a72b54342dc49c50c86e3f48b13adfda02a07872 Mon Sep 17 00:00:00 2001 From: Nathan Rebours Date: Mon, 13 Jan 2025 15:32:11 +0100 Subject: [PATCH] Use ppxlib.migration namespace and attach loc to ppxlib.effects_syntax Signed-off-by: Nathan Rebours --- astlib/migrate_502_503.ml | 2 +- astlib/migrate_503_502.ml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/astlib/migrate_502_503.ml b/astlib/migrate_502_503.ml index 05c30ee8..0b4c99a6 100644 --- a/astlib/migrate_502_503.ml +++ b/astlib/migrate_502_503.ml @@ -326,7 +326,7 @@ and copy_pattern_desc : | Ast_502.Parsetree.Ppat_exception x0 -> Ast_503.Parsetree.Ppat_exception (copy_pattern x0) | Ast_502.Parsetree.Ppat_extension - ( { txt = "ppxlib.effect_syntax"; _ }, + ( { txt = "ppxlib.migration.ppat_effect"; _ }, PPat ({ ppat_desc = Ppat_tuple [ e; c ]; _ }, None) ) -> Ast_503.Parsetree.Ppat_effect (copy_pattern e, copy_pattern c) | Ast_502.Parsetree.Ppat_extension x0 -> diff --git a/astlib/migrate_503_502.ml b/astlib/migrate_503_502.ml index d3be09e7..3f55081d 100644 --- a/astlib/migrate_503_502.ml +++ b/astlib/migrate_503_502.ml @@ -328,13 +328,13 @@ and copy_pattern_desc loc : Ast_502.Parsetree.Ppat_exception (copy_pattern x0) | Ast_503.Parsetree.Ppat_effect (e, c) -> Ast_502.Parsetree.Ppat_extension - ( Location.{ txt = "ppxlib.effect_syntax"; loc = Location.none }, + ( Location.{ txt = "ppxlib.migration.ppat_effect"; loc }, Ast_502.Parsetree.PPat ( { ppat_desc = Ppat_tuple [ copy_pattern e; copy_pattern c ]; ppat_attributes = []; ppat_loc_stack = []; - ppat_loc = Location.none; + ppat_loc = loc; }, None ) ) | Ast_503.Parsetree.Ppat_extension x0 ->