Skip to content
This repository has been archived by the owner on Oct 17, 2023. It is now read-only.

Commit

Permalink
Merge pull request #323 from consentsam/consentsam-patch-1
Browse files Browse the repository at this point in the history
Consentsam patch 1
  • Loading branch information
critesjosh authored Aug 14, 2023
2 parents 50b2e21 + 3211f81 commit 85599b3
Show file tree
Hide file tree
Showing 6 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion docs/language_concepts/07_mutability.md
Original file line number Diff line number Diff line change
Expand Up @@ -79,7 +79,7 @@ fn main(runtime_var: Field) -> pub Field {
}
```

As `runtime_var`` is a argument to the circuit it cannot be known at compile time and so assigning it to a comptime variable should fail. A circuit's arguments is the only way in which non-comptime variables can enter the circuit (excluding [brillig](./unconstrained) foreign calls).
As `runtime_var` is a argument to the circuit it cannot be known at compile time and so assigning it to a comptime variable should fail. A circuit's arguments is the only way in which non-comptime variables can enter the circuit (excluding [brillig](./unconstrained) foreign calls).

## Globals

Expand Down
2 changes: 1 addition & 1 deletion docs/language_concepts/09_distinct.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ that the witnesses being returned as public inputs are all unique.
The `distinct` keyword is only used for return values on program entry points (usually the `main()`
function).

When using `disctinct` and `pub` simultaneously, `distinct` comes first. See the example below.
When using `distinct` and `pub` simultaneously, `distinct` comes first. See the example below.

You can read more about the problem this solves
[here](https://github.com/noir-lang/noir/issues/1183).
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ mixed coordinate representation is employed).
### Points

(`std::ec::{tecurve,montcurve,swcurve}::{affine,curvegroup}::Point`), i.e. points lying on the
elliptic curve. For a curve configuration `c` and a point `p`, it may be checked checked that `p`
elliptic curve. For a curve configuration `c` and a point `p`, it may be checked that `p`
does indeed lie on `c` by calling `c.contains(p1)`.

## Methods
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -79,7 +79,7 @@ fn main(runtime_var: Field) -> pub Field {
}
```

As `runtime_var`` is a argument to the circuit it cannot be known at compile time and so assigning it to a comptime variable should fail. A circuit's arguments is the only way in which non-comptime variables can enter the circuit (excluding [brillig](./unconstrained) foreign calls).
As `runtime_var` is a argument to the circuit it cannot be known at compile time and so assigning it to a comptime variable should fail. A circuit's arguments is the only way in which non-comptime variables can enter the circuit (excluding [brillig](./unconstrained) foreign calls).

## Globals

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ that the witnesses being returned as public inputs are all unique.
The `distinct` keyword is only used for return values on program entry points (usually the `main()`
function).

When using `disctinct` and `pub` simultaneously, `distinct` comes first. See the example below.
When using `distinct` and `pub` simultaneously, `distinct` comes first. See the example below.

You can read more about the problem this solves
[here](https://github.com/noir-lang/noir/issues/1183).
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ mixed coordinate representation is employed).
### Points

(`std::ec::{tecurve,montcurve,swcurve}::{affine,curvegroup}::Point`), i.e. points lying on the
elliptic curve. For a curve configuration `c` and a point `p`, it may be checked checked that `p`
elliptic curve. For a curve configuration `c` and a point `p`, it may be checked that `p`
does indeed lie on `c` by calling `c.contains(p1)`.

## Methods
Expand Down

0 comments on commit 85599b3

Please sign in to comment.