Printing Compound domain elements from lua goes wrong

[Ingmar Dasseville]

vocabulary V {
    type T constructed from {F(string)}
    c : T
}


structure S : V {
    c = F("a")
}

procedure main(){
    for t in tuples(S[V::c].graph.ct) do
        print(t[1])
    end
}

outputs

F(0x18c5430)

instead of

F("a")

[Ingmar Dasseville]

Resolved by Merged in compoundPrinter (pull request #270)