path: root/src/testsuite/interpreter/case.input

++ Contributed by Yixin Cao
)co "case.spad"
b:=convert("b")@Symbol
c:=b::Syntax
test c