diff options
author | Ori Bernstein <ori@markovcorp.com> | 2017-02-13 11:42:28 -0800 |
---|---|---|
committer | Ori Bernstein <ori@markovcorp.com> | 2017-02-13 12:46:58 -0800 |
commit | b4230c2187e0aa9a298cdebbcc6af769d3284cac (patch) | |
tree | ed3757b2190fda591a476190676118786942c29a /doc | |
parent | 795734f6798e1690964289f58b56d9d92a30c8fb (diff) | |
download | mc-b4230c2187e0aa9a298cdebbcc6af769d3284cac.tar.gz |
Specify default types.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/lang.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/lang.txt b/doc/lang.txt index ab5bb55..762c4fe 100644 --- a/doc/lang.txt +++ b/doc/lang.txt @@ -722,6 +722,11 @@ TABLE OF CONTENTS: to be repeated a number of times, although this is rare: Usually a single pass suffices. + At this point, default types are applied. An unconstrained type + with type $t::(numeric,integral) is replaced with int. An + unconstrained type with $t::(numeric,floating) is replaced with + flt64. + 4.6. Built In Traits: 4.6.1. numeric: |