text.dfy(5,15): Error: array type array does not have an anonymous constructor
text.dfy(6,15): Error: array type array does not have an anonymous constructor
2 resolution/type errors detected in text.dfy
