Bonjour,
Je viens de regarder et il me semble que la partie qui créée une boucle sans fin est la comparaison entre deux contextes `if nctx = nctx' then` dans le code de `lexp_decls_1` branche Pmcall.
`lexp_decls_macro ` retourne de façon correcte mais aucune branche n'est sélectionné par la suite. De plus, `lexp_decls_1` n'ai pas exécuté une seconde fois.