finish Seq case of compile_val