Bad Function generation

[Ruben Lapauw]

The function Concat is not specified in either the theory or the structure. The generated function output creates a double instead of a string.

Output:

structure  : V {
  Greeting = { "Hello"; "Hi"; "Welcome" }
  Concat = { "Hello"->6.93148980384423e-310; "Hi"->6.93148911248142e-310; "Welcome"->6.93148911248142e-310 }
}