ref: ed6aa9f6f11b6a20cd4b45cd8cee4c3cae71d7f0
parent: 101055e7124440902d505226693abb07245d5695
author: Ori Bernstein <[email protected]>
date: Sun Aug 12 14:22:56 EDT 2012
Some clarification on tyvars.
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -553,11 +553,11 @@
within generic contexts, and may not appear elsewhere.
A tyvar is an internal implementation detail that currently
- leaks out during type inference, and is a major cause of
- confusing error messages. It should not be in this manual,
- except that the current incarnation of the compiler will
- make you aware of it. It looks like '@$type', and is a
- variable that holds an incompletely inferred type.
+ leaks in error messages out during type inference, and is a
+ major cause of confusing error messages. It should not be in
+ this manual, except that the current incarnation of the
+ compiler will make you aware of it. It looks like '@$type',
+ and is a variable that holds an incompletely inferred type.
type mine = int creates a tyname named
'mine', equivalent to int.