summaryrefslogtreecommitdiff
path: root/doc/lang.txt
diff options
context:
space:
mode:
Diffstat (limited to 'doc/lang.txt')
-rw-r--r--doc/lang.txt12
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/lang.txt b/doc/lang.txt
index 459ac50..4dc9f12 100644
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -1,6 +1,6 @@
The Myrddin Programming Language
Jul 2012
- Updated Feb 2017
+ Updated Jul 2018
Ori Bernstein
TABLE OF CONTENTS:
@@ -785,6 +785,16 @@ TABLE OF CONTENTS:
unconstrained type with $t :: numeric $t, floating $t is replaced with
flt64.
+ As a special case, a union type declared with the form
+
+ type u = union
+ `Foo
+ ;;
+
+ will have the default type set to the named type, and not the
+ union itself. This is slightly inconsistent, but it makes the
+ behavior less surprising.
+
4.6. Built In Traits:
4.6.1. numeric: