summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/lang.txt2
-rw-r--r--parse/infer.c6
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/lang.txt b/doc/lang.txt
index c5afca4..0f14322 100644
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -858,7 +858,7 @@ TABLE OF CONTENTS:
trait iterable @it -> @val =
__iternext__ : (itp : @it#, valp : @val# -> bool)
- __iterfin : (itp : @it#, valp : @val# -> bool)
+ __iterfin__ : (itp : @it#, valp : @val# -> void)
;;
A for loop iterating over an iterable will call __iternext__
diff --git a/parse/infer.c b/parse/infer.c
index 6d6cd11..dcaf1c4 100644
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -446,7 +446,7 @@ static Type *tyfreshen(Inferstate *st, Tysubst *subst, Type *t)
return t;
}
-/* Resolves a type and all it's subtypes recursively.*/
+/* Resolves a type and all its subtypes recursively. */
static void tyresolve(Inferstate *st, Type *t)
{
size_t i;
@@ -568,7 +568,7 @@ static Type *tysubst(Inferstate *st, Type *t, Type *orig)
}
-/* fixd the most accurate type mapping we have (ie,
+/* find the most accurate type mapping we have (ie,
* the end of the unification chain */
static Type *tf(Inferstate *st, Type *orig)
{
@@ -1611,7 +1611,7 @@ static void inferexpr(Inferstate *st, Node **np, Type *ret, int *sawret)
settype(st, n, mktyvar(n->loc));
delayedcheck(st, n, curstab());
break;
- case Osize: /* sizeof @a -> size */
+ case Osize: /* sizeof(@a) -> size */
infersub(st, n, ret, sawret, &isconst);
settype(st, n, mktylike(n->loc, Tyuint));
break;