Implement initializer evaluator

1 files changed, 12 insertions, 0 deletions

diff --git a/testsuite/compilable/traits_size.elna b/testsuite/compilable/traits_size.elna
new file mode 100644
index 0000000..523045f
--- /dev/null
+++ b/testsuite/compilable/traits_size.elna
@@ -0,0 +1,12 @@
+var
+  i: Int := 1
+  s: Int := cast(#size(Int): Int)
+  a: [10]Int
+  as: Int := cast(#size([10]Int): Int)
+  p: Int := cast(#size(Pointer): Int)
+
+begin
+  assert(s > 0);
+  assert(as = 10 * cast(#size(Int): Int));
+  assert(p > 0)
+end.