From 277edab277b141835b7cf5fb39dc7bf91d8f5df6 Mon Sep 17 00:00:00 2001 From: Lucas Franceschino Date: Wed, 27 Nov 2024 16:02:35 +0100 Subject: [PATCH] book: simpliify paragraph, drop bullet poitns --- book/src/contributing/architecture.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/book/src/contributing/architecture.md b/book/src/contributing/architecture.md index 083f2c113..2fb766a27 100644 --- a/book/src/contributing/architecture.md +++ b/book/src/contributing/architecture.md @@ -52,10 +52,7 @@ The internal AST is defined using a **functor** that takes a list of type-level Features are for instances, mutation, loops, unsafe code. The enumeration [`Features.Enumeration`](https://hacspec.org/hax/engine/hax-engine/Hax_engine/Features/Enumeration/index.html) lists all those features. -**Feature Witnesses:** - -- On relevant AST nodes, feature witnesses are included to enforce constraints at the type level. -- **Example:** In the `loop` expression constructor, a witness of type `F.loop` is used, where `F` represents the current feature set. If `F.loop` is an empty type, constructing a `loop` expression is prohibited, ensuring that loops are disallowed in contexts where they are not supported. +**Feature Witnesses:** On relevant AST nodes, feature witnesses are included to enforce constraints at the type level. For example, in the `loop` expression constructor, a witness of type `F.loop` is used, where `F` represents the current feature set. If `F.loop` is an empty type, constructing a `loop` expression is prohibited, ensuring that loops are disallowed in contexts where they are not supported. ### Transformation Phases