summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2012-08-01 00:43:55 -0400
committerOri Bernstein <ori@eigenstate.org>2012-08-01 00:43:55 -0400
commit08cf7754b28fc26034bd752022e47ed516686210 (patch)
tree3b17a8b9e77e55c28ad75fdd192c4162049b366b /doc
parentb2fa7003bf8809ce27699c88eecce4b55618dd5f (diff)
downloadmc-08cf7754b28fc26034bd752022e47ed516686210.tar.gz
Minor doc updates.
Diffstat (limited to 'doc')
-rw-r--r--doc/lang.txt11
1 files changed, 9 insertions, 2 deletions
diff --git a/doc/lang.txt b/doc/lang.txt
index dd9eea2..876a89b 100644
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -177,8 +177,15 @@ Types:
union
- Any of these types can be given a name. This naming defines a completely
- new incompatible type
+ Any of these types can be given a name. This naming defines a new
+ type which inherits all the constraints of the previous type, but
+ does not unify with it. Eg:
+
+ type t = int
+ var x : t
+ var y : int
+ x = y // type error
+ x = 42 // sure, why not?
Type Constraints