diff --git a/src/stages/ast_simplified/types.ml b/src/stages/ast_simplified/types.ml index a941bf8fb..94b64044f 100644 --- a/src/stages/ast_simplified/types.ml +++ b/src/stages/ast_simplified/types.ml @@ -19,8 +19,6 @@ and declaration = * an expression *) | Declaration_constant of (expression_variable * type_expression option * inline * expression) - (* | Macro_declaration of macro_declaration *) - and expr = expression and lambda = { diff --git a/src/stages/ast_typed/types.ml b/src/stages/ast_typed/types.ml index d153a1cff..4e3355ce4 100644 --- a/src/stages/ast_typed/types.ml +++ b/src/stages/ast_typed/types.ml @@ -15,8 +15,6 @@ and declaration = * the environment after the declaration (i.e. with that new declaration added to the original environment). *) | Declaration_constant of (named_expression * inline * (full_environment * full_environment)) - (* | Macro_declaration of macro_declaration *) - and environment_element_definition = | ED_binder | ED_declaration of (annotated_expression * free_variables)