Replace noreturn type with an attribute

1 files changed, 6 insertions, 6 deletions

diff --git a/boot/ast.cc b/boot/ast.cc
index 87d6313..bdc9089 100644
--- a/boot/ast.cc
+++ b/boot/ast.cc
@@ -237,9 +237,9 @@ namespace elna::boot
         {
             parameter.second->accept(this);
         }
-        if (declaration->heading().return_type.proper_type != nullptr)
+        if (declaration->heading().return_type != nullptr)
         {
-            declaration->heading().return_type.proper_type->accept(this);
+            declaration->heading().return_type->accept(this);
         }
         if (declaration->body.has_value())
         {
@@ -394,9 +394,9 @@ namespace elna::boot
         {
             field.second->accept(this);
         }
-        if (expression->return_type.proper_type != nullptr)
+        if (expression->return_type != nullptr)
         {
-            expression->return_type.proper_type->accept(this);
+            expression->return_type->accept(this);
         }
     }
 
@@ -949,14 +949,14 @@ namespace elna::boot
     }
 
     procedure_type_expression::procedure_type_expression(const source_position position,
-            std::vector<field_declaration>&& parameters, return_t return_type)
+            std::vector<field_declaration>&& parameters, type_expression *return_type)
         : node(position), return_type(return_type), parameters(std::move(parameters))
     {
     }
 
     procedure_type_expression::~procedure_type_expression()
     {
-        delete return_type.proper_type;
+        delete return_type;
     }
 
     void procedure_type_expression::accept(parser_visitor *visitor)