Skip to content

Commit

Permalink
[ lint ] Please the suddenly raged linter
Browse files Browse the repository at this point in the history
  • Loading branch information
buzden committed Jan 25, 2023
1 parent 8fb1b57 commit 48a0520
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@

* New magic constants `__LOC__`, `__FILE__`, `__LINE__`, `__COL__`
substituted at parsing time with a string corresponding to the
location, file name, line or column number associated to the
location, filename, line or column number associated to the
magic constant's position.

### REPL changes
Expand Down Expand Up @@ -495,7 +495,7 @@ Changed
some non-deterministic properties (see issue
[#1552](https://github.com/idris-lang/idris2/issues/1552)).
NOTE: Due to complications with race-conditions, Chez not having channels
built in, etc, the reimplementation changes the semantics slightly:
built-in, etc, the reimplementation changes the semantics slightly:
`channelPut` no longer blocks until the value has been received under the
`chez` backend, but instead only blocks if there is already a value in the
channel that has not been received.
Expand Down

0 comments on commit 48a0520

Please sign in to comment.