Skip to content

docs: fix wrongly capitalized variable in branded docs - #1482

Closed
JameEnder wants to merge 1 commit into
arktypeio:mainfrom
JameEnder:patch-1
Closed

docs: fix wrongly capitalized variable in branded docs#1482
JameEnder wants to merge 1 commit into
arktypeio:mainfrom
JameEnder:patch-1

Conversation

@JameEnder

Copy link
Copy Markdown

Instead of even its Even in one of the two examples, which results in the later usage infering as any; confused me a couple of times already :D

Instead of "even", its "Even", which results in the later usage infering as "any", which is incorrect
@github-project-automation github-project-automation Bot moved this to To do in arktypeio Jul 25, 2025
@JameEnder JameEnder changed the title fix: wrongly capitalized variable in branded docs docs: fix wrongly capitalized variable in branded docs Jul 25, 2025
```ts
// @noErrors
const Even = type("(number % 2)#even")
const even = type("(number % 2)#even")

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for raising this!

Current convention is actually for these types to be capitalised (as on L238 etc.).

Would you mind adjusting this to make the two examples capitalised?

@ssalbdivad

Copy link
Copy Markdown
Member

Thanks @JameEnder and @TizzySaurus, I just fixed this on my branch so that both references are to Even.

@ssalbdivad ssalbdivad closed this Oct 14, 2025
@github-project-automation github-project-automation Bot moved this from To do to Done (merged or closed) in arktypeio Oct 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done (merged or closed)

Development

Successfully merging this pull request may close these issues.

3 participants