diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2012-08-01 00:43:55 -0400 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2012-08-01 00:43:55 -0400 |
| commit | 08cf7754b28fc26034bd752022e47ed516686210 (patch) | |
| tree | 3b17a8b9e77e55c28ad75fdd192c4162049b366b /doc/lang.txt | |
| parent | b2fa7003bf8809ce27699c88eecce4b55618dd5f (diff) | |
| download | mc-08cf7754b28fc26034bd752022e47ed516686210.tar.gz | |
Minor doc updates.
Diffstat (limited to 'doc/lang.txt')
| -rw-r--r-- | doc/lang.txt | 11 |
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 |