Skip to content

Commit

Permalink
book: simpliify paragraph, drop bullet poitns
Browse files Browse the repository at this point in the history
  • Loading branch information
W95Psp committed Dec 3, 2024
1 parent 4f60fb4 commit 277edab
Showing 1 changed file with 1 addition and 4 deletions.
5 changes: 1 addition & 4 deletions book/src/contributing/architecture.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 277edab

Please sign in to comment.