chore: fix all typo

This commit is contained in:
Hanaasagi 2023-05-07 03:43:53 +09:00
parent 670a5e4c09
commit ffb5f0e688
6 changed files with 7 additions and 7 deletions

View file

@ -457,7 +457,7 @@ impl<Checker: BuildRunnable> Server<Checker> {
continue;
}
let label = name.inspect();
// don't show overriden items
// don't show overridden items
if already_appeared.contains(&label[..]) {
continue;
}

View file

@ -435,7 +435,7 @@ impl Context {
let rhs_meta = self.meta_type(rhs);
self.supertype_of(&lfvt, &rhs_meta)
} else {
// constraint is uninitalized
// constraint is uninitialized
log!(err "constraint is uninitialized: {lfv}/{rhs}");
true
}
@ -457,7 +457,7 @@ impl Context {
let lhs_meta = self.meta_type(lhs);
self.supertype_of(&lhs_meta, &rfvt)
} else {
// constraint is uninitalized
// constraint is uninitialized
log!(err "constraint is uninitialized: {lhs}/{rfv}");
true
}

View file

@ -1,7 +1,7 @@
# Check that a parser can pass the advanced syntax
# 高度な文法をチェックする
# mutliple patterns definition
# multiple patterns definition
fib 0 = 0
fib 1 = 1
fib(n: Nat): Nat = fib(n-1) + fib(n-2)

View file

@ -50,7 +50,7 @@ The benefits of using the `Result` type don't stop there. The `Result` type is a
Since the `Error`/`Result` type alone does not cause side effects, unlike exceptions, it cannot have information such as the sending location (Context), but if you use the `.context` method, you can put information in the `Error` object. can be added. The `.context` method is a type of method that consumes the `Error` object itself and creates a new `Error` object. They are chainable and can hold multiple contexts.
```python,chekcer_ignore
```python,checker_ignore
f() =
todo() \
.context "to be implemented in ver 1.2" \

View file

@ -1,7 +1,7 @@
fib 0 = 0
fib 1 = 1
# a type annotation is required for the recursive function
# NOTE: currenlty we must specify `n` as `Int` (not `Nat`), because Erg points out the possibility that `n-1` and `n-2` could be minus
# NOTE: currently we must specify `n` as `Int` (not `Nat`), because Erg points out the possibility that `n-1` and `n-2` could be minus
fib(n: Int): Nat = fib(n-1) + fib(n-2)
assert fib(10) == 55

View file

@ -2,7 +2,7 @@
]#;print! "there"
print! #[]#0, 1#[]#, 2,#[]#3
a = {
#[first]#name #[second]#=#[third]#"John"#[fouth]#
#[first]#name #[second]#=#[third]#"John"#[fourth]#
}
Del a
#[]#print! 0