diff options
Diffstat (limited to 'doc/lang.txt')
-rw-r--r-- | doc/lang.txt | 12 |
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: |