#!/usr/bin/env expect
source "common.tcl"

expect "Break on *main* test in ${test_file}:8\r\n"
expect "${test_file}:8 vdbg> "
send "p f\n"
expect "f = Test(Test2{}) (main.Test)"
expect "${test_file}:8 vdbg> "
send "p t\n"
expect "t = Option(Test(Test2{})) (?main.Test)"
expect "${test_file}:8 vdbg> "
send "c\n"

expect "${test_file}:16 vdbg> "
send "p a\n"
expect "a = Option(none) (?int)"
expect "${test_file}:16 vdbg> "
send "c\n"

expect "${test_file}:16 vdbg> "
send "p a\n"
expect "a = Option(1) (?int)"
expect "${test_file}:16 vdbg> "
send "c\n"

expect "${test_file}:12 vdbg> "
send "p f\n"
expect "f = Test(Test2{}) (main.Test)"
expect "${test_file}:12 vdbg> "
send "p t\n"
expect "t = Option(none) (?&main.Test)"

expect "${test_file}:12 vdbg> "
send "q\n"
expect eof