Hello,
I have just downloaded the project, installed latest Ruby, Z3 and SML, then ran "make". I get the following error:
Error: expr-visitor.sml 787.5.
unresolved flex record (need to know the names of ALL the fields
in this context)
type: {current:'Y ref, outer:'X; 'Z}
Compilation failed.
make: *** [smlnj] Error 1
I looked at the definition:
fun copy_ctx ctx =
{outer = #outer ctx, current = copy_ref $ #current ctx}
which probably creates the issue, but I have almost 0 experience with SML and am having real trouble finding a fix. Could you help me out please?
We are considering using TiML for a performance verification task on middlebox code - if we can manage to make it work.
Hello,
I have just downloaded the project, installed latest Ruby, Z3 and SML, then ran "make". I get the following error:
Error: expr-visitor.sml 787.5.
unresolved flex record (need to know the names of ALL the fields
in this context)
type: {current:'Y ref, outer:'X; 'Z}
Compilation failed.
make: *** [smlnj] Error 1
I looked at the definition:
fun copy_ctx ctx =
{outer = #outer ctx, current = copy_ref $ #current ctx}
which probably creates the issue, but I have almost 0 experience with SML and am having real trouble finding a fix. Could you help me out please?
We are considering using TiML for a performance verification task on middlebox code - if we can manage to make it work.