ref: 09a34baac6757c7a4c33e3e3c50054acbb1b70bb
parent: 849dee9be47627e40d26594257d03c081d501152
author: Michael Forney <mforney@mforney.org>
date: Thu Jun 29 17:11:55 EDT 2017
Typos
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -858,7 +858,7 @@
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__
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -446,7 +446,7 @@
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 @@
}
-/* 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 @@
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;