diff options
author | Ori Bernstein <ori@eigenstate.org> | 2012-08-12 18:22:56 -0400 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2012-08-12 18:22:56 -0400 |
commit | ed6aa9f6f11b6a20cd4b45cd8cee4c3cae71d7f0 (patch) | |
tree | d9d8ab555b461473145c4861dd8f0dc7ba4f042a /doc/lang.txt | |
parent | 101055e7124440902d505226693abb07245d5695 (diff) | |
download | mc-ed6aa9f6f11b6a20cd4b45cd8cee4c3cae71d7f0.tar.gz |
Some clarification on tyvars.
Diffstat (limited to 'doc/lang.txt')
-rw-r--r-- | doc/lang.txt | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/lang.txt b/doc/lang.txt index 0d907b9..a3da76f 100644 --- a/doc/lang.txt +++ b/doc/lang.txt @@ -553,11 +553,11 @@ TABLE OF CONTENTS: 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. |