summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2012-08-12 18:22:56 -0400
committerOri Bernstein <ori@eigenstate.org>2012-08-12 18:22:56 -0400
commited6aa9f6f11b6a20cd4b45cd8cee4c3cae71d7f0 (patch)
treed9d8ab555b461473145c4861dd8f0dc7ba4f042a /doc
parent101055e7124440902d505226693abb07245d5695 (diff)
downloadmc-ed6aa9f6f11b6a20cd4b45cd8cee4c3cae71d7f0.tar.gz
Some clarification on tyvars.
Diffstat (limited to 'doc')
-rw-r--r--doc/lang.txt10
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.