summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@markovcorp.com>2017-02-13 11:42:28 -0800
committerOri Bernstein <ori@markovcorp.com>2017-02-13 12:46:58 -0800
commitb4230c2187e0aa9a298cdebbcc6af769d3284cac (patch)
treeed3757b2190fda591a476190676118786942c29a /doc
parent795734f6798e1690964289f58b56d9d92a30c8fb (diff)
downloadmc-b4230c2187e0aa9a298cdebbcc6af769d3284cac.tar.gz
Specify default types.
Diffstat (limited to 'doc')
-rw-r--r--doc/lang.txt5
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: