firetto / walnut Goto Github PK

reg foo {0,1} {0,1} "([1,0])*[0,1][0,0]*";

eval tmp "?lsd_2 $foo(x,x)":

[Walnut]$
java.lang.NullPointerException
     at Token.Function.act(Function.java:79)
     at Main.Computer.compute(Computer.java:111)
     at Main.Computer.<init>(Computer.java:49)
     at Main.Prover.eval_def_commands(Prover.java:466)
     at Main.Prover.dispatch(Prover.java:328)
     at Main.Prover.readBuffer(Prover.java:280)
     at Main.Prover.run(Prover.java:234)
     at Main.Prover.main(Prover.java:201)
null
     : char at 8
     : eval tmp "?lsd_2 $foo(x,x)":

reg foo2 lsd_2 lsd_2 "([1,0])*[0,1][0,0]*":
eval tmp "?lsd_2 $foo2(x,x)":