support for turning calls into compile time constants

[michaellilltokiwa]

ex is

  a := (u32 65, codepoint 97)
  say a.values.0
  say a.values.1

a instantiation is compiled to:

    fzCur->fzF_0_a = (fzT_2tuple_w_u32_w_codepoint){.fzF_0_values = 65U,.fzF_1_values = (fzT_1codepoint){.fzF_0_val = 97U}};

[michaellilltokiwa]

Some of these may be redundant or could be relaxed.

[fridis]

Very nice and clean patch compared with the big impact this has!

One case I am unsure of is this:

  side_effect is say "this does something!"
  point(x,y i32) : side_effect is
    as_string => "$x,$y"
  c := point 3 4
  say c

Does this create a constant out of point 3 4? If so, this might be a bug.

Some more minor comments in the code.

[michaellilltokiwa]

Very nice and clean patch compared with the big impact this has!

One case I am unsure of is this:

  side_effect is say "this does something!"
  point(x,y i32) : side_effect is
    as_string => "$x,$y"
  c := point 3 4
  say c

Does this create a constant out of point 3 4? If so, this might be a bug.

Some more minor comments in the code.

I now check if the inherited features code contains only declarations.