Skip to content

Commit

Permalink
spec update
Browse files Browse the repository at this point in the history
  • Loading branch information
Araq committed Jul 16, 2024
1 parent 08d6b57 commit ce3d818
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions doc/nif-spec.md
Original file line number Diff line number Diff line change
Expand Up @@ -481,10 +481,10 @@ these can be ignored.
Modules
-------

A complete NIF module consists of a list of directives followed by a single AST that starts
with a `stmts` root node.
A complete NIF module consists of a list of directives followed by other CompoundNodes.
Typically, there is a single root node of kind `stmts`.

But formally it is simply a non-empty list of `CompoundNode`:
Formally a module is simply a non-empty list of `CompoundNode`:

```
NifModule ::= CompoundNode+
Expand Down
Binary file modified doc/nif-spec.pdf
Binary file not shown.

0 comments on commit ce3d818

Please sign in to comment.