Open
Description
The following program:
function f(): string { "mystring" }
output relation X(x: string)
X("${f}").
yields this output:
X:
X{.x = "<closure: f, captured_args: ()>"}: +1
Of course, what I meant was:
function f(): string { "mystring" }
output relation X(x: string)
X("${f()}").
which outputs as expected:
X:
X{.x = "mystring"}: +1
I think that the compiler should be less willing to convert function references to strings this way.