summary refs log tree commit diff stats
path: root/tests/generics
diff options
context:
space:
mode:
authorAndreas Rumpf <rumpf_a@web.de>2018-02-02 09:29:05 +0100
committerAndreas Rumpf <rumpf_a@web.de>2018-02-02 09:29:05 +0100
commitbd1dfa4b3809d79ea01cd8ef87dde8d02d1e8447 (patch)
tree10a1fd7bab246087ba3e132bdbbf89e4cd0296ce /tests/generics
parent7fc80f8f8685dcc6e6c8b02479af3f8c308af5ae (diff)
downloadNim-bd1dfa4b3809d79ea01cd8ef87dde8d02d1e8447.tar.gz
better type inference for numerical types; prerequisitive for version 1
Diffstat (limited to 'tests/generics')
-rw-r--r--tests/generics/tspecial_numeric_inference.nim12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/generics/tspecial_numeric_inference.nim b/tests/generics/tspecial_numeric_inference.nim
new file mode 100644
index 000000000..d93544ba4
--- /dev/null
+++ b/tests/generics/tspecial_numeric_inference.nim
@@ -0,0 +1,12 @@
+discard """
+  output: '''int64
+int64'''
+"""
+
+import typetraits
+
+proc `@`[T: SomeInteger](x, y: T): T = x
+
+echo(type(5'i64 @ 6'i32))
+
+echo(type(5'i32 @ 6'i64))