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
commit76b40d5fb6ec6444ec1794a9386af4429cd5a8b0 (patch)
treed9d8ab555b461473145c4861dd8f0dc7ba4f042a /doc
parentf3e56c562847d390f8cfa840825471b553604d3d (diff)
downloadmc-76b40d5fb6ec6444ec1794a9386af4429cd5a8b0.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.